{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T11:27:35Z","timestamp":1746012455695,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540897613"},{"type":"electronic","value":"9783540897620"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-89762-0_3","type":"book-chapter","created":{"date-parts":[[2008,11,26]],"date-time":"2008-11-26T13:21:02Z","timestamp":1227705662000},"page":"59-115","source":"Crossref","is-referenced-by-count":35,"title":["A Method for Verifiable and Validatable Business Process Modeling"],"prefix":"10.1007","author":[{"given":"Egon","family":"B\u00f6rger","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"Thalheim","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"OMG Unified Modeling Language superstructure (final adopted specification, version 2.0) (2003), http:\/\/www.omg.org"},{"key":"3_CR2","unstructured":"Web Services Business Process Execution Language version 2.0. OASIS Standard,( April 11,2007), http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/11538394_20","volume-title":"Business Process Management","author":"A. Barros","year":"2005","unstructured":"Barros, A., Dumas, M., ter Hofstede, A.H.M.: Service interaction patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 302\u2013318. Springer, Heidelberg (2005)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/11576280_2","volume-title":"Formal Methods and Software Engineering","author":"A. Barros","year":"2005","unstructured":"Barros, A., B\u00f6rger, E.: A compositional framework for service interaction patterns and interaction flows. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol.\u00a03785, pp. 5\u201335. Springer, Heidelberg (2005)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Batory, D., B\u00f6rger, E.: Modularizing theorems for software product lines: The Jbook case study,Universal Computer Science,Special ASM Issue(2008): Coupling Design and Verification in Software Product Lines. In: Hartmann, S., Kern-Isberner, G. (eds.) FoIKS 2008. LNCS, vol.\u00a04932, pp. 1\u20134. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-77684-0_1"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-540-71229-9_11","volume-title":"Compiler Construction","author":"D. Batory","year":"2007","unstructured":"Batory, D., O\u2019Malley, S.: The design and implementation of hierarchical software systems with reusable components. In: Krishnamurthi, S., Odersky, M. (eds.) CC 2007. LNCS, vol.\u00a04420, pp. 156\u2013171. Springer, Heidelberg (2007)"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48257-1_1","volume-title":"Applied Formal Methods - FM-Trends 98","author":"E. B\u00f6rger","year":"1999","unstructured":"B\u00f6rger, E.: High-level system design and analysis using Abstract State Machines. In: Hutter, D., Traverso, P. (eds.) FM-Trends 1998, vol.\u00a01641, pp. 1\u201343. Springer, Heidelberg (1999)"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s00165-003-0012-7","volume":"15","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E.: The ASM refinement method. Formal Aspects of Computing\u00a015, 237\u2013257 (2003)","journal-title":"Formal Aspects of Computing"},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/s00165-006-0019-y","volume":"19","author":"E. B\u00f6rger","year":"2007","unstructured":"B\u00f6rger, E.: Construction and analysis of ground models and their refinements as a foundation for validating computer based systems. Formal Aspects of Computing\u00a019, 225\u2013241 (2007)","journal-title":"Formal Aspects of Computing"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-75563-0_1","volume-title":"Conceptual Modeling - ER 2007","author":"E. B\u00f6rger","year":"2007","unstructured":"B\u00f6rger, E.: Modeling workflow patterns from first principles. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol.\u00a04801, pp. 1\u201320. Springer, Heidelberg (2007)"},{"issue":"2\u20133","key":"3_CR11","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/j.tcs.2004.11.008","volume":"336","author":"E. B\u00f6rger","year":"2005","unstructured":"B\u00f6rger, E., Fruja, G., Gervasi, V., St\u00e4rk, R.: A high-level modular definition of the semantics of C#. Theoretical Computer Science\u00a0336(2\u20133), 235\u2013284 (2005)","journal-title":"Theoretical Computer Science"},{"key":"3_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines. A Method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.F.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-540-30101-1_3","volume-title":"Formal Methods for Components and Objects","author":"E. B\u00f6rger","year":"2004","unstructured":"B\u00f6rger, E., St\u00e4rk, R.F.: Exploiting Abstraction for Specification Reuse. The Java\/C# Case Study. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol.\u00a03188, pp. 42\u201376. Springer, Heidelberg (2004)"},{"key":"3_CR14","unstructured":"B\u00f6rger, E., Thalheim, B.: On defining the behavior of OR-joins in business process models( in preparation)"},{"key":"3_CR15","unstructured":"BPMI.org. Business Process Modeling Notation Specification v.1.0. dtc\/2006-02-01 (2006), http:\/\/www.omg.org\/technology\/documents\/spec_catalog.htm"},{"key":"3_CR16","unstructured":"BPMI.org. Business Process Modeling Notation Specification v.1.1. formal\/2008-01-17 (2008), http:\/\/www.omg.org\/spec\/BPMN\/1.1\/PDF"},{"key":"3_CR17","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and analysis of BPMN process models using Petri nets. Technical Report 7115, Queensland University of Technology, Brisbane (2007)"},{"key":"3_CR18","unstructured":"Farahbod, R, et al.: The CoreASM Project, http:\/\/www.coreasm.org"},{"key":"3_CR19","unstructured":"Farahbod, R., Gervasi, V., Gl\u00e4sser, U.: CoreASM: An Extensible ASM Execution Engine. Fundamenta Informaticae XXI (2006)"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-540-24773-9_7","volume-title":"Abstract State Machines 2004. Advances in Theory and Practice","author":"R. Farahbod","year":"2004","unstructured":"Farahbod, R., Gl\u00e4sser, U., Vajihollahi, M.: Specification and validation of the business process execution language for web services. In: Zimmermann, W., Thalheim, B. (eds.) ASM 2004. LNCS, vol.\u00a03052, pp. 78\u201394. Springer, Heidelberg (2004)"},{"issue":"4","key":"3_CR21","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1504\/IJBPIM.2006.012626","volume":"1","author":"R. Farahbod","year":"2006","unstructured":"Farahbod, R., Gl\u00e4sser, U., Vajihollahi, M.: An Abstract Machine Architecture for Web Service Based Business Process Management. Int. J. Business Process Integration and Management\u00a01(4), 279\u2013291 (2006)","journal-title":"Int. J. Business Process Integration and Management"},{"key":"3_CR22","unstructured":"Freund, J.: BPM-software\u20132008. Berlin, Germany (2008), http:\/\/www.comunda.com"},{"key":"3_CR23","unstructured":"Grosskopf, A.: xBPMN. Formal control flow specification of a BPMN based process execution language. Master\u2019s thesis, HPI at Universit\u00e4t Potsdam, pp. 1-142 (July 2007)"},{"key":"3_CR24","unstructured":"Gruhn, V., Laue, R.: How style checking can improve business process models. In: Proc. 8th International Conference on Enterprise Information Systems (ICEIS 2006), Paphos, Cyprus (May 2006)"},{"key":"3_CR25","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1016\/j.scico.2006.08.003","volume":"65","author":"V. Gruhn","year":"2007","unstructured":"Gruhn, V., Laue, R.: What business process modelers can learn from programmers. Science of Computer Programming\u00a065, 4\u201313 (2007)","journal-title":"Science of Computer Programming"},{"key":"3_CR26","unstructured":"Knuth, D.E.: Literate Programming. Number\u00a027 in CSLI Lecture Notes. Center for the Study of Language and Information at Stanford\/ California (1992)"},{"key":"3_CR27","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-642-57199-2_6","volume-title":"Architecture Design and Validation Methods","author":"L. Lavagno","year":"2000","unstructured":"Lavagno, L., Sangiovanni-Vincentelli, A., Sentovitch, E.M.: Models of computation for system design. In: B\u00f6rger, E. (ed.) Architecture Design and Validation Methods, pp. 243\u2013295. Springer, Heidelberg (2000)"},{"key":"3_CR28","unstructured":"Listiani, M.: Review on business process modeling notation. Master\u2019s thesis, Institute of Telematics of Hamburg University of Technology (July 2008)"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Ouyang, C., Dumas, M., van der Aalst, W.M.P., Hofstede, A.H.M.: From business process models to process-oriented software systems: The BPMN to BPEL way. Technical Report 06-27, BPMcenter (2006), http:\/\/is.tm.tue.nl\/staff\/wvdaalst\/BPMcenter\/","DOI":"10.1109\/ICWS.2006.67"},{"key":"3_CR30","first-page":"227","volume-title":"Chapter Lost in Business Process Model Translations.How a Structured Approach helps to Identify Conceptual Mismatch","author":"J. Recker","year":"2007","unstructured":"Recker, J., Mendling, J.: Research Issues in Systems Analysis and Design, Databases and Software Development. In: Chapter Lost in Business Process Model Translations.How a Structured Approach helps to Identify Conceptual Mismatch, pp. 227\u2013259. IGI Publishing, Hershey (2007)"},{"key":"3_CR31","unstructured":"Russel, N., ter Hofstede, A., Edmond, D., van der Aalst, W.M.P.: Workflow data patterns. BPM-04-01 at BPMcenter.org (2004)"},{"key":"3_CR32","unstructured":"Russel, N., ter Hofstede, A., Edmond, D., van der Aalst, W.M.P.: Workflow resource patterns. In: BPM-04-07 at BPMcenter.org (2004)"},{"key":"3_CR33","unstructured":"Russel, N., ter Hofstede, A., van der Aalst, W.M.P., Mulyar, N.: Workflow control-flow patterns: A revised view. BPM-06-22 July (2006), at http:\/\/is.tm.tue.nl\/staff\/wvdaalst\/BPMcenter\/"},{"key":"3_CR34","volume-title":"International Workshop on Modeling in Software Engineering (MISE 2007)","author":"T. Schattkowsky","year":"2007","unstructured":"Schattkowsky, T., F\u00f6rster, A.: On the pitfalls of UML 2 activity modeling. In: International Workshop on Modeling in Software Engineering (MISE 2007), IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"3_CR35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59495-3","volume-title":"Java and the Java Virtual Machine: Definition, Verification, Validation","author":"R.F. St\u00e4rk","year":"2001","unstructured":"St\u00e4rk, R.F., Schmid, J., B\u00f6rger, E.: Java and the Java Virtual Machine: Definition, Verification, Validation. Springer, Heidelberg (2001)"},{"key":"3_CR36","unstructured":"St\u00f6rrle, H., Hausman, J.H.: Towards a formal semantics of UML 2.0 activities. In: Proc. Software Engineering 2005, (2005)"},{"issue":"3","key":"3_CR37","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(3), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"key":"3_CR38","unstructured":"White, S.A.: Process modeling notations and workflow patterns (2007). pbmn.org\/Documents (download September)"},{"key":"3_CR39","doi-asserted-by":"crossref","unstructured":"Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A., Russel, N.: On the suitability of BPMN for business process modelling. In:4th Int. Conf. on Business Process Management (2006) (submitted)","DOI":"10.1007\/11841760_12"},{"key":"3_CR40","unstructured":"Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A., Russel, N.: Pattern-based analysis of BPMN - an extensive evaluation of the control-flow, the data and the resource perspectives (revised version). BPM-06-17 at BPMcenter.org (2006)"},{"key":"3_CR41","doi-asserted-by":"crossref","unstructured":"Wong, P.Y.H., Gibbons, J.: A process semantics fo BPMN. Preprint Oxford University Computing Lab URL (July 2007), http:\/\/web.comlab.ox.ac.uk\/oucl\/work\/peter.wong\/pub\/bpmn_extended.pdf","DOI":"10.1007\/978-3-540-88194-0_22"},{"key":"3_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/11494744_24","volume-title":"Applications and Theory of Petri Nets 2005","author":"M.T. Wynn","year":"2005","unstructured":"Wynn, M.T., Edmond, D., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Achieving a general, formal and decidable approach to the OR-join in workflow using reset nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 423\u2013443. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Advances in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89762-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T15:27:52Z","timestamp":1557934072000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89762-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540897613","9783540897620"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89762-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}