Distributed Execution of S-BPM Business Processes

  • Erwin Aitenbichler
  • Stephan Borgert
  • Max Mühlhäuser
Part of the Communications in Computer and Information Science book series (CCIS, volume 138)


Subject-oriented business process management (S-BPM) introduces a new technique for process modeling that emphasizes the importance of the actors in business processes (subjects) and gives a balanced consideration to subjects, their actions, and goals. Because of the formal foundation and the clear declaration of subjects, S-BPM allows the distributed modeling and execution of processes, without losing the capability to verify the compatibility of processes.

Executing cooperating processes in a distributed system also poses new requirements to the communication middleware, which is responsible for routing messages from one process instance to a remote peer process instance. In this paper, we describe an engine to execute S-BPM process choreographies. It is based on subject-oriented process modeling and a publish/subscribe middleware as communication basis. Our process engine also runs on mobile devices.


Business Process Business Process Management Process Execution Distributed Execution CCS PASS S-BPM MundoCore 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Agarwal, S., Rudolph, S., Abecker, A.: Semantic Description of Distributed Business Processes. In: Proceedings of AAAI Spring Symposium – AI Meets Business Rules and Process Management (2008)Google Scholar
  2. 2.
    Aitenbichler, E., Kangasharju, J., Mühlhäuser, M.: MundoCore: A Light-weight Infrastructure for Pervasive Computing. Pervasive and Mobile Computing 3(4), 332–361 (2007), doi:10.1016/j.pmcj.2007.04.002CrossRefGoogle Scholar
  3. 3.
    BMWi: TEXO – Business Webs in the Internet of Services (2009),
  4. 4.
    Bordeaux, L., Salaün, G., Berardi, D., Mecella, M.: When are Two Web Services Compatible? In: Shan, M.-C., Dayal, U., Hsu, M. (eds.) TES 2004. LNCS, vol. 3324, pp. 15–28. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  5. 5.
    CWB-NC: The Concurrency Workbench of the New Century (2000),
  6. 6.
    Eugster, P.T., Felber, P.A., Guerraoui, R., Kermarrec, A.M.: The many faces of publish/subscribe (2003)Google Scholar
  7. 7.
    Fleischmann, A.: Distributed Systems: Software Design and Implementation. Springer, Heidelberg (1994)CrossRefzbMATHGoogle Scholar
  8. 8.
    Fleischmann, A., Lippe, S., Meyer, N., Stary, C.: Coherent task modeling and execution based on subject-oriented representations. In: England, D., Palanque, P., Vanderdonckt, J., Wild, P.J. (eds.) TAMODIA 2009. LNCS, vol. 5963, pp. 78–91. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  9. 9.
    Guidi, C., Lucchi, R., Gorrieri, R., Busi, N., Tennenholtz, M.: SOCK: A Calculus for Service Oriented Computing. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 327–338. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  10. 10.
    Huangfu, X., Shu, Z., Chen, H., Luo, X.: Research on Dynamic Service Composition Based on Object Petri Net for the Networked Information System. In: Fifth International Joint Conference on INC, IMS and IDC, pp. 1075–1080 (2009),
  11. 11.
    Keller, R.M.: Formal verification of parallel programs. Communications of the ACM 19(7), 384 (1976), MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Koning, M., Sun, C., Sinnema, M., Avgeriou, P.: VxBPEL: Supporting Variability for Web Services in BPEL. Information and Software Technology 51(2), 258–269 (2009)CrossRefGoogle Scholar
  13. 13.
    Lapadula, A., Pugliese, R., Tiezzi, F.: A Calculus for Orchestration of Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 33–47. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  14. 14.
    Markovic, I., Pereira, A.C., Stojanovic, N.: A Framework for Querying in Business Process Modelling. In: Multikonferenz Wirtschaftsinformatik, pp. 1703–1714 (2008),
  15. 15.
    Metasonic: Welcome to the Future of BPM: S-BPM (2010),
  16. 16.
    Milner, R.: Communication and Concurrency. Prentice Hall PTR, Englewood Cliffs (1995)zbMATHGoogle Scholar
  17. 17.
    Muthusamy, V., Jacobsen, H.-A.: BPM in cloud architectures: Business process management with sLAs and events. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol. 6336, pp. 5–10. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  18. 18.
    Plotkin, G.D.: A structural approach to operational semantics (1981)Google Scholar
  19. 19.
    Puhlmann, F.: On the Application of a Theory for mobile Systems to business process management. Ph.D. thesis, University of Potsdam, Germany (2007),
  20. 20.
    Puhlmann, F., Weske, M.: Interaction soundness for service orchestrations. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 302–313. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  21. 21.
    Schmidt, W., Fleischmann, A., Gilbert, O.: Subjektorientiertes Geschäftsprozessmanagement. HMD - Praxis der Wirtschaftsinformatik (266), 52–62 (2009)CrossRefGoogle Scholar
  22. 22.
    Wu, Z., Deng, S., Li, Y., Wu, J.: Computing Compatibility in Dynamic Service Composition. Knowledge and Information Systems 19(1), 107–129 (2008), CrossRefGoogle Scholar
  23. 23.
    Wutke, D.: Eine Infrastruktur für die dezentrale Ausführung von BPEL-Prozessen. Ph.D. thesis, Universität Stuttgart (2010)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Erwin Aitenbichler
    • 1
  • Stephan Borgert
    • 1
  • Max Mühlhäuser
    • 1
  1. 1.Technische Universität DarmstadtDarmstadtGermany

Personalised recommendations