Abstract
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.
Notes
- 1.
Note that the choice of a set of actions determines also the granularity of the model of a business process. This granularity can be changed by replacing an action by a set of sub-actions or vice versa.
References
van der Aalst, W., Stahl, C.: Modeling Business Processes: A Petri Net-Oriented Approach. MIT Press, Cambridge (2011)
Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, New York (2001)
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)
Broy, M.: The semantic and methodological essence of message sequence charts. Sci. Comput. Program. SCP 54(2–3), 213–256 (2004)
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)
Broy, M., Krüger, I., Meisinger, M.: A formal model of services. TOSEM - ACM Trans. Softw. Eng. Methodol. 16, 1 (2007)
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)
Broy, M.: Multifunctional software systems: structured modeling and specification of functional requirements. Sci. Comput. Program. 75, 1193–1214 (2010)
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)
Großkopf, A., Decker, G., Weske, M.: The Process: Business Process Modeling Using BPMN. Meghan-Kiffer Press, Tampa (2009)
Haar, Stefan: Occurrence net logics. Fundam. Inf. 43(1–4), 105–127 (2000)
Küster-Filipe, J.: Modeling concurrent interactions. Theoret. Comput. Sci. 351, 203–220 (2006)
Petri, C.A.: Kommunikation mit Automaten. Institut für instrumentelle Mathematik der Universität Bonn (1962)
Thurner, V.: Formal fundierte Modellierung von Geschäftsprozessen. Dissertation, TU München, Munich (2004)
Torka, P.: Dienstorientierte Architekturen: Eine konzeptuelle Herleitung auf Basis eines formalen Prozessmodells
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Broy, M. (2016). From Actions, Transactions, and Processes to Services. In: Kordon, F., Moldt, D. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2016. Lecture Notes in Computer Science(), vol 9698. Springer, Cham. https://doi.org/10.1007/978-3-319-39086-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-39086-4_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-39085-7
Online ISBN: 978-3-319-39086-4
eBook Packages: Computer ScienceComputer Science (R0)