{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:34:09Z","timestamp":1725471249016},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540389019"},{"type":"electronic","value":"9783540389033"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11841760_35","type":"book-chapter","created":{"date-parts":[[2006,10,5]],"date-time":"2006-10-05T15:52:02Z","timestamp":1160063522000},"page":"432-438","source":"Crossref","is-referenced-by-count":1,"title":["Verification of Business Process Integration Options"],"prefix":"10.1007","author":[{"given":"Georg","family":"Grossmann","sequence":"first","affiliation":[]},{"given":"Michael","family":"Schrefl","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Stumptner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"35_CR1","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.datak.2005.03.008","volume":"56","author":"I. Chebbi","year":"2006","unstructured":"Chebbi, I., Dustdar, S., Tata, S.: The view-based approach to dynamic inter-organizational workflow cooperation. Data and Knowledge Engineering\u00a056(2), 139\u2013173 (2006)","journal-title":"Data and Knowledge Engineering"},{"key":"35_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/11538394_13","volume-title":"Business Process Management","author":"G. Grossmann","year":"2005","unstructured":"Grossmann, G., Ren, Y., Schrefl, M., Stumptner, M.: Behavior Based Integration of Composite Business Processes. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 186\u2013204. Springer, Heidelberg (2005)"},{"key":"35_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1007\/978-3-540-30466-1_60","volume-title":"Conceptual Modeling for Advanced Application Domains","author":"G. Grossmann","year":"2004","unstructured":"Grossmann, G., Schrefl, M., Stumptner, M.: Classification of business process correspondences and associated integration operators. In: Wang, S., Tanaka, K., Zhou, S., Ling, T.-W., Guan, J., Yang, D.-q., Grandi, F., Mangina, E.E., Song, I.-Y., Mayr, H.C. (eds.) ER Workshops 2004. LNCS, vol.\u00a03289, pp. 653\u2013666. Springer, Heidelberg (2004)"},{"key":"35_CR4","unstructured":"Guerra, E., de Lara, J.: A Framework for the Verification of UML Models. Examples Using Petri Nets. In: VIII Jornadas Ingenier\u00eda del Software y Bases de Datos (JISBD 2003), pp. 325\u2013334 (November 2003)"},{"key":"35_CR5","doi-asserted-by":"crossref","unstructured":"Special Issue on Enterprise Modelling and System Support. Advanced Engineering Informatics\u00a018(4), 191\u2013253 (October 2004)","DOI":"10.1016\/j.aei.2005.03.001"},{"key":"35_CR6","unstructured":"Honeywell Inc. Domain Modeling Environment (DoME), http:\/\/www.htc.honeywell.com\/dome2"},{"key":"35_CR7","unstructured":"MetaCase. MetaEdit+ (last access 07\/03\/2006), http:\/\/www.metacase.com\/mep\/"},{"key":"35_CR8","unstructured":"Object Management\u00a0Group (OMG). UML Superstructure Version 2.0 (August 2005) (2005-07-04), http:\/\/www.omg.org\/uml"},{"key":"35_CR9","series-title":"Object Technology Series","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"2004","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn., Object Technology Series. Addison-Wesley, Reading (2004)","edition":"2"},{"key":"35_CR10","unstructured":"Sadiq, W., Orlowska, M.E.: On Correctness Issues in Conceptual Modeling of Workflows. In: Proc. of ECIS 1997 (June 1997)"},{"key":"35_CR11","first-page":"194","volume":"4","author":"M. Snoeck","year":"2003","unstructured":"Snoeck, M.: Sequence constraints in business modelling and business process modelling. Enterprise Information Systems\u00a04, 194\u2013201 (2003)","journal-title":"Enterprise Information Systems"},{"key":"35_CR12","unstructured":"Stumptner, M., Schrefl, M., Grossmann, G.: On the road to behavior-based integration. In: Proc. of APCCM 2004, pp. 15\u201322. Australian Computer Society (2004)"},{"key":"35_CR13","series-title":"Lecture Notes in Computer Science","first-page":"407","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"issue":"1","key":"35_CR14","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems, and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems, and Computers"},{"issue":"2","key":"35_CR15","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/S0378-7206(99)00038-5","volume":"37","author":"W.M.P. Aalst van der","year":"2000","unstructured":"van der Aalst, W.M.P.: Loosely coupled interorganizational workflows: modeling and analyzing workflows crossing organizational boundaries. Information Management\u00a037(2), 67\u201375 (2000)","journal-title":"Information Management"},{"issue":"1","key":"35_CR16","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1016\/j.datak.2005.02.004","volume":"56","author":"K. Hee van","year":"2006","unstructured":"van Hee, K., Sidorova, L.S.N., Voorhoeve, M.: Consistency in model integration. Data and Knowledge Engineering\u00a056(1), 4\u201322 (2006)","journal-title":"Data and Knowledge Engineering"},{"issue":"4","key":"35_CR17","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1093\/comjnl\/44.4.246","volume":"44","author":"H.M.W. Verbeek","year":"2001","unstructured":"Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnosing Workflow Processes using Woflan. The Computer Journal\u00a044(4), 246\u2013279 (2001)","journal-title":"The Computer Journal"},{"key":"35_CR18","doi-asserted-by":"crossref","unstructured":"Wombacher, A., Mahleko, B., Neuhold, E.: Ipsi-pf: A business process matchmaking engine. In: Int\u2019l. IEEE Conference on E-Commerce Technology (CEC 2004), pp. 137\u2013145 (2004)","DOI":"10.1109\/ICECT.2004.1319727"},{"key":"35_CR19","volume-title":"Proc. of EDOC 2004","author":"S.J. Woodman","year":"2004","unstructured":"Woodman, S.J., Palmer, D.J., Shrivastava, S.K., Wheater, S.M.: Notations for the Specification and Verification of Composite Web Services. In: Proc. of EDOC 2004. IEEE Computer Society Press, Los Alamitos (2004)"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11841760_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:40:49Z","timestamp":1605642049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11841760_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540389019","9783540389033"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11841760_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}