{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:17:08Z","timestamp":1740097028883,"version":"3.37.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319060644"},{"type":"electronic","value":"9783319060651"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06065-1_2","type":"book-chapter","created":{"date-parts":[[2014,4,8]],"date-time":"2014-04-08T01:28:19Z","timestamp":1396920499000},"page":"20-40","source":"Crossref","is-referenced-by-count":1,"title":["Formal Based Correctness Check for ePASS-IoS 1.1 Process Models with Integrated User Support for Error Correcting"],"prefix":"10.1007","author":[{"given":"Stephan","family":"Borgert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Max","family":"M\u00fchlh\u00e4user","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"AspectJ, http:\/\/www.eclipse.org\/aspectj\/ (last accessed on January 15, 2014)"},{"key":"2_CR2","unstructured":"Graphical Editing Framework, http:\/\/www.eclipse.org\/gef (last accessed on January 15, 2014)"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-642-01918-0_2","volume-title":"Formal Methods for Web Services","author":"W.M.P. Aalst van der","year":"2009","unstructured":"van der Aalst, W.M.P., Mooij, A.J., Stahl, C., Wolf, K.: Service interaction: Patterns, formalization, and analysis. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol.\u00a05569, pp. 42\u201388. Springer, Heidelberg (2009), http:\/\/dx.doi.org\/10.1007\/978-3-642-01918-0_2"},{"key":"2_CR4","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-642-12186-9_17","volume-title":"Business Process Management Workshops","author":"A. Awad","year":"2010","unstructured":"Awad, A., Weske, M.: Visualization of Compliance Violation in Business Process Models. In: Rinderle-Ma, S., Sadiq, S., Leymann, F. (eds.) BPM 2009. LNBIP, vol.\u00a043, pp. 182\u2013193. Springer, Heidelberg (2010)"},{"key":"2_CR5","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-642-23471-2_14","volume-title":"S-BPM ONE - Learning by Doing - Doing by Learning","author":"S. Borgert","year":"2011","unstructured":"Borgert, S., Steinmetz, J., M\u00fchlh\u00e4user, M.: ePASS-IoS 1.1: Enabling Inter-enterprise Business Process Modeling by S-BPM and the Internet of Services Concept. In: Schmidt, W. (ed.) S-BPM ONE 2011. CCIS, vol.\u00a0213, pp. 190\u2013211. Springer, Heidelberg (2011)"},{"issue":"2","key":"2_CR6","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1524\/itit.2008.0473","volume":"50","author":"G. Decker","year":"2008","unstructured":"Decker, G., Kopp, O., Barros, A.: An Introduction to Service Choreographies. Information Technology\u00a050(2), 122\u2013127 (2008)","journal-title":"Information Technology"},{"issue":"2","key":"2_CR7","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1016\/j.is.2010.06.005","volume":"36","author":"G. Decker","year":"2011","unstructured":"Decker, G., Weske, M.: Interaction-centric modeling of process choreographies. Information Systems\u00a036(2), 292\u2013312 (2011), http:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0306437910000591","journal-title":"Information Systems"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/11901181_4","volume-title":"Conceptual Modeling - ER 2006","author":"S. Deng","year":"2006","unstructured":"Deng, S., Wu, Z., Zhou, M., Li, Y., Wu, J.: Modeling Service Compatibility with Pi-calculus for Choreography. In: Embley, D.W., Oliv\u00e9, A., Ram, S. (eds.) ER 2006. LNCS, vol.\u00a04215, pp. 26\u201339. Springer, Heidelberg (2006)"},{"key":"2_CR9","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, http:\/\/portal.acm.org\/citation.cfm?id=645831.670083"},{"key":"2_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-78612-9","volume-title":"Distributed Systems: Software Design and Implementation","author":"A. Fleischmann","year":"1994","unstructured":"Fleischmann, A.: Distributed Systems: Software Design and Implementation. Springer, Berlin (1994)"},{"key":"2_CR11","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":"2_CR12","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":"2_CR13","doi-asserted-by":"crossref","unstructured":"Freund, J., Rcker, B., Henninger, T.: Praxishandbuch BPMN. Hanser (2010), http:\/\/books.google.com\/books?id=bw9YPgAACAAJ","DOI":"10.3139\/9783446425064"},{"issue":"7","key":"2_CR14","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1145\/360248.360251","volume":"19","author":"R.M. Keller","year":"1976","unstructured":"Keller, R.M.: Formal Verification of Parallel Programs. Communications of the ACM\u00a019(7), 384 (1976), http:\/\/portal.acm.org\/citation.cfm?id=360248.360251","journal-title":"Communications of the ACM"},{"issue":"2","key":"2_CR15","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\u2013361 (2007), http:\/\/dx.doi.org\/10.1147\/sj.462.0335","journal-title":"IBM Systems Journal"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-85758-7_12","volume-title":"Business Process Management","author":"N. Lohmann","year":"2008","unstructured":"Lohmann, N.: Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 132\u2013147. Springer, Heidelberg (2008)"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/11841760_3","volume-title":"Business Process Management","author":"N. Lohmann","year":"2006","unstructured":"Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing interacting BPEL processes. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 17\u201332. Springer, Heidelberg (2006)"},{"key":"2_CR18","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-17722-4_6","volume-title":"Information Systems Evolution","author":"L.T. Ly","year":"2011","unstructured":"Ly, L.T., Knuplesch, D., Rinderle-Ma, S., G\u00f6ser, K., Pfeifer, H., Reichert, M., Dadam, P.: Seaflows toolset compliance verification made easy for process-aware information systems. In: Soffer, P., Proper, E. (eds.) CAiSE Forum 2010. LNBIP, vol.\u00a072, pp. 76\u201391. Springer, Heidelberg (2011)"},{"key":"2_CR19","unstructured":"Metasonic: Metasonic Suite (2014), http:\/\/www.metasonic.de\/ (last accessed on January 15, 2014)"},{"key":"2_CR20","unstructured":"Milner, R.: Communicating and mobile systems: The \u03c0-calculus. Cambridge University Press (1999)"},{"key":"2_CR21","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":"2_CR22","unstructured":"OMG: Business Process Modeling Notation. 2.0 edn. (2012), http:\/\/www.omg.org\/spec\/BPMN\/2.0\/ (last accessed on January 15, 2014)"},{"key":"2_CR23","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Tech. Rep. DAIMI FN-19, University of Aarhus (1981)"},{"key":"2_CR24","unstructured":"Project of the German Federal Ministry of Economy and Technology: TEXO Infrastructure for Web-based services (2012), http:\/\/theseus.pt-dlr.de\/en\/914.php (last accessed on January 15, 2014)"},{"key":"2_CR25","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":"2_CR26","unstructured":"Sangiorgi, D., Walker, D.: The Pi-Calculus: A Theory of Mobile Processes. Cambridge University Press (2003)"},{"key":"2_CR27","unstructured":"Uppsala Universites, Department of Information Technology: The Mobility Workbench (2006), http:\/\/www.it.uu.se\/research\/group\/mobility\/mwb (last accessed on January 15, 2014)"},{"key":"2_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/3-540-58179-0_73","volume-title":"Computer Aided Verification","author":"B. Victor","year":"1994","unstructured":"Victor, B., Moller, F.: The Mobility Workbench - a tool for the \u03c0-calculus. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol.\u00a0818, pp. 428\u2013440. Springer, Heidelberg (1994)"},{"key":"2_CR29","unstructured":"yWorks: yED Graph Editor (2012), http:\/\/www.yworks.com\/ (last accessed on January 15, 2014)"}],"container-title":["Lecture Notes in Business Information Processing","S-BPM ONE - Scientific Research"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06065-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T02:09:54Z","timestamp":1648778994000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06065-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319060644","9783319060651"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06065-1_2","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2014]]}}}