The GenVoca model of software-system generators

Batory, Don; Singhal, Vivek; Thomas, Jeff; Dasari, S.; Geraci, Bart J.; Sirkin, Marty

doi:10.1109/52.311067

Cited by 105 publications

(52 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We should also mention the work on generative reuse [17][18][19]. Although not based on design patterns, the type of refinement that underlies this work is, in some ways, similar to design refinement.…”

Section: Related Workmentioning

confidence: 99%

Reusing Patterns through Design Refinement

Hallstrom

Soundarajan

2009

Formal Foundations of Reuse and Domain Engineering

View full text Add to dashboard Cite

Abstract. Refinement concepts, such as procedural and data refinement, are among the most important ideas of software engineering. In this paper, we investigate the idea of design refinement, the process of refining a set of design patterns to arrive at application-specific design components, and ultimately, to system implementations. The approach also enables designers to refine a given pattern to arrive at more specialized versions of that pattern -sub-patterns-thus enabling the creation of pattern hierarchies.We present three contributions: (i) We explore the concept of design refinement and consider what it means for such a refinement to be correct, in the sense of being faithful to the pattern being refined. (ii) We describe a two-part formalism for documenting patterns and subpatterns. A pattern contract captures the requirements and behavioral guarantees associated with a given pattern, while a subcontract captures the ways in which the pattern is specialized for use in a particular application or sub-pattern. Contracts and subcontracts serve as the basis for validating the correctness of a given refinement. (iii) We consider how related patterns may be organized into suitable hierarchies based on the notion of design refinement. We focus on variations of the standard Observer pattern as examples. A key feature of our formalism is that while it enables us to specify patterns and subpatterns precisely, it allows us to do so without compromising their flexibility.

show abstract

Section: Related Workmentioning

confidence: 99%

Reusing Patterns through Design Refinement

Hallstrom

Soundarajan

2009

Formal Foundations of Reuse and Domain Engineering

View full text Add to dashboard Cite

show abstract

“…Using (1) (2) (10) (9) (7) with Lemma 24 yields 11: H, ι val s. Since (?1) is just (2) and (11) is (?2a), this concludes the case.…”

Section: Case ( R4)mentioning

confidence: 99%

“…There have been a couple of approaches for hierarchy refinement in the context of product lines (e.g., [2,30]) but polymorphic usage of a hierarchy variant is not in the focus of these works. It will be interesting to explore how virtual classes improve the expressibility of languages with respect to product lines.…”

Section: Related and Future Workmentioning

confidence: 99%

See 1 more Smart Citation

A Virtual Class Calculus

Ernst¹,

Ostermann²,

Cook³

2005

DPB

View full text Add to dashboard Cite

Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They resemble inner classes, which are also defined within a class, but virtual classes are accessed through object instances, not as static components of a class. When used as types, virtual classes depend upon object identity -each object instance introduces a new family of virtual class types. Virtual classes support large-scale program composition techniques, including higher-order hierarchies and family polymorphism. The original definition of virtual classes in Beta left open the question of static type safety, since some type errors were not caught until runtime. Later the languages Caesar and gbeta have used a more strict static analysis in order to ensure static type safety. However, the existence of a sound, statically typed model for virtual classes has been a long-standing open question. This technical report presents a virtual class calculus, vc, that captures the essence of virtual classes in these full-fledged programming languages. The key contributions of the paper are a formalization of the dynamic and static semantics of vc and a proof of the soundness of vc.

show abstract

“…The basic idea is to develop solutions to problems by starting with a highlevel solution, and progressively refining that solution until the required level of detail is achieved. The work presented in [6,4,5] discusses a technique based on scaling step-wise refinement to refinement layers that cross-cut module boundaries. In that model, a refinement is a cross-cutting aspect [19] that refines the functionality of one or more classes.…”

mentioning

confidence: 99%

A Container-Based Approach to Object-Oriented Product Lines.

Hallstrom¹,

Sridhar²,

Sivilotti³

et al. 2004

JOT

View full text Add to dashboard Cite

Software product lines improve the productivity of developers by structuring application development around a set of features common to a family of applications. While a number of product line development approaches have been proposed, we argue that these approaches primarily target product lines that vary with respect to their functional properties. We propose a complementary approach to developing objectoriented product lines that vary with respect to their non-functional characteristics. Our approach is based on the use of software containers, similar to those used to host Enterprise Java Beans. We illustrate the approach in the context of a distributed middleware product line for Microsoft's .NET Framework. The individual products in this family vary with respect to their dependability properties.

show abstract

The GenVoca model of software-system generators

Cited by 105 publications

References 5 publications

Reusing Patterns through Design Refinement

Reusing Patterns through Design Refinement

A Virtual Class Calculus

A Container-Based Approach to Object-Oriented Product Lines.

Contact Info

Product

Resources

About