Skip to main content
Springer Nature Link
Log in

ePASS-IoS 1.1: Enabling Inter-enterprise Business Process Modeling by S-BPM and the Internet of Services Concept

  • Conference paper
S-BPM ONE - Learning by Doing - Doing by Learning (S-BPM ONE 2011)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 213))

Abstract

The future “Internet of Services” (IoS) will provide an open environment allowing market participants to offer and consume services over Internet marketplaces. It gives businesses the opportunity to outsource parts of their business processes. This leads to networks of cooperating businesses with a distributed execution of processes and provides a good support for inter-enterprise modeling. Many methods have been proposed to describe such processes, however most only focus on certain aspects and fall short of others. We present ePASS-IoS, a unified approach to describe processes and service choreographies with well-defined execution and verification semantics. With the formulation of the well-known workflow and interaction patterns in ePASS-IoS, we show that its expressiveness is adequate. To clearly define the semantics of the language, we formalize it using a process algebra.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Aitenbichler, E., Borgert, S.: Application of subject-oriented modeling in automatic service composition. In: Buchwald, H., Fleischmann, A., Seese, D., Stary, C. (eds.) S-BPM ONE 2009. CCIS, vol. 85, pp. 71–82. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  2. Barendregt, H.: The lambda calculus: its syntax and semantics. Elsevier, Amsterdam (1981)

    MATH  Google Scholar 

  3. Beauxis, R., Palamidessi, C., Valencia, F.: On the asynchronous nature of the asynchronous π-calculus. In: Degano, P., De Nicola, R., Bevilacqua, V. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 473–492. Springer, Heidelberg (2008), http://dblp.uni-trier.de/db/conf/birthday/montanari2008.htmlBeauxisPV08

    Chapter  Google Scholar 

  4. Bouchbout, K., Akoka, J., Alimazighi, Z.: Proposition of a generic metamodel for interorganizational business processes. In: Proceedings of the 6th International Workshop on Enterprise & Organizational Modeling and Simulation, EOMAS 2010, CEUR-WS.org, Aachen, Germany, pp. 42–56 (2010), http://portal.acm.org/citation.cfm?id=1866939.1866943

  5. Boudol, G.: Asynchrony and the Pi-calculus. Research Report RR-1702, INRIA (1992), http://hal.inria.fr/inria-00076939/PDF/RR-1702.pdf

  6. Chinnici, R., Moreau, J.J., Ryman, A., Weerawarana, S.: Web services description language (wsdl) version 2.0 part 1: Core language. World Wide Web Consortium, Recommendation REC-wsdl20-20070626 (June 2007), http://www.w3.org/TR/wsdl20/ (last accessed on May 22, 2011)

  7. Church, A.: The Calculi of Lambda Conversion. Princeton University Press, Princeton (1941), http://portal.acm.org/citation.cfm?id=1096495

    MATH  Google Scholar 

  8. Decker, G., Kopp, O., Leymann, F., Weske, M.: Interacting services: From specification to execution. Data Knowl. Eng. 68, 946–972 (2009), http://portal.acm.org/citation.cfm/?id=1598082.1598333

    Article  Google Scholar 

  9. van Der Aalst, W., Ter Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow patterns. Distributed and parallel databases 14(1), 5–51 (2003)

    Article  Google Scholar 

  10. Fingar, P.: Dot Cloud: The 21st Century Business Platform Built on Cloud Computing, 1st edn. Meghan-Kiffer Press, Tampa (2009)

    Google Scholar 

  11. Fleischmann, A.: PASS - A Technique for Specifying Communication Protocols. In: Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII, pp. 61–76. North-Holland Publishing Co., Amsterdam (1987), http://portal.acm.org/citation.cfm/?id=645831.670083

    Google Scholar 

  12. Fleischmann, A.: What is S-BPM? In: Buchwald, H., Fleischmann, A., Seese, D., Stary, C. (eds.) S-BPM ONE 2009. CCIS, vol. 85, pp. 85–106. Springer, Heidelberg (2010), http://dx.doi.org/10.1007/978-3-642-15915-2_7

    Chapter  Google Scholar 

  13. 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)

    Chapter  Google Scholar 

  14. Graef, N., Nils, T.: Evaluation, Mapping und quantitative Reduktion von Workflow Patterns (Control-Flow), Bachelor thesis, University Karlsruhe, Institute of Applied Informatics and Formal Description Methods (AIFB) (2009)

    Google Scholar 

  15. Herescu, O.M., Palamidessi, C.: Probabilistic asynchronous π-calculus. In: Tiuryn, J. (ed.) FOSSACS 2000. LNCS, vol. 1784, pp. 146–160. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  16. Huemer, C., Liegl, P., Schuster, R., Werthner, H., Zapletal, M.: Inter-organizational systems: From business values over business processes to deployment. In: 2nd IEEE International Conference on Digital Ecosystems and Technologies, DEST 2008, pp. 294–299 (February 2008)

    Google Scholar 

  17. Kopp, O., Engler, L., van Lessen, T., Leymann, F., Nitzsche, J.: Interaction Choreography Models in BPEL: Choreographies on the Enterprise Service Bus. In: Fleischmann, A., Schmidt, W., Seese, D., Singer, R. (eds.) S-BPM ONE 2010 - the Subjectoriented BPM Conference. CCIS, Springer, Heidelberg (2011), http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-04&engl=1

    Google Scholar 

  18. Legner, C., Vogel, T., Löhe, J., Mayerl, C.: Transforming inter-organizational business processes into service-oriented architectures method and application in the automotive industry. In: KiVS 2007 - Kommunikation in Verteilten Systemen, p. 12 (2007)

    Google Scholar 

  19. Legner, C., Wende, K.: The Challenges of Inter-organizational Business Process Design - a Research Agenda. In: Proceedings of European Conference on Information Systems, ECIS 2007, pp. 1643–1654 (2007), http://www.alexandria.unisg.ch/EXPORT/DL/36606.pdf

  20. List, B., Korherr, B.: An evaluation of conceptual business process modelling languages. In: Proceedings of the 2006 ACM Smposium on Applied Computing, SAC 2006, pp. 1532–1539. ACM, New York (2006), http://doi.acm.org/10.1145/1141277.1141633

    Google Scholar 

  21. Liu, Y., Müller, S., Xu, K.: A static compliance-checking framework for business process models. IBM Systems Journal 46(2), 335–362 (2007), http://dblp.uni-trier.de/db/journals/ibmsj/ibmsj46.html#LiuMX07

    Article  Google Scholar 

  22. Lohmann, N.: A feature-complete petri net semantics for WS-BPEL 2.0. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 77–91. Springer, Heidelberg (2008), http://dblp.uni-trier.de/db/conf/wsfm/wsfm2007.html#Lohmann07

    Chapter  Google Scholar 

  23. Lucchi, R., Mazzara, M.: A pi-calculus based semantics for WS-BPEL. J. Log. Algebr. Program. 70(1), 96–118 (2007), http://dblp.uni-trier.de/db/journals/jlp/jlp70.html#LucchiM07

    Article  MathSciNet  MATH  Google Scholar 

  24. Metasonic: Metasonic Suite (2011), http://www.metasonic.de/ (last accessed on March 20, 2011)

  25. Milner, R.: Communicating and mobile systems: the π-calculus. Cambridge University Press, Cambridge (1999)

    MATH  Google Scholar 

  26. OASIS: Web Services Business Process Execution Language Version 2.0 (2007), http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf (last accessed on March 20, 2011)

  27. OMG: Business Process Modeling Notation. 2.0 edn. (2011), http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf (last accessed on March 18, 2011)

  28. Peterson, J.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Inc., Englewood Cliffs (1981)

    MATH  Google Scholar 

  29. Plotkin, G.D.: A structural approach to operational semantics. Tech. Rep. DAIMI FN-19, University of Aarhus (1981)

    Google Scholar 

  30. 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)

    Chapter  Google Scholar 

  31. Sangiorgi, D., Walker, D.: The π-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2003)

    Google Scholar 

  32. Scheer, A.: ARIS-business process modeling. Springer, Heidelberg (2000)

    Book  Google Scholar 

  33. Weidlich, M., Decker, G., Weske, M.: Efficient Analysis of BPEL 2.0 Processes Using π-Calculus. In: Li, J., Guo, M., Jin, Q., Zhang, Y., Zhang, L.J., Jin, H., Mambo, M., Tanaka, J., Hayashi, H. (eds.) APSCC, pp. 266–274. IEEE, Los Alamitos (2007), http://dblp.uni-trier.de/db/conf/apscc/apscc2007.html#WeidlichDW07

    Google Scholar 

  34. Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer, Heidelberg (2007)

    Google Scholar 

  35. Ziemann, J., Matheis, T., Freiheit, J.: Modelling of Cross-Organizational Business Processes. In: EMISA, pp. 87–100 (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technische Universität Darmstadt, Hochschulstrasse 10, 64289, Darmstadt, Germany

    Stephan Borgert & Max Mühlhäuser

  2. Technische Universität Braunschweig, Mühlenpfordtstr. 23, 38106, Braunschweig, Germany

    Joachim Steinmetz

Authors
  1. Stephan Borgert
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Joachim Steinmetz
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Max Mühlhäuser
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Business Information Systems, University of Applied Sciences Ingolstadt, Esplanade 10, 85049, Ingolstadt, Germany

    Werner Schmidt

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Borgert, S., Steinmetz, J., Mühlhäuser, M. (2011). ePASS-IoS 1.1: Enabling Inter-enterprise Business Process Modeling by S-BPM and the Internet of Services Concept. In: Schmidt, W. (eds) S-BPM ONE - Learning by Doing - Doing by Learning. S-BPM ONE 2011. Communications in Computer and Information Science, vol 213. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23471-2_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-23471-2_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-23470-5

  • Online ISBN: 978-3-642-23471-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics