{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:01:25Z","timestamp":1740096085938,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642234705"},{"type":"electronic","value":"9783642234712"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23471-2_14","type":"book-chapter","created":{"date-parts":[[2011,10,8]],"date-time":"2011-10-08T14:13:56Z","timestamp":1318083236000},"page":"190-211","source":"Crossref","is-referenced-by-count":10,"title":["ePASS-IoS 1.1: Enabling Inter-enterprise Business Process Modeling by S-BPM and the Internet of Services Concept"],"prefix":"10.1007","author":[{"given":"Stephan","family":"Borgert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joachim","family":"Steinmetz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Max","family":"M\u00fchlh\u00e4user","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-642-15915-2_6","volume-title":"S-BPM ONE \u2013 Setting the Stage for Subject-Oriented Business Process Management","author":"E. Aitenbichler","year":"2010","unstructured":"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.\u00a085, pp. 71\u201382. Springer, Heidelberg (2010)"},{"key":"14_CR2","volume-title":"The lambda calculus: its syntax and semantics","author":"H. Barendregt","year":"1981","unstructured":"Barendregt, H.: The lambda calculus: its syntax and semantics. Elsevier, Amsterdam (1981)"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/978-3-540-68679-8_29","volume-title":"Concurrency, Graphs and Models","author":"R. Beauxis","year":"2008","unstructured":"Beauxis, R., Palamidessi, C., Valencia, F.: On the asynchronous nature of the asynchronous \u03c0-calculus. In: Degano, P., De Nicola, R., Bevilacqua, V. (eds.) Concurrency, Graphs and Models. LNCS, vol.\u00a05065, pp. 473\u2013492. Springer, Heidelberg (2008), http:\/\/dblp.uni-trier.de\/db\/conf\/birthday\/montanari2008.htmlBeauxisPV08"},{"key":"14_CR4","unstructured":"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\u201356 (2010), http:\/\/portal.acm.org\/citation.cfm?id=1866939.1866943"},{"key":"14_CR5","unstructured":"Boudol, G.: Asynchrony and the Pi-calculus. Research Report RR-1702, INRIA (1992), http:\/\/hal.inria.fr\/inria-00076939\/PDF\/RR-1702.pdf"},{"key":"14_CR6","unstructured":"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)"},{"key":"14_CR7","volume-title":"The Calculi of Lambda Conversion","author":"A. Church","year":"1941","unstructured":"Church, A.: The Calculi of Lambda Conversion. Princeton University Press, Princeton (1941), http:\/\/portal.acm.org\/citation.cfm?id=1096495"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"946","DOI":"10.1016\/j.datak.2009.04.003","volume":"68","author":"G. Decker","year":"2009","unstructured":"Decker, G., Kopp, O., Leymann, F., Weske, M.: Interacting services: From specification to execution. Data Knowl. Eng.\u00a068, 946\u2013972 (2009), http:\/\/portal.acm.org\/citation.cfm\/?id=1598082.1598333","journal-title":"Data Knowl. Eng."},{"issue":"1","key":"14_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W. Aalst van Der","year":"2003","unstructured":"van Der Aalst, W., Ter Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow patterns. Distributed and parallel databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distributed and parallel databases"},{"key":"14_CR10","volume-title":"Dot Cloud: The 21st Century Business Platform Built on Cloud Computing","author":"P. Fingar","year":"2009","unstructured":"Fingar, P.: Dot Cloud: The 21st Century Business Platform Built on Cloud Computing, 1st edn. Meghan-Kiffer Press, Tampa (2009)","edition":"1"},{"key":"14_CR11","first-page":"61","volume-title":"Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII","author":"A. Fleischmann","year":"1987","unstructured":"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\u201376. North-Holland Publishing Co., Amsterdam (1987), http:\/\/portal.acm.org\/citation.cfm\/?id=645831.670083"},{"key":"14_CR12","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-642-15915-2_7","volume-title":"S-BPM ONE \u2013 Setting the Stage for Subject-Oriented Business Process Management","author":"A. Fleischmann","year":"2010","unstructured":"Fleischmann, A.: What is S-BPM? In: Buchwald, H., Fleischmann, A., Seese, D., Stary, C. (eds.) S-BPM ONE 2009. CCIS, vol.\u00a085, pp. 85\u2013106. Springer, Heidelberg (2010), http:\/\/dx.doi.org\/10.1007\/978-3-642-15915-2_7"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-642-11797-8_7","volume-title":"Task Models and Diagrams for User Interface Design","author":"A. Fleischmann","year":"2010","unstructured":"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.\u00a05963, pp. 78\u201391. Springer, Heidelberg (2010)"},{"key":"14_CR14","unstructured":"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)"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-46432-8_10","volume-title":"Foundation of Software Science and Computation Structures","author":"O.M. Herescu","year":"2000","unstructured":"Herescu, O.M., Palamidessi, C.: Probabilistic asynchronous \u03c0-calculus. In: Tiuryn, J. (ed.) FOSSACS 2000. LNCS, vol.\u00a01784, pp. 146\u2013160. Springer, Heidelberg (2000)"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"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\u2013299 (February 2008)","DOI":"10.1109\/DEST.2008.4635169"},{"key":"14_CR17","series-title":"CCIS","volume-title":"S-BPM ONE 2010 - the Subjectoriented BPM Conference","author":"O. Kopp","year":"2011","unstructured":"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"},{"key":"14_CR18","unstructured":"Legner, C., Vogel, T., L\u00f6he, 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)"},{"key":"14_CR19","unstructured":"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\u20131654 (2007), http:\/\/www.alexandria.unisg.ch\/EXPORT\/DL\/36606.pdf"},{"key":"14_CR20","doi-asserted-by":"crossref","first-page":"1532","DOI":"10.1145\/1141277.1141633","volume-title":"Proceedings of the 2006 ACM Smposium on Applied Computing, SAC 2006","author":"B. List","year":"2006","unstructured":"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\u20131539. ACM, New York (2006), http:\/\/doi.acm.org\/10.1145\/1141277.1141633"},{"issue":"2","key":"14_CR21","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1147\/sj.462.0335","volume":"46","author":"Y. Liu","year":"2007","unstructured":"Liu, Y., M\u00fcller, S., Xu, K.: A static compliance-checking framework for business process models. IBM Systems Journal\u00a046(2), 335\u2013362 (2007), http:\/\/dblp.uni-trier.de\/db\/journals\/ibmsj\/ibmsj46.html#LiuMX07","journal-title":"IBM Systems Journal"},{"key":"14_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-79230-7_6","volume-title":"Web Services and Formal Methods","author":"N. Lohmann","year":"2008","unstructured":"Lohmann, N.: A feature-complete petri net semantics for WS-BPEL\u00a02.0. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol.\u00a04937, pp. 77\u201391. Springer, Heidelberg (2008), http:\/\/dblp.uni-trier.de\/db\/conf\/wsfm\/wsfm2007.html#Lohmann07"},{"issue":"1","key":"14_CR23","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1016\/j.jlap.2006.05.007","volume":"70","author":"R. Lucchi","year":"2007","unstructured":"Lucchi, R., Mazzara, M.: A pi-calculus based semantics for WS-BPEL. J. Log. Algebr. Program.\u00a070(1), 96\u2013118 (2007), http:\/\/dblp.uni-trier.de\/db\/journals\/jlp\/jlp70.html#LucchiM07","journal-title":"J. Log. Algebr. Program."},{"key":"14_CR24","unstructured":"Metasonic: Metasonic Suite (2011), http:\/\/www.metasonic.de\/ (last accessed on March 20, 2011)"},{"key":"14_CR25","volume-title":"Communicating and mobile systems: the \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and mobile systems: the \u03c0-calculus. Cambridge University Press, Cambridge (1999)"},{"key":"14_CR26","unstructured":"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)"},{"key":"14_CR27","unstructured":"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)"},{"key":"14_CR28","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J. Peterson","year":"1981","unstructured":"Peterson, J.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Inc., Englewood Cliffs (1981)"},{"key":"14_CR29","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Tech. Rep. DAIMI FN-19, University of Aarhus (1981)"},{"key":"14_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/11948148_25","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"F. Puhlmann","year":"2006","unstructured":"Puhlmann, F., Weske, M.: Interaction soundness for service orchestrations. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 302\u2013313. Springer, Heidelberg (2006)"},{"key":"14_CR31","volume-title":"The \u03c0-calculus: a Theory of Mobile Processes","author":"D. Sangiorgi","year":"2003","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2003)"},{"key":"14_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-57108-4","volume-title":"ARIS-business process modeling","author":"A. Scheer","year":"2000","unstructured":"Scheer, A.: ARIS-business process modeling. Springer, Heidelberg (2000)"},{"key":"14_CR33","first-page":"266","volume-title":"APSCC","author":"M. Weidlich","year":"2007","unstructured":"Weidlich, M., Decker, G., Weske, M.: Efficient Analysis of BPEL 2.0 Processes Using \u03c0-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\u2013274. IEEE, Los Alamitos (2007), http:\/\/dblp.uni-trier.de\/db\/conf\/apscc\/apscc2007.html#WeidlichDW07"},{"key":"14_CR34","volume-title":"Business Process Management: Concepts, Languages, Architectures","author":"M. Weske","year":"2007","unstructured":"Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer, Heidelberg (2007)"},{"key":"14_CR35","unstructured":"Ziemann, J., Matheis, T., Freiheit, J.: Modelling of Cross-Organizational Business Processes. In: EMISA, pp. 87\u2013100 (2007)"}],"container-title":["Communications in Computer and Information Science","S-BPM ONE - Learning by Doing - Doing by Learning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23471-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,9]],"date-time":"2021-12-09T21:35:06Z","timestamp":1639085706000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23471-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642234705","9783642234712"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23471-2_14","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}