Jérémie Tatibouet, Arnaud Cuccuru, Sébastien Gérard, François Terrier. Formalizing Execution Semantics of UML Profiles with fUML Models. In Jürgen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahão, Emilio Insfrán, editors, Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings. Volume 8767 of Lecture Notes in Computer Science, pages 133-148, Springer, 2014. [doi]
Abstract is missing.