Formally Modeling, Executing, and Testing Service-Oriented Systems with UML and OCL

  • Loli BurgueñoEmail author
  • Martin Gogolla
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10601)


One of the issues that developers of service-oriented systems currently discuss is the lack of practical, but formal modeling notations and tools that can address the many different, important aspects. This paper presents an approach to model structural and behavioral properties of service-oriented systems with UML and OCL models. Essential service-oriented concepts as service request, service provision or orchestration are formally represented by UML concepts. The models can be executed, tested and analyzed. Feedback is given to the developer in terms of the UML and OCL model.



This work has been partially funded by Spanish Research Project TIN2014-52034-R.


  1. 1.
    Barjis, J.: The importance of business process modeling in software systems design. Sci. Comput. Program. 71(1), 73–87 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Burgueño, L., Gogolla, M.: Formally modeling, executing, and testing service-oriented systems with UML and OCL. Technical report (2017).
  3. 3.
    France, R., Rumpe, B.: Model-driven development of complex software: a research roadmap. In: Proceedings of the FOSE 2007, pp. 37–54. IEEE Computer Society (2007)Google Scholar
  4. 4.
    Mohammadi, M., Mukhtar, M.: A review of SOA modeling approaches for enterprise information systems. Procedia Technol. 11, 794–800 (2013)CrossRefGoogle Scholar
  5. 5.
    Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Pearson Higher Education, London (2004)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Universidad de MálagaMálagaSpain
  2. 2.Marbella International University CentreMarbellaSpain
  3. 3.University of BremenBremenGermany

Personalised recommendations