{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:42:11Z","timestamp":1725453731579},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642305634"},{"type":"electronic","value":"9783642305641"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30564-1_2","type":"book-chapter","created":{"date-parts":[[2012,5,25]],"date-time":"2012-05-25T15:29:12Z","timestamp":1337959752000},"page":"17-34","source":"Crossref","is-referenced-by-count":4,"title":["Defining Composition Operators for BPMN"],"prefix":"10.1007","author":[{"given":"Paul","family":"Istoan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44895-0_1","volume-title":"Business Process Management","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M.: Business Process Management: A Survey. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol.\u00a02678, pp. 1\u201312. Springer, Heidelberg (2003)"},{"key":"2_CR2","unstructured":"Allweyer, T.: BPMN 2.0. BoD (2010)"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1023\/A:1012758417962","volume":"27","author":"N.A. Anisimov","year":"2001","unstructured":"Anisimov, N.A., Golenkov, E.A., Kharitonov, D.I.: Compositional petri net approach to the development of concurrent and distributed systems. Program. Comput. Softw.\u00a027, 309\u2013319 (2001)","journal-title":"Program. Comput. Softw."},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"813","DOI":"10.1007\/s002360050144","volume":"35","author":"E. Best","year":"1998","unstructured":"Best, E., Fraczak, W., Hopkins, R., Klaudel, H., Pelz, E.: M-nets: an algebra of high-level petri nets with an application to the semantics of concurrent programming languages. Acta Informatica\u00a035, 813\u2013857 (1998)","journal-title":"Acta Informatica"},{"issue":"40","key":"2_CR5","doi-asserted-by":"crossref","first-page":"125","DOI":"10.3233\/FI-1999-402303","volume":"40","author":"E. Best","year":"1999","unstructured":"Best, E., Lavrov, A.: Generalised composition operations for high-level petri nets. Fundam. Inf.\u00a040(40), 125\u2013163 (1999)","journal-title":"Fundam. Inf."},{"key":"2_CR6","first-page":"11","volume":"31","author":"T. Davenport","year":"1990","unstructured":"Davenport, T., Short, J.: He new industrial engineering: Information technology and business process redesign. Sloan Management Review\u00a031, 11\u201327 (1990)","journal-title":"Sloan Management Review"},{"key":"2_CR7","unstructured":"Davis, R.: Process reuse do we understand what it really means? (February 2010), http:\/\/www.bptrends.com\/publicationfiles\/SIX"},{"key":"2_CR8","unstructured":"Devillers, R., Klaudel, H., Pelz, E.: An algebraic box calculus. Journal of Automata, Languages and Combinatorics\u00a05 (2000)"},{"key":"2_CR9","series-title":"Advanced Information and Knowledge Processing","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-1-84882-691-5_7","volume-title":"Dynamic Business Process Formation for Instant Virtual Enterprises","author":"R. Eshuis","year":"2010","unstructured":"Eshuis, R., Norta, A.: Business process composition. In: Mehandjiev, N., Grefen, P. (eds.) Dynamic Business Process Formation for Instant Virtual Enterprises. Advanced Information and Knowledge Processing, pp. 93\u2013111. Springer, London (2010)"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/3-540-54430-5_88","volume-title":"CONCUR \u201991","author":"J. Esparza","year":"1991","unstructured":"Esparza, J., Silva, M.: Compositional Synthesis of Live and Bounded Free Choice Petri Nets. In: Groote, J.F., Baeten, J.C.M. (eds.) CONCUR 1991. LNCS, vol.\u00a0527, pp. 172\u2013187. Springer, Heidelberg (1991)"},{"key":"2_CR11","unstructured":"Hashemian, S., Mavaddat, F.: Composition algebra: Process composition using algebraic rules. In: Proceedings of the Third International Workshop on Formal Aspects of Component Software (September 2006)"},{"key":"2_CR12","unstructured":"Havey, M.: Essential Business Process Modeling. O\u2019Reilly Media, Inc. (2005)"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Heineman, G.T., Councill, W.T.: Component-based software engineering: putting the pieces together. Addison-Wesley Longman Publishing Co., Inc. (2001)","DOI":"10.1145\/337180.337501"},{"key":"2_CR14","unstructured":"Istoan, P.: Consistency rules for bpmn processes (2011), http:\/\/wiki.lassy.uni.lu\/api\/deki\/files\/490\/=Consistency.pdf"},{"key":"2_CR15","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K. Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured petri nets and cpn tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transf.\u00a09, 213\u2013254 (2007)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/978-3-540-78238-4_49","volume-title":"Business Process Management Workshops","author":"I. Markovic","year":"2008","unstructured":"Markovic, I., Pereira, A.C.: Towards a Formal Framework for Reuse in Business Process Modeling. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol.\u00a04928, pp. 484\u2013495. Springer, Heidelberg (2008)"},{"key":"2_CR17","first-page":"285","volume-title":"Proceedings of 13th IEEE International Conference on RE","author":"A. Moreira","year":"2005","unstructured":"Moreira, A., Rashid, A., Araujo, J.: Multi-dimensional separation of concerns in requirements engineering. In: Proceedings of 13th IEEE International Conference on RE, pp. 285\u2013296. IEEE Computer Society, Washington, DC (2005)"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-642-16086-8_6","volume-title":"Transactions on Aspect-Oriented Software Development VII","author":"S. Mosser","year":"2010","unstructured":"Mosser, S., Blay-Fornarino, M., France, R.: Workflow Design using Fragment Composition - Crisis Management System Design Through ADORE. In: Transactions on AOSD VII. LNCS, vol.\u00a06210, pp. 200\u2013233. Springer, Heidelberg (2010)"},{"issue":"4","key":"2_CR19","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"2_CR20","unstructured":"OMG: Business process model and notation (bpmn) version 2.0 (January 2011), http:\/\/www.omg.org\/spec\/BPMN\/2.0\/PDF\/"},{"key":"2_CR21","unstructured":"Pankratius, V., Stucky, W.: A formal foundation for workflow composition, workflow view definition, and workflow normalization based on petri nets. In: Proceedings of the 2nd Asia-Pacific Conference on Conceptual Modelling, vol.\u00a043, pp. 79\u201388. Australian Computer Society, Inc. (2005)"},{"key":"2_CR22","unstructured":"Petri, C.A.: Kommunikation mit Automaten. Institut f\u00fcr Instrumentelle Mathematik, Schriften des IIM Nr.\u00a02, Bonn (1962)"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/978-3-540-30187-5_7","volume-title":"<\u2009<UML>\u2009> 2004 - The Unified Modeling Language","author":"G. Straw","year":"2004","unstructured":"Straw, G., Georg, G., Song, E.J., Ghosh, S., France, R.B., Bieman, J.M.: Model Composition Directives. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol.\u00a03273, pp. 84\u201397. Springer, Heidelberg (2004)"},{"key":"2_CR24","unstructured":"White, S.A.: Workflow patterns with bpmn and uml. IBM (January 2004)"},{"key":"2_CR25","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1177\/0037549707079226","volume":"83","author":"D. Zhovtobryukh","year":"2007","unstructured":"Zhovtobryukh, D.: A petri net-based approach for automated goal-driven web service composition. Simulation\u00a083, 33\u201363 (2007)","journal-title":"Simulation"}],"container-title":["Lecture Notes in Computer Science","Software Composition"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30564-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T03:42:13Z","timestamp":1594179733000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30564-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642305634","9783642305641"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30564-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}