Framework-specific modeling language: Difference between revisions

Revision as of 22:16, 2 December 2007

Latest revision as of 21:06, 13 February 2024

(11 intermediate revisions by 6 users not shown)

Line 1:

A '''framework-specific modeling language'''<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-specific modeling language]] which is designed for an [[Application framework| object-oriented application framework]].

A '''Framework-Specific Modeling Language'''

<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-specific modeling language | Domain-Specific Modeling Language]] which is designed for an [[Application_framework | Object-Oriented Application Framework]].

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

Line 9 ⟶ 7:

==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.that is, automated [[Reverse_engineering | reverse engineering]])

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

* code verification through constraint checking on the model

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

==Examples==

Line 21 ⟶ 19:

<ref name="wpiDemo">M. Antkiewicz. ''Round-Trip Engineering of Eclipse Plug-Ins Using Eclipse Workbench Part Interaction FSML''. In OOPSLA'06 Companion, OOPSLA, Portland, Oregon, USA, Oct 22-26, 2006.</ref>

An example FSML for modeling Eclipse Parts (i.e.that is, editors and views) and Part Interactions (e.g.,for example listens to parts, requires adapter, provides selection).

The [http://gp.uwaterloo.ca/gpmambo/index.php?option=com_content&task=view&id=58&Itemid=88 prototype] implementation supports automated round-trip engineering of Eclipse plug-ins that implement workbench parts and part interactions.

==References==

<references/>

==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)

==References==

{{Reflist}}

[[Category:Specification languages]]

[[Category:Modeling languages]]