Using Incremental Consistency Management for Conformance Checking in Feature-Oriented Model-Driven Engineering

Feature-Oriented Model-Driven Engineering (FOMDE) is an approach that lies at the intersection of two complementary paradigms for software construction, Model Driven Engineering (MDE) and Software Product Line ing (SPLE). MDE aims at raising the abstraction level of application specification and automating the realization of these ions down to the platform level, while SPLE focuses on the synthesis of applications using a pre-planned set of assets. In Feature-Orientation, features are modules that contain all assets needed for their realization. The products of a Software Product Line (SPL) are synthesized by composing different combinations of features. When constructed following MDE, features also contain metamodels, models and model transformations. In this context, it is crucial to check that models, metamodels, and their compositions conform to (i.e. meet all the constraints of) their metamodels and meta-metamodels. In this problem statement paper we describe how to use incrementa...

• Type: Conference
• Year: 2010
• Where: VAMOS
• Authors: Roberto E. Lopez-Herrejon, Alexander Egyed, Salvador Trujillo, Josune de Sosa, Maider Azanza
• Keywords: Feature-Oriented Model-Driven Engineering, Model Driven Engineering, Software Engineering, Software Product Line, VAMOS 2010