Service-oriented modeling using the SOFL formal engineering method

Weikai Miao, Shaoying Liu. Service-oriented modeling using the SOFL formal engineering method. In Markus Kirchberg, Patrick C. K. Hung, Barbara Carminati, Chi-Hung Chi, Rajaraman Kanagasabai, Emanuele Della Valle, Kun-Chan Lan, Ling-Jyh Chen, editors, 4th IEEE Asia-Pacific Services Computing Conference, IEEE APSCC 2009, Singapore, December 7-11 2009, Proceedings. pages 187-192, IEEE, 2009. [doi]

@inproceedings{MiaoL09-0,
  title = {Service-oriented modeling using the SOFL formal engineering method},
  author = {Weikai Miao and Shaoying Liu},
  year = {2009},
  url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5394123&isnumber=5394078},
  tags = {meta-model, modeling, model-driven engineering, Meta-Environment},
  researchr = {https://researchr.org/publication/MiaoL09-0},
  cites = {0},
  citedby = {0},
  pages = {187-192},
  booktitle = {4th IEEE Asia-Pacific Services Computing Conference, IEEE APSCC 2009, Singapore, December 7-11 2009, Proceedings},
  editor = {Markus Kirchberg and Patrick C. K. Hung and Barbara Carminati and Chi-Hung Chi and Rajaraman Kanagasabai and Emanuele Della Valle and Kun-Chan Lan and Ling-Jyh Chen},
  publisher = {IEEE},
  isbn = {978-1-4244-5336-8},
}