Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects

Johnsen, Einar Broch; Kyas, Marcel; Yu, Ingrid Chieh

doi:10.1007/978-3-642-05089-3_38

Cited by 17 publications

(13 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The design of the constraint-based type system for IF∆ J involves issues similar to those considered in type-checking of dynamic classes [27]. Dynamic classes perform run-time updates of object-oriented systems by adding or refining classes (in a type-safe manner) or by removing redundant program parts.…”

Section: Related Workmentioning

confidence: 99%

Compositional type checking of delta-oriented software product lines

2013

View full text Add to dashboard Cite

Delta-oriented programming is a compositional approach to flexibly implementing software product lines. A product line is represented by a code base and a product line declaration. The code base consists of a set of delta modules specifying modifications to object-oriented programs. A particular product in a delta-oriented product line is generated by applying the modifications contained in the suitable delta modules to the empty program. The product-line declaration provides the connection of the delta modules with the product features. This separation increases the reusability of delta modules. In this paper, we provide a foundation for compositional type checking of delta-oriented product lines of JAVA programs by presenting a minimal core calculus for delta-oriented programming. The calculus is equipped with a constraint-based type system that allows analyzing each delta module in isolation, such that the results of the analysis can be reused. By relying only on the analysis results for the delta modules and on the product line declaration, it is possible to establish whether all the products of the product line are well typed according to the fragment of the JAVA type system modeled by the calculus.

show abstract

Section: Related Workmentioning

confidence: 99%

Compositional type checking of delta-oriented software product lines

2013

View full text Add to dashboard Cite

show abstract

“…Timing incremental updates is challenging from the perspective of preserving type safety when objects communicate with each other. Johnsen et al [21] use type analysis to synchronise the updates of dependent objects. Wernli et al [30] introduce first-class contexts that represent different versions of a system; these are kept mutually compatible with the help of bidirectional transformations.…”

Section: Dynamic Software Updating (Dsu)mentioning

confidence: 99%

“…DOP handles changes to the set of selected features by triggering the application of deltas; this results in a program transformation, as deltas can add, modify and also remove code. The lower level support required for such dynamic transformations is available [18,21,30] and some of this has crept into features relevant for SPL engineering [10]. However, we do not know of any tool and language support for DOP-based DSPL.…”

Section: Introductionmentioning

confidence: 99%

Executable modelling of dynamic software product lines in the ABS language

Muschevici

Clarke

Proença

2013

Proceedings of the 5th International Workshop on Feature-Oriented Software Development

View full text Add to dashboard Cite

Dynamic software product lines (DSPLs) combine the advantages of traditional SPLs, such as an explicit variability model connected to an integrated repository of reusable code artefacts, with the ability to exploit a system's variability at runtime. When a system needs to adapt, for example to changes in operational environment or functional requirements, DSPL systems are capable of adapting their behaviour dynamically, thus avoiding the need to halt, recompile and redeploy. The field of DSPL engineering is still in formation and general-purpose DSPL development languages and tools are rare. In this paper we introduce a language and execution environment for developing and running dynamic SPLs. Our work builds on ABS, a language and integrated development environment with dedicated support for implementing static software product lines. Our ABS extension advances the scope of ABS to dynamic SPL engineering. Systems developed using ABS are compiled to Java, and are thus executable on a wide range of platforms.

show abstract

“…Contexts enable mutations of shared entities and can be long-lived, thanks to the use of bidirectional transformations. With asynchronous communication between objects, the update of an object can wait until dependent objects have been upgraded in order to remain type-safe [JKY09].…”

Section: Development Effortmentioning

confidence: 99%

Incremental Dynamic Updates with First-Class Contexts

Wernli

Lungu

Nierstrasz

2012

Objects, Models, Components, Patterns

View full text Add to dashboard Cite

Highly available software systems occasionally need to be updated while avoiding downtime. Dynamic software updates reduce downtime, but still require the system to reach a quiescent state in which a global update can be performed. This can be difficult for multi-threaded systems. We present a novel approach to dynamic updates using first-class contexts, called Theseus. First-class contexts make global updates unnecessary: existing threads run to termination in an old context, while new threads start in a new, updated context; consistency between contexts is ensured with the help of bidirectional transformations. We show that for multi-threaded systems with coherent memory, first-class contexts offer a practical and flexible approach to dynamic updates, with acceptable overhead.

show abstract

Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects

Cited by 17 publications

References 19 publications

Compositional type checking of delta-oriented software product lines

Compositional type checking of delta-oriented software product lines

Executable modelling of dynamic software product lines in the ABS language

Incremental Dynamic Updates with First-Class Contexts

Contact Info

Product

Resources

About