Using Incremental Consistency Management for Conformance Checking in Feature-Oriented Model-Driven Engineering. (bibtex)
by Roberto E. Lopez-Herrejon, Alexander Egyed, Salvador Trujillo, Josune De Sosa, Maider Azanza
Abstract:
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 Engineering (SPLE). MDE aims at raising the abstraction level of application specification and automating the realization of these abstractions 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 incremental consistency checking to check this conformance. We sketch some of the potential benefits of this approach and highlight the open questions our work raised.
Reference:
Using Incremental Consistency Management for Conformance Checking in Feature-Oriented Model-Driven Engineering. (Roberto E. Lopez-Herrejon, Alexander Egyed, Salvador Trujillo, Josune De Sosa, Maider Azanza), 2010.
Bibtex Entry:
@Workshop{DBLP:conf/vamos/Lopez-HerrejonETSA10,
  author    = {Roberto E. Lopez-Herrejon and Alexander Egyed and Salvador Trujillo and Josune De Sosa and Maider Azanza},
  booktitle = {4th International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS), Linz, Austria},
  title     = {Using Incremental Consistency Management for Conformance Checking in Feature-Oriented Model-Driven Engineering.},
  year      = {2010},
  abstract  = {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 Engineering (SPLE). MDE aims at raising the abstraction level
	of application specification and automating the realization of these
	abstractions 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 incremental consistency checking to
	check this conformance. We sketch some of the potential benefits
	of this approach and highlight the open questions our work raised.},
  pages     = {93-100},
  file      = {:Workshops\\VAMOS 2010 - Using Incremental Consistency Management for Conformance Checking in FO MDE\\Using Incremental Consistency Management for Conformance Checking in Feature-Oriented MDE-preprint.pdf:PDF},
  keywords  = {FWF P21321, EU IEF 254965},
  url       = {http://www.vamos-workshop.net/proceedings/VaMoS_2010_Proceedings.pdf},
}
Powered by bibtexbrowser