{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:54:58Z","timestamp":1762458898193},"reference-count":61,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,9,11]],"date-time":"2011-09-11T00:00:00Z","timestamp":1315699200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1007\/s10270-011-0214-z","type":"journal-article","created":{"date-parts":[[2011,9,10]],"date-time":"2011-09-10T06:36:09Z","timestamp":1315636569000},"page":"305-318","source":"Crossref","is-referenced-by-count":94,"title":["Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL"],"prefix":"10.1007","volume":"11","author":[{"given":"Egon","family":"B\u00f6rger","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,9,11]]},"reference":[{"key":"214_CR1","volume-title":"Compilers: Principles, Techniques, and Tools","author":"A.V. Aho","year":"2006","unstructured":"Aho A.V., Lam M.S., Sethi R., Ullman J.D.: Compilers: Principles, Techniques, and Tools, 2nd edn. Pearson Education, Inc, India (2006)","edition":"2"},{"key":"214_CR2","doi-asserted-by":"crossref","unstructured":"Ait-Sadoune, I., Ait-Ameur, Y.: Stepwise design of BPEL web services compositions. An event B refinement based approach. In: Software Engineering Research, Management and Applications (SERA 2010). Studies in Computational Intelligence, vol. 296, pp. 51\u201368. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-13273-5_4"},{"key":"214_CR3","doi-asserted-by":"crossref","unstructured":"Barros, A., B\u00f6rger, E.: A compositional framework for service interaction patterns and communication flows. In: Lau, K.-K., Banach, R. (eds.) Formal Methods and Software Engineering. Proceedings of the 7th International Conference on Formal Engineering Methods (ICFEM 2005). LNCS, vol. 3785, pp. 5\u201335. Springer, Berlin (2005)","DOI":"10.1007\/11576280_2"},{"issue":"12","key":"214_CR4","first-page":"2059","volume":"14","author":"D. Batory","year":"2008","unstructured":"Batory D., B\u00f6rger E.: Modularizing theorems for software product lines: the Jbook case study. J. Univers. Comput. Sci. 14(12), 2059\u20132082 (2008)","journal-title":"J. Univers. Comput. Sci."},{"key":"214_CR5","doi-asserted-by":"crossref","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 Comput. 19, 225\u2013241 (2007)","journal-title":"Formal Aspects Comput."},{"key":"214_CR6","first-page":"1","volume-title":"Conceptual Modeling\u2014ER 2007. Lecture Notes in Computer Science, vol. 4801","author":"E. B\u00f6rger","year":"2007","unstructured":"B\u00f6rger E. et\u00a0al.: Modeling workflow patterns from first principles. In: Parent, C. (eds) Conceptual Modeling\u2014ER 2007. Lecture Notes in Computer Science, vol. 4801, pp. 1\u201320. Springer, Berlin (2007)"},{"key":"214_CR7","first-page":"287","volume-title":"Handbook of Conceptual Modelling","author":"E. B\u00f6rger","year":"2010","unstructured":"B\u00f6rger E., S\u00f6rensen O.: BPMN core modeling concepts: inheritance-based execution semantics. In: Embley, D., Thalheim, B. (eds) Handbook of Conceptual Modelling, pp. 287\u2013332. Springer, Berlin (2010)"},{"key":"214_CR8","doi-asserted-by":"crossref","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, Berlin (2003)"},{"key":"214_CR9","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E., Thalheim, B.: A method for verifiable and validatable business process modeling. In: Advances in Software Engineering. LNCS, vol. 5316, pp. 59\u2013115. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-89762-0_3"},{"key":"214_CR10","unstructured":"Business Process Model and Notation (BPMN): http:\/\/www.omg.org\/spec\/BPMN\/2.0 , 2011. formal\/2011-01-03"},{"key":"214_CR11","unstructured":"Christiansen, D., Carbone, M., Hildebrandt, T.: Formal semantics and implementation of BPMN 2.0 inclusive gateways. Pre-Proc. of Web Services and Formal Methods (WS-FM\u201910) (2010). http:\/\/www.itu.dk\/people\/maca\/papers\/CD10.pdf"},{"key":"214_CR12","doi-asserted-by":"crossref","unstructured":"Delaware, B., Cook, W., Batory, D.: Product lines of theorems. In: Proc.OOPSLA 2011, Portland, October 2011","DOI":"10.1145\/2048066.2048113"},{"key":"214_CR13","unstructured":"Denning, P.J., Martell, C.: Great principles of computing. http:\/\/cs.gmu.edu\/cne\/pjd\/GP\/GP-site\/welcome.html (consulted July 26, 2011) (2007)"},{"key":"214_CR14","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)"},{"issue":"12","key":"214_CR15","doi-asserted-by":"crossref","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"R.M. Dijkman","year":"2008","unstructured":"Dijkman R.M., Dumas M., Ouyang C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281\u20131294 (2008)","journal-title":"Inf. Softw. Technol."},{"key":"214_CR16","doi-asserted-by":"crossref","unstructured":"Dumas, M., Grosskopf, A., Hettel, T., Wynn, M.: Semantics of BPMN process models with or-joins. Meersman, R., Tari Z. (eds) et\u00a0al. OTM 2007 Part I. Lecture Notes in Computer Science, vol. 4803. pp. 41\u201358. Springer, Berlin","DOI":"10.1007\/978-3-540-76848-7_5"},{"key":"214_CR17","doi-asserted-by":"crossref","DOI":"10.3139\/9783446429697","volume-title":"Subjektorientiertes Prozessmanagement","author":"A. Fleischmann","year":"2011","unstructured":"Fleischmann A., Schmidt W., Stary C., Obermeier S., B\u00f6rger E.: Subjektorientiertes Prozessmanagement. Hanser-Verlag, Munich (2011)"},{"key":"214_CR18","doi-asserted-by":"crossref","unstructured":"Fleischmann, A., Stary, C.: Whom to talk to? A stakeholder perspective on business process development. Univers. Access Inf. Soc. 1\u201326 (2011). doi: 10.1007\/s10209-011-0236-x","DOI":"10.1007\/s10209-011-0236-x"},{"key":"214_CR19","volume-title":"Software Specification Methods: An Overview Using a Case Study","year":"2006","unstructured":"Frappier, M., Habrias, H. (eds): Software Specification Methods: An Overview Using a Case Study. HERMES Sci. Publ., Paris (2006)"},{"key":"214_CR20","unstructured":"Gao, Y.: BPMN-BPEL transformation and round trip engineering. Technical report, eClarus Software (2006)"},{"key":"214_CR21","unstructured":"Graef, N., T\u00f6lle, N.: Evaluation, mapping und quantitative reduktion von workflow pattern (control-flow). Bachelor Thesis at Karlsruhe Institute of Technology (AIFB) (2009)"},{"key":"214_CR22","unstructured":"Grosskopf, A.: xBPMN. Formal control flow specification of a BPMN based process execution language, pp 1\u2013142. Master\u2019s thesis, HPI at Universit\u00e4t Potsdam (2007)"},{"key":"214_CR23","doi-asserted-by":"crossref","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. Sci. Comput. Program. 65, 4\u201313 (2007)","journal-title":"Sci. Comput. Program."},{"issue":"4","key":"214_CR24","doi-asserted-by":"crossref","first-page":"415","DOI":"10.3233\/FI-2000-41403","volume":"41","author":"H.M. Hanisch","year":"2000","unstructured":"Hanisch H.M., L\u00fcder A.: A signal extension for Petri nets and its use in controller design. Fundamenta Informaticae 41(4), 415\u2013431 (2000)","journal-title":"Fundamenta Informaticae"},{"key":"214_CR25","doi-asserted-by":"crossref","unstructured":"Kim, C., Batory, D., Khurshid, S.: Reducing combinatorics in testing product lines. In: Proceedings of the Aspect Oriented Software Development Conference. ACM, New York (2011)","DOI":"10.1145\/1960275.1960284"},{"key":"214_CR26","doi-asserted-by":"crossref","unstructured":"K\u00fchnle, K., Mayr, E.W.: Exponential space computation of Gr\u00f6bner bases. In: Lakshman, Y. (ed.) Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation (ISAAC\u201996), pp 63\u201371. ACM Press, New York (1996)","DOI":"10.1145\/236869.236900"},{"key":"214_CR27","unstructured":"Lohmann, N.: A feature-complete Petri net semantics for WS-BPEL 2.0 and its compiler BPEL2oWFN, 2007 (August 30)"},{"key":"214_CR28","doi-asserted-by":"crossref","unstructured":"Mayr, E.W., Ritscher, S.: Space-efficient Gr\u00f6bner basis computation without degree bounds. In: Proceedings of the 2011 International Symposium on Symbolic and Algebraic Computation, pp. 257\u2013264. ACM, New York (2011)","DOI":"10.1145\/1993886.1993926"},{"issue":"1\u20132","key":"214_CR29","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1006\/inco.1999.2826","volume":"156","author":"R. Mayr","year":"2000","unstructured":"Mayr R.: Process rewrite systems. Inf. Comput. 156(1\u20132), 264\u2013286 (2000)","journal-title":"Inf. Comput."},{"key":"214_CR30","unstructured":"McCoy, D.W.: Subject-oriented BPM (S-BPM). Gartner Research Hype Cycle for Business Process Management, 25 July 2011. ID Number: G00214214"},{"key":"214_CR31","unstructured":"Metasonic: Metasonic-suite. http:\/\/www.metasonic.de\/metasonic-suite"},{"key":"214_CR32","unstructured":"Mulyar, N., van der Aalst, W., ter Hofstede, A.H., Russell, N.: Towards a WPSL: a critical analysis of the 20 classical workflow control-flow patterns. Technical Report BPM-06-18, BPM Center, http:\/\/BPMcenter.org (2006)"},{"key":"214_CR33","unstructured":"Ouyang, C., Dumas, M., ter Hofstede, A., van der Aalst, W.: From BPMN process models to BPEL web services. In: ICWS, Los Alamitos, 2006, pp. 285\u2013292. IEEE, New York (2006)"},{"key":"214_CR34","doi-asserted-by":"crossref","unstructured":"Ouyang, C., Dumas, M., van der Aalst, W., ter Hofstede, A.: From business process models to process-oriented software systems: the BPMN to BPEL way. BPM-06-27\u00a0at http:\/\/BPMcenter.org (2006)","DOI":"10.1109\/ICWS.2006.67"},{"key":"214_CR35","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering. Foundations, Principles, and Techniques","author":"K. Pohl","year":"2005","unstructured":"Pohl K., B\u00f6ckle G., van der Linden F.: Software Product Line Engineering. Foundations, Principles, and Techniques. Springer, Berlin (2005)"},{"key":"214_CR36","unstructured":"Recker, J., Indulska, M., Rosemann, M., Green, P.: Do process modeling techniques get better? A comparative ontological analysis of BPMN. In: Proceedings of the 16th Australasian Conference on Information Systems, Sydney (2005)"},{"key":"214_CR37","unstructured":"Recker, J., Mendling, J.: On the translation between BPMN and BPEL: conceptual mismatch between process modeling languages. In: Proc.11th EMMSAD, June 2006"},{"key":"214_CR38","doi-asserted-by":"crossref","first-page":"227","DOI":"10.4018\/978-1-59904-927-4.ch009","volume-title":"Research Issues in Systems Analysis and Design Databases and Software Development.","author":"J. Recker","year":"2007","unstructured":"Recker J., Mendling J.: Lost in business process model translations: how a structured approach helps to identify conceptual mismatch. In: Siau, K. (eds) Research Issues in Systems Analysis and Design Databases and Software Development., pp. 227\u2013259. IGI Publishing, Hershey (2007)"},{"key":"214_CR39","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03687-7","volume-title":"Elements of Distributed Algorithms. Modeling and Analysis with Petri Nets","author":"W. Reisig","year":"1998","unstructured":"Reisig W.: Elements of Distributed Algorithms. Modeling and Analysis with Petri Nets. Springer, Berlin (1998)"},{"key":"214_CR40","unstructured":"Russel, N., ter Hofstede, A., van der Aalst, W., Mulyar, N.: Workflow control-flow patterns: a revised view. BPM-06-22\u00a0at http:\/\/bpmcenter.org\/reports , July 2006"},{"key":"214_CR41","unstructured":"Semiconductor Industry Assoc.: International technology roadmap for semiconductors. Design. http:\/\/www.itrs.net\/Links\/2005ITRS\/Design2005.pdf (2005)"},{"key":"214_CR42","unstructured":"Signavio: Signavio BPM Academic Initiative. http:\/\/www.signavio.com\/academic"},{"key":"214_CR43","unstructured":"Silver, B.: BPMN method and style: a levels-based methodology for BPM process modeling and improvement using BPMN 2.0. (2009)"},{"key":"214_CR44","unstructured":"St\u00f6rrle, H., Hausman, J.H.: Towards a formal semantics of UML 2.0 activities. In: Proceedings of the Software Engineering 2005 (2005)"},{"issue":"5","key":"214_CR45","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1147\/sj.473.0415","volume":"41","author":"J.K. Strosnider","year":"2008","unstructured":"Strosnider J.K., Nandi P., Kumaran S., Gosh S., Arsanjani A.: Model-driven synthesis of SOA solutions. IBM Syst. J. 41(5), 415\u2013432 (2008)","journal-title":"IBM Syst. J."},{"key":"214_CR46","volume-title":"Modern Business Process Automation","year":"2010","unstructured":"Hofstede, A., Aalst, W., Adams, M., Russell, N. (eds): Modern Business Process Automation. Springer, Berlin (2010)"},{"issue":"3","key":"214_CR47","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1109\/TSE.2010.30","volume":"36","author":"E. Uzuncaova","year":"2011","unstructured":"Uzuncaova E., Khurshid S., Batory D.: Incremental test generation for software product lines. IEEE Trans. Softw. Eng. 36(3), 309\u2013322 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"214_CR48","doi-asserted-by":"crossref","unstructured":"van der Aalst, W., Hirnschhall, A., Verbeek, H.: An alternative way to analyze workflow graphs. In: Proceedings of the 14th International Conference on Advanced Information Systems Engineering (CAiSE02). LNCS, vol. 2348, pp. 535\u2013552. Springer, Berlin (2002)","DOI":"10.1007\/3-540-47961-9_37"},{"issue":"4","key":"214_CR49","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"W. Aalst van der","year":"2005","unstructured":"van der Aalst W., ter Hofstede A.: YAWL: yet another workflow language. Inf. Syst. 30(4), 245\u2013275 (2005)","journal-title":"Inf. Syst."},{"key":"214_CR50","unstructured":"van der Aalst, W., ter Hofstede, A.: Workflow patterns home page. http:\/\/www.workflowpatterns.com , created and maintained since 1999"},{"issue":"3","key":"214_CR51","doi-asserted-by":"crossref","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. Distrib. Parallel Databases 14(3), 5\u201351 (2003)","journal-title":"Distrib. Parallel Databases"},{"key":"214_CR52","doi-asserted-by":"crossref","unstructured":"Voelzer, H.: A new semantics for the inclusive converging gateway in safe processes. Technical Report RZ 3791, IBM Research Z\u00fcrich (2010)","DOI":"10.1007\/978-3-642-15618-2_21"},{"key":"214_CR53","unstructured":"Wei, W.: A translation from BPMN to Event-B. Manuscript (2010)"},{"key":"214_CR54","doi-asserted-by":"crossref","unstructured":"Weidlich, M., Decker, G., Grosskopf, A., Weske, M.: BPEL to BPMN: the myth of a straight-forward mapping. In: On the Move to Meaningful Internet Systems: OTM 2008, Part I. LNCS, vol. 5331, pp. 265\u2013282. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-88871-0_19"},{"key":"214_CR55","doi-asserted-by":"crossref","unstructured":"Weissbach, M., Zimmermann, W.: Termination analysis of business process workflows. In: Proceedings of the 5th International Workshop on Enhanced Web Service Technologies, pp. 18\u201325. ACM, New York (2010)","DOI":"10.1145\/1883133.1883137"},{"key":"214_CR56","volume-title":"Business Process Management","author":"M. Weske","year":"2007","unstructured":"Weske M.: Business Process Management. Springer, Berlin (2007)"},{"key":"214_CR57","volume-title":"Petri-Netze","author":"H. Wimmel","year":"2008","unstructured":"Wimmel H., Priese L.: Petri-Netze, 2nd edn. Springer, Berlin (2008)","edition":"2"},{"key":"214_CR58","first-page":"161","volume-title":"Business Process Management. 4th International Conference BPM 2006. LNCS, vol. 4102","author":"P. Wohed","year":"2006","unstructured":"Wohed P., van der Aalst W., Dumas M., ter Hofstede A., Russel N.: On the suitability of BPMN for business process modelling. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds) Business Process Management. 4th International Conference BPM 2006. LNCS, vol. 4102, pp. 161\u2013176. Springer, Berlin (2006)"},{"key":"214_CR59","doi-asserted-by":"crossref","unstructured":"Wu, Y., Hernandez, F., Clarke, P.J., France, R.: A DSML for coordinating user-centric communication services. In: 34th Annual IEEE Computer Software and Applications Conference (COMPSAC 2011), Munich, 18\u201321 July 2011. IEEE, New York (2011)","DOI":"10.1109\/COMPSAC.2011.20"},{"key":"214_CR60","doi-asserted-by":"crossref","unstructured":"zur Muehlen, M., Recker, J.: How much BPMN do you need? Posted at http:\/\/www.bpm-research.com\/2008\/03\/03\/how-much-bpmn-do-you-need\/","DOI":"10.12968\/sece.2008.2.1095"},{"key":"214_CR61","unstructured":"zur Muehlen M., Recker, J.: How much language is enough? Theoretical and practical use of the Business Process Modeling Notation. In: Bellahs\u00e8ne, Z., L\u00e9onard, M. (eds.) 20th International Conference on Advanced Information Systems Engineering (CAiSE 2008). LNCS, vol. 5074, Montpellier, June 2008, pp. 465\u2013479. Springer, Berlin (2008)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-011-0214-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-011-0214-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-011-0214-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,23]],"date-time":"2020-06-23T14:00:14Z","timestamp":1592920814000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-011-0214-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,11]]},"references-count":61,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,7]]}},"alternative-id":["214"],"URL":"https:\/\/doi.org\/10.1007\/s10270-011-0214-z","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,9,11]]}}}