Formalizing Execution Semantics of UML Profiles with fUML Models

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]

@inproceedings{TatibouetCGT14-0,
  title = {Formalizing Execution Semantics of UML Profiles with fUML Models},
  author = {Jérémie Tatibouet and Arnaud Cuccuru and Sébastien Gérard and François Terrier},
  year = {2014},
  doi = {10.1007/978-3-319-11653-2_9},
  url = {http://dx.doi.org/10.1007/978-3-319-11653-2_9},
  researchr = {https://researchr.org/publication/TatibouetCGT14-0},
  cites = {0},
  citedby = {0},
  pages = {133-148},
  booktitle = {Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings},
  editor = {Jürgen Dingel and Wolfram Schulte and Isidro Ramos and Silvia Abrahão and Emilio Insfrán},
  volume = {8767},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-11652-5},
}