Towards Executable UML Interactions based on fUML

Marc-Florian Wendland, Marc-Florian Wendland


Executable specifications for UML currently comprise fUML, precise semantics of composite structures and in future precise semantics for state machines. An executable semantics for UML Interactions is on the roadmap, but has not been addressed by the OMG Executable UML working group so far. Interactions are said to be the second most used diagrams after class diagram of UML, thanks to their comprehensibility and illustrative visualization. Unfortunately, they suffer from fuzzy semantics and technical issues that wastes the potential Interactions could have for engineering activities apart from high-level specifications. In this position paper we present first results from experiments and attempts to map UML Interactions to fUML Activities in order to eventually execute them.


  1. Haugen, Ø. and Stølen, K.: STAIRS - Steps to analyze interactions with refinement semantics. In Proc. International Conference on UML, 2003.
  2. Haugen, Ø., Husa, K. E., Runde, R. K., and Stølen, K.: Why timed sequence diagrams require three-event semantics. In Scenarios: Models, Transformations and Tools, 2005.
  3. Haugen, Ø., Husa, K.E., Runde, R.K., and Stølen, K.: STAIRS towards formal design with sequence diagrams. Journal of Software and Systems Modeling, 2005.
  4. Runde, R. K., Haugen, Ø., Stølen, K.: Refining UML interactions with underspecification and nondeterminism. In: Nordic Journal of Computing, 2005.
  5. Lund, M. S., and Stølen, K.: A fully general operational semantics for UML 2.0 sequence diagrams with potential and mandatory choice. In: Proceedings of the 14th international conference on Formal Methods (FM'06), 2006.
  6. Störrle, H.: Semantics of interactions in UML 2.0. In: Proceedings of IEEE Symposium on Human Centric Computing Languages and Environments, 2003.
  7. Störrle, H.: Trace Semantics of UML 2.0 Interactions. Technical report, University of Munich, 2004.
  8. Knapp, A.: A Formal Semantics for UML Interactions. In: R. France and B. Rumpe (eds.): Proc. 2nd Int. Conf. Unified Modeling Language (UML'99), 1999.
  9. Cengarle, M., Knapp, A.: UML 2.0 Interactions: Semantics and Refinement. In: J. Jürjens, E. B. Fernàndez, R. France, B. Rumpe (eds.): 3rd Int. Workshop on Critical Systems Development with UML (CSDUML'04), 2004.
  10. Li, M., and Ruan Y.: Approach to Formalizing UML Sequence Diagrams. In: Proc. 3rd In-ternational Workshop on Intelligent Systems and Applications (ISA), 2011.
  11. Shen, H., Virani, A.; Niu, J.: Formalize UML 2 Sequence Diagrams. In: Proc. 11th IEEE High Assurance Systems Engineering Symposium (HASE), 2008.
  12. Störrle, H.: Assert, Negate and Refinement in UML-22 Interactions. In: J. Jürjens, B. Rumpe, R. France, and E. B. Fernandez, Proc. Wsh. Critical Systems Development with UML (CSDUML'03), 2003.
  13. Harel, D., and Maoz, S.: Assert and negate revisited: modal semantics for UML sequence diagrams. In: Proc. International workshop on Scenarios and state machines: models, algorithms, and tools, 2006.
  14. Knapp, A., and Wuttke, J.: Model Checking of UML 2.0 Interactions. In; Proc. of the 2006 International conference on Models in Software Engineering (MoDELS'06), Springer, Heidelberg 2006.
  15. Wendland, M.-F., Haugen, O., and Schneider, M.: Evolutions of UML Interactions metamodel. In; Proc. of the 2013 International conference on Models in Software Engineering (MoDELS'13), Springer, Heidelberg, 2013.
  16. Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. J. on Formal Methods in System Design 19 (1), 45-80 (2001). In Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99 ), 1999.
  17. UML, Object Management Group: Unified Modeling Language 2.5,, 2015.
  18. fUML, Object Management Group: Semantics of a Foundational Subset for Executable UML 1.1,, 2013.
  19. PSCS, Object Management Group: Precise Semantics of Composite Structures,, 2015.
  20. Alf, Object Management Group: Action Language for Foundational UML,, 2013.
  21. CL, International Standards Organisation, Common Logic (CL): a Framework for a Family of Logic-Based Languages,” ISO/IEC 24707:2007, 2007.
  22. PSL, International Standards Organisation, Process specification language, ISO 18629-1:2004, 2004.

Paper Citation

in Harvard Style

Wendland M. (2016). Towards Executable UML Interactions based on fUML . In Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-168-7, pages 405-411. DOI: 10.5220/0005809804050411

in Bibtex Style

author={Marc-Florian Wendland},
title={Towards Executable UML Interactions based on fUML},
booktitle={Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},

in EndNote Style

JO - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Towards Executable UML Interactions based on fUML
SN - 978-989-758-168-7
AU - Wendland M.
PY - 2016
SP - 405
EP - 411
DO - 10.5220/0005809804050411