From Actions, Transactions, and Processes to Services

  • Manfred BroyEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9698)


For the problem domain of business process engineering we introduce, model, and formalize notions of business processes such as action, actor, event, business process, and business transaction. In addition, for the solution domain of service-oriented architectures (SOA) we introduce, model, and formalize notions of service, service composition, service-oriented architecture, and layered SOA in a systematic way. We do that by a rigorous mathematical system model. For that purpose, we first develop a basic mathematical system model for formalizing fundamental concepts of processes and services. The goal is to provide a minimal set of formal modeling concepts, nevertheless expressive enough to formalize key notions and concepts in business process engineering and service-oriented architectures capturing also their mutual relationships. This way, the relationship between central notions in business process models is captured formally, which provides a basis for a methodology for deriving the systematic specification and design of service-oriented architectures from business process modeling. The purpose of the approach is manifold; one goal is a clear definition of terminology, concepts, terms, and models in business process modeling and SOA; another goal is a rigorous formal basis for the specification, design, and development of business processes and, in particular, SOAs. We end up with a strictly formal concept for the development steps from business process models to services as part of a SOA-oriented development process.


  1. [Aalst, Stahl 01]
    van der Aalst, W., Stahl, C.: Modeling Business Processes: A Petri Net-Oriented Approach. MIT Press, Cambridge (2011)CrossRefGoogle Scholar
  2. [Broy, Stølen 01]
    Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, New York (2001)CrossRefGoogle Scholar
  3. [Broy 03]
    Broy, M.: Modeling services and layered architectures. In: König, H., Heiner, M., Wolisz, A. (eds.) Formal Techniques for Networked and Distributed Systems. LNCS, vol. 2767, pp. 48–61. Springer, Berlin (2003)zbMATHGoogle Scholar
  4. [Broy 04]
    Broy, M.: The semantic and methodological essence of message sequence charts. Sci. Comput. Program. SCP 54(2–3), 213–256 (2004)MathSciNetzbMATHGoogle Scholar
  5. [Broy 05]
    Broy, M.: Service-Oriented systems engineering: specification and design of services and layered architectures – the Janus approach. In: Broy, M., Grünbauer, J., Harel, D., Hoare, T. (eds.) Engineering Theories of Software Intensive Systems, pp. 47–81. Springer, Dordrecht (2005)CrossRefGoogle Scholar
  6. [Broy et al. 07]
    Broy, M., Krüger, I., Meisinger, M.: A formal model of services. TOSEM - ACM Trans. Softw. Eng. Methodol. 16, 1 (2007)Google Scholar
  7. [Broy 11]
    Broy, M.: Towards a theory of architectural contracts: schemes and patterns of assumption/promise based system specification. In: Broy, M., Leuxner, C., Hoare, T. (eds.) Software and Systems Safety - Specification and Verification. NATO Science for Peace and Security Series D: Information and Communication Security, vol. 30, pp. 33–87. IOS Press, Amsterdam (2011)Google Scholar
  8. [Broy 10]
    Broy, M.: Multifunctional software systems: structured modeling and specification of functional requirements. Sci. Comput. Program. 75, 1193–1214 (2010)CrossRefGoogle Scholar
  9. [Broy 15]
    Broy, M.: From actions, transactions, and processes to services. In: Irlbeck, M., Peled, D., Pretschner, A. (eds.) Dependable Software Systems Engineering. NATO Science for Peace and Security Series D: Information and Communication Security, vol. 40, pp. 42–78. IOS Press, Amsterdam (2015)Google Scholar
  10. [Großkopf et al. 09]
    Großkopf, A., Decker, G., Weske, M.: The Process: Business Process Modeling Using BPMN. Meghan-Kiffer Press, Tampa (2009)Google Scholar
  11. [Haar 00]
    Haar, Stefan: Occurrence net logics. Fundam. Inf. 43(1–4), 105–127 (2000)MathSciNetzbMATHGoogle Scholar
  12. [Küster-Filipe 06]
    Küster-Filipe, J.: Modeling concurrent interactions. Theoret. Comput. Sci. 351, 203–220 (2006)MathSciNetCrossRefGoogle Scholar
  13. [Petri 62]
    Petri, C.A.: Kommunikation mit Automaten. Institut für instrumentelle Mathematik der Universität Bonn (1962)Google Scholar
  14. [Thurner 04]
    Thurner, V.: Formal fundierte Modellierung von Geschäftsprozessen. Dissertation, TU München, Munich (2004)Google Scholar
  15. [Torka 13]
    Torka, P.: Dienstorientierte Architekturen: Eine konzeptuelle Herleitung auf Basis eines formalen ProzessmodellsGoogle Scholar
  16. [Winskel, Nielsen 95]
    Winskel, G., Nielsen, M.: Models for concurrency. In: Abramsky, S., Gabbay, D., Maibaum, T. (eds.) Handbook of Logic in Computer Science. Semantic Modeling, vol. 4, pp. 1–148. Oxford Science Publications, Oxford (1995)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Open Access This chapter is licensed under the terms of the Creative Commons Attribution-NonCommercial 2.5 International License (, which permits any noncommercial use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.

The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.

Authors and Affiliations

  1. 1.Institut für InformatikTechnische Universität MünchenMunichGermany

Personalised recommendations