Framework-specific modeling language: Difference between revisions

Revision as of 22:16, 2 December 2007

Revision as of 19:13, 27 April 2008

Line 1:

A '''Frameworkframework-Specificspecific Modelingmodeling Languagelanguage'''

<ref name="fsmlsWithRte">M. Antkiewicz, K. Czarnecki. ''Framework-Specific Modeling Languages with Round-Trip Engineering''. In O. Nierstrasz, J. Whittle, D. Harel, G. Reggio, editors, MoDELS 2006 - Model Driven Engineering Languages and Systems, 9th International Conference, Genoa, Italy, October 2006.</ref>

(FSML) is a kind of [[Domain___domain-specific modeling language | Domain-Specific Modeling Language]] which is designed for an [[Application_frameworkApplication framework | Objectobject-Orientedoriented Applicationapplication Frameworkframework]].

FSMLs define ''framework-provided abstractions'' as FSML ''concepts'' and decompose the abstractions into ''features''. The features represent implementation steps or choices.

Line 9:

==Applications==

FSMLs are used in [[Modelmodel-driven_developmentdriven | Model-Driven Developmentdevelopment]] for creating models or specifications of software to be built.

FSMLs enable

* the creation of the models from the framework completion code (i.e., automated [[Reverse_engineering | reverse engineering]])

* the creation of the framework completion code from the models (i.e., automated forward engineering)

* code verification through constraint checking on the model

* automated [[Roundround-trip_engineeringtrip | Round-Trip Engineeringengineering]]

==Examples==

Line 28:

==See also==

*[[General-Purposepurpose Modelingmodeling]] GPM

*[[Model Driven Engineering | Model-Drivendriven Engineeringengineering]] MDE

*[[Domain Specific Language | Domain-Specificspecific Languagelanguage]] DSL

*[[Model-driven architecture | Model-Driven Architecture]] MDA

*[[Meta-Object Facility]] MOF