Executable Modeling with fUML and Alf in papyrus: Tooling and experiments

S. Guermazi (1) , J. Tatibouet (1) , A. Cuccuru (1) , S. Dhouib (1) , S. Gérard (1) , E. Seidewitz

1 DILS (CEA, LIST) - Département Ingénierie Logiciels et Systèmes

fUML and Alf are two OMG standards dealing with executable modeling in UML. fUML focuses on semantic aspects, while Alf focuses on syntax. Papyrus (the UML/SysML modeler of the Eclipse foundation) provides tool support for these two standards. The purpose of this article is to provide the community with feedback and lessons learned by the Papyrus team regarding their implementation and usage of these standards, with the perspective of domain-specific uses of the tool. The feedback related to fUML is intended to highlight how tool developers can leverage fUML semantics to develop user and/or domain-specific model execution environments. The feedback related to Alf focuses on key end-user functionality: the combined usage of Alf and UML, with or without profiles.

Mots clés: Semantics; Software testing; Standards; Domain specific; Domain specific modeling; Eclipse foundations; Executable model; FUML; Model executions; Simulation; Tool support; Modeling languages

Domaines: Informatique [cs]

S. Guermazi, J. Tatibouet, A. Cuccuru, S. Dhouib, S. Gérard, et al.. Executable Modeling with fUML and Alf in papyrus: Tooling and experiments. 1st International Workshop on Executable Modeling, EXE 2015, Sep 2015, Ottawa, Canada. pp.3-8. ⟨cea-01844057⟩