Abstract delta modeling

Clarke, Dave; Helvensteijn, Michiel; Schaefer, Ina

doi:10.1145/1868294.1868298

Cited by 72 publications

(35 citation statements)

References 30 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Voelter and Groher [42] illustrated how negative (i.e., annotative) and positive (i.e., compositional) variability can be combined. Delta modeling [11,35] promotes a modular approach to develop MSPL. The deltas are defined in separate models and a core model is transformed to a new variant by applying a set of deltas.…”

Section: Related Workmentioning

confidence: 99%

Generating counterexamples of model-based software product lines

Filho

Barais

Acher

et al. 2014

Int J Softw Tools Technol Transfer

View full text Add to dashboard Cite

In a model-based software product line (MSPL), the variability of the domain is characterized in a variability model and the core artifacts are base models conforming to a modeling language (also called metamodel). A realization model connects the features of the variability model to the base model elements, triggering operations over these elements based on a configuration. The design space of an MSPL is extremely complex to manage for the engineer, since the number of variants may be exponential and the derived product models have to be conforming to numerous well-formedness and business rules. In this paper, the objective is to provide a way to generate MSPLs, called counterexamples (also called antipatterns), that can produce invalid product models despite a valid configuration in the variability model. We describe the foundations and motivate the usefulness of counterexamples (e.g., inference of guidelines or domain-specific rules to avoid earlier the specification of incorrect mappings; testing oracles for increasing the This work was developed in the VaryMDE project, a bilateral collaboration between the Diverse team at INRIA and the Thales Research and Technology. A preliminary version of this paper was published in the International Software Product Line Conference. robustness of derivation engines given a modeling language). We provide a generic process, based on the common variability language (CVL) to randomly search the space of MSPLs for a specific modeling language. We develop LineGen a tool on top of CVL and modeling technologies to support the methodology and the process. LineGen targets different scenarios and is flexible to work either with just a domain metamodel as input or also with pre-defined variability models and base models. We validate the effectiveness of this process for three formalisms at different scales (up to 247 metaclasses and 684 rules). We also apply the approach in the context of a real industrial scenario involving a large-scale metamodel.

show abstract

Section: Related Workmentioning

confidence: 99%

Generating counterexamples of model-based software product lines

Filho

Barais

Acher

et al. 2014

Int J Softw Tools Technol Transfer

View full text Add to dashboard Cite

show abstract

“…In particular, to also benefit from the concepts of systematic artifact reuse and managed variability during quality assurance, the additional reasoning required, e.g., to verify correctness properties for all members of a product family has to be conducted in a variability-aware manner [5]. To this end, various promising approaches have been proposed in the literature to define core calculi that gather the essence of variability in a formal way [6][7][8][9][10][11][12][13][14][15][16]. However, our recently gained experiences in applying those techniques to industrial case studies [17,18] from the automation engineering domain have shown that existing approaches may potentially show at least one of the following two deficiencies.…”

Section: Introductionmentioning

confidence: 99%

“…• They concentrate on phenomena arising from structural/syntactical variability [6,2,11,8], whereas the behavioral impact of those variations is out of scope. Thus, concepts for a systematic propagation of behavioral properties established for one variant also to other variants are missing.…”

Section: Introductionmentioning

confidence: 99%

“…DeltaCCS extends Milner's process calculus CCS [20] by a modular variability concept that adopts the principles of delta modeling [8] by separating a core process definition from change directives thereon, so-called deltas, that alter the term rewriting semantics of the core process in a determined way.…”

Section: Introductionmentioning

confidence: 99%

“…When applied to the abstract syntax representation of a core process term P c , a CCS delta alters designated sub-processes of P c in a determined way to yield arbitrarily fine-grained behavioral changes. We make use of a dependency graph representation of CCS terms augmented with CCS deltas to provide a rigorous definition and efficient detection mechanism of potential conflicts between pairs 1 , 2 of CCS Deltas at the syntactic level [8]. At the semantic level, behavioral variability in DeltaCCS is not emulated by an a priori resolution of variation points as done in 150% specifications [13,15,11], but rather by changing the rewriting of process terms on-the-fly by overriding the CCS recursion rule.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Incremental model checking of delta-oriented software product lines

Lochau

Mennicke

Baller

et al. 2016

Journal of Logical and Algebraic Methods in Programming

View full text Add to dashboard Cite

Delta Rhapsody

Berreteaga

Sagardui

Etxeberria

et al. 2016

INCOSE International Symp

View full text Add to dashboard Cite

Model Based System Engineering (MBSE) has become the pre‐eminent paradigm used to improve the development of complex systems. Additionally, Delta Modelling provides an incremental approach to the design and maintenance of models when there is variability in the system. In this context, the market leading IBM Rhapsody® provides a professional and wide range of functionalities. Nevertheless, there is not support for Delta Modelling in IBM Rhapsody®. To meet this need, the Delta Rhapsody solution has been developed. With the tool a new variant model can be automatically generated applying deltas to a core model. The application of the solution in an industrial case study has been undertaken. From this, it was concluded that the Delta Rhapsody solution notably reduces the required time to develop a variant model. To further improve the Delta Rhapsody solution, some future works have also been identified.

show abstract

Abstract delta modeling

Cited by 72 publications

References 30 publications

Generating counterexamples of model-based software product lines

Generating counterexamples of model-based software product lines

Incremental model checking of delta-oriented software product lines

Delta Rhapsody

Contact Info

Product

Resources

About