An Automated Process for Designing UML Profiles

François Lagarde (1) , Frédéric Mallet (2) , Charles André (2) , Sébastien Gérard (1) , François Terrier (1, 3, 4)

1 LIST (CEA) - Laboratoire d'Intégration des Systèmes et des Technologies
2 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
3 ILV - Institut Lavoisier de Versailles
4 SIRCOB - Synthèse, interactions et réactivité en chimie organique et bioorganique

Building a UML profile may be a tedious and error-prone process. There is no precise methodology to guide the process or to verify that all concepts have been implemented once and only once. Best practices recommend starting by gathering concepts in a technology-independent domain view before implementation. Still, the adequation between the domain view and the implementation should be verified. This paper proposes an automatic process to transform a domain model into a profile-based implementation. To reduce "accidental complexity" in the domain model and fully benefit from advanced profiling features in the generated profile, our process uses the "multi-level paradigm" and its "deep characterization" mechanisms. The value of this paradigm for the definition of UML profiles is assessed and applied to the subset of a recently adopted OMG UML Profile, an excerpt of the MARTE time profile. As a by-product, our process involves an inexpensive profile-based implementation of the multi-level paradigm within UML2 tools.

Mots clés: Domain-Specific Languages; Domain model; Multi-level paradigm; Deep Instantiation

Mots clés: UML Profile

Domaines: Génie logiciel [cs.SE]

François Lagarde, Frédéric Mallet, Charles André, Sébastien Gérard, François Terrier. An Automated Process for Designing UML Profiles. [Research Report] RR-6599, INRIA. 2008. ⟨inria-00308386⟩