{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:00:03Z","timestamp":1740096003619,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642292934"},{"type":"electronic","value":"9783642292941"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29294-1_10","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T17:28:44Z","timestamp":1332437324000},"page":"135-150","source":"Crossref","is-referenced-by-count":2,"title":["Process Algebra and the Subject-Oriented Business Process Management Approach"],"prefix":"10.1007","author":[{"given":"Robert","family":"Singer","sequence":"first","affiliation":[]},{"given":"Matthias","family":"Teller","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"van der Aalst, W.M.P.: Why workflow is NOT just a Pi-process. BPTrends (2004)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"van der Aalst, W., Stahl, C.: Modeling Business Processes. The MIT Press (2011)","DOI":"10.7551\/mitpress\/8811.001.0001"},{"key":"10_CR3","unstructured":"van der Aalst, W.: Pi calculus versus petri nets: Let us eat \u201dhumble pie\u201d rather than further inflate the \u201dpi hype\u201d. BPTrends (2005)"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Aceto, L., Ing\u00f3lfsd\u00f3ttir, A., Larsen, K.G., Srba, J.: Reactive Systems: Modelling, Specification and Verification. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511814105"},{"key":"10_CR5","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-642-23135-3_2","volume-title":"Subject-Oriented Business Process Management","author":"E. Aitenbichler","year":"2011","unstructured":"Aitenbichler, E., Borgert, S., M\u00fchlh\u00e4user, M.: Distributed Execution of S-BPM Business Processes. In: Fleischmann, A., Schmidt, W., Singer, R., Seese, D. (eds.) S-BPM ONE 2010. CCIS, vol.\u00a0138, pp. 19\u201335. Springer, Heidelberg (2011)"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J.A. Bergstra","year":"1984","unstructured":"Bergstra, J.A., Klop, J.W.: Process Algebra for Synchronous Communication. Information and Control\u00a060, 109\u2013137 (1984)","journal-title":"Information and Control"},{"key":"10_CR7","unstructured":"Bog, A.: A Visual Environment for the Simulation of Business Processes based on the Pi-Calculus. Ph.D. thesis, University of Potsdam (2006)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E.: Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL. Software and Systems Modeling, pp. 1\u201314, http:\/\/dx.doi.org\/10.1007\/s10270-011-0214-z","DOI":"10.1007\/s10270-011-0214-z"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Chun, O., van der Aalst, W.M., Dumas, M., ter Hofstede, A.H.: From Business Process Models to Process-oriented Software Systems: The BPMN to BPEL Way. ACM Transactions on Software Engineering and Methodology 19(1), Articel Nr. 2 (2009)","DOI":"10.1145\/1555392.1555395"},{"key":"10_CR10","unstructured":"Graef, N., T\u00f6lle, N.: Evaluation, Mapping und quantitative Reduktion von Workflow Pattern (Control-Flow). Bachelor Thesis, University of Karlsruhe (2009) (in German)"},{"key":"10_CR11","unstructured":"Grossgasteiger, S., Singer, R.: Process Calculi and the Notion of Communication in Social Sciences (to be published, 2012)"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall (1985)","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Koomen, C.J.: The Design of Communicating Systems: a System Engineering Approach. Springer (1991)","DOI":"10.1007\/978-1-4615-4020-5"},{"key":"10_CR14","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-642-16298-5_2","volume-title":"Business Process Modeling Notation","author":"F. Leymann","year":"2010","unstructured":"Leymann, F.: BPEL vs. BPMN 2.0: Should You Care? In: Mendling, J., Weidlich, M., Weske, M. (eds.) BPMN 2010. LNBIP, vol.\u00a067, pp. 8\u201313. Springer, Heidelberg (2010)"},{"key":"10_CR15","unstructured":"Malik, F.: Strategie \u2013 Navigieren in der Komplexit\u00e4t der Neuen Welt. Management: Komplexit\u00e4t meistern, vol.\u00a03, campus (2011) (in German)"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"10_CR17","unstructured":"Milner, R.: Communicating and mobile systems: The pi-calculus. Cambridge University Press (1999)"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, part i. Information and Computation 100 (1989)","DOI":"10.1016\/0890-5401(92)90008-4"},{"issue":"1","key":"10_CR19","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0890-5401(92)90009-5","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, part ii. Information and Computation\u00a0100(1), 41\u201377 (1992)","journal-title":"Information and Computation"},{"key":"10_CR20","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-642-23135-3_12","volume-title":"Subject-Oriented Business Process Management","author":"T.J. Olbrich","year":"2011","unstructured":"Olbrich, T.J.: Why We Need to Re-think Current BPM Research Issues. In: Fleischmann, A., Schmidt, W., Singer, R., Seese, D. (eds.) S-BPM ONE 2010. CCIS, vol.\u00a0138, pp. 209\u2013215. Springer, Heidelberg (2011)"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Parrow, J.: An introduction to the \u03c0-calculus, ch.8, pp. 479\u2013544. Elsevier Science (2001)","DOI":"10.1016\/B978-044482830-9\/50026-6"},{"key":"10_CR22","unstructured":"Puhlmann, F.: Why do we actually need the Pi-Calculus for Business Process Management? Business Informations Systems, 77\u201389 (2006)"},{"key":"10_CR23","unstructured":"Puhlmann, F.: On the Application of a Theory for Mobile Systems to Business Process Management. Ph.D. thesis, University of Potsdam (2007)"},{"key":"10_CR24","unstructured":"Recker, J., Mendling, J.: On the Translation between BPMN and BPEL: Conceptual Mismatch between Process Modeling Languages, pp. 521\u2013532 (2006)"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Schmidt, W., Fleischmann, A., Gilbert, O.: Subject-Oriented Business Process Management. Praxis der Wirtschaftsinformatik (266), 52\u201362 (2009)","DOI":"10.1007\/BF03340343"},{"key":"10_CR26","unstructured":"Silver, B.: BPMN Method & Style, 2nd edn. Cody-Cassidy Press (2011)"},{"key":"10_CR27","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-642-23135-3_14","volume-title":"Subject-Oriented Business Process Management","author":"R. Singer","year":"2011","unstructured":"Singer, R., Zinser, E.: Business Process Management \u2013 Do We Need a New Research Agenda? In: Fleischmann, A., Schmidt, W., Singer, R., Seese, D. (eds.) S-BPM ONE 2010. CCIS, vol.\u00a0138, pp. 220\u2013226. Springer, Heidelberg (2011)"},{"key":"10_CR28","unstructured":"Smith, H., Fingar, P.: Workflow is just a Pi process. BPTrends (2004)"},{"key":"10_CR29","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-642-23135-3_9","volume-title":"Subject-Oriented Business Process Management","author":"S.H. Sneed","year":"2011","unstructured":"Sneed, S.H.: Exporting Natural Language: Generating NL Sentences Out of S-BPM Process Models. In: Fleischmann, A., Schmidt, W., Singer, R., Seese, D. (eds.) S-BPM ONE 2010. CCIS, vol.\u00a0138, pp. 163\u2013179. Springer, Heidelberg (2011)"},{"issue":"1","key":"10_CR30","first-page":"14","volume":"67","author":"H. Voelzer","year":"2011","unstructured":"Voelzer, H.: An Overview of BPMN 2.0 and Its Potential Use. Business Process Modeling Notation\u00a067(1), 14\u201315 (2011)","journal-title":"Business Process Modeling Notation"},{"key":"10_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-540-88871-0_19","volume-title":"On the Move to Internet Systems: OTM 2008","author":"M. Weidlich","year":"2008","unstructured":"Weidlich, M., Decker, G., Gro\u00dfkopf, A., Weske, M.: BPEL to BPMN: The Myth of a Straight-Forward Mapping. In: Meersman, R., Tari, Z. (eds.) OTM 2008, Part I. LNCS, vol.\u00a05331, pp. 265\u2013282. Springer, Heidelberg (2008)"},{"key":"10_CR32","unstructured":"Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer (2007)"},{"key":"10_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/11841760_12","volume-title":"Business Process Management","author":"P. Wohed","year":"2006","unstructured":"Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M., Russell, N.: On the Suitability of BPMN for Business Process Modelling. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 161\u2013176. Springer, Heidelberg (2006)"}],"container-title":["Communications in Computer and Information Science","S-BPM ONE - Education and Industrial Developments"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29294-1_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,5]],"date-time":"2022-01-05T21:58:24Z","timestamp":1641419904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29294-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642292934","9783642292941"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29294-1_10","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2012]]}}}