{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:59:10Z","timestamp":1725566350522},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540236641"},{"type":"electronic","value":"9783540304708"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30470-8_95","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T17:42:15Z","timestamp":1285263735000},"page":"810-821","source":"Crossref","is-referenced-by-count":2,"title":["On the Verification of Web Services Compatibility: A Petri Net Approach"],"prefix":"10.1007","author":[{"given":"Manu","family":"De Backer","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"95_CR1","unstructured":"The petri nets bibliography, \n                    \n                      http:\/\/www.informatik.uni-hamburg.de\/TGI\/pnbib\/"},{"key":"95_CR2","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-3-642-58458-9_6","volume-title":"Perspectives on Business Modelling","author":"J. Andersson","year":"1999","unstructured":"Andersson, J.: Business process development and information technology in small and medium-sized companies. In: Perspectives on Business Modelling, pp. 117\u2013130. Springer, Heidelberg (1999)"},{"key":"95_CR3","unstructured":"Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business process execution language for web services (2003), \n                    \n                      http:\/\/www-106.ibm.com\/developerworks\/library\/ws-bpel\/"},{"issue":"4","key":"95_CR4","doi-asserted-by":"publisher","first-page":"43","DOI":"10.5381\/jot.2003.2.4.c3","volume":"2","author":"C. Bock","year":"2003","unstructured":"Bock, C.: Uml 2 activity and action models. Journal of Object Technology\u00a02(4), 43\u201353 (2003)","journal-title":"Journal of Object Technology"},{"issue":"5","key":"95_CR5","doi-asserted-by":"publisher","first-page":"41","DOI":"10.5381\/jot.2003.2.5.c4","volume":"2","author":"C. Bock","year":"2003","unstructured":"Bock, C.: Uml 2 activity and action models part 2: Actions. Journal of Object Technology\u00a02(5), 41\u201356 (2003)","journal-title":"Journal of Object Technology"},{"issue":"6","key":"95_CR6","doi-asserted-by":"publisher","first-page":"7","DOI":"10.5381\/jot.2003.2.6.c1","volume":"2","author":"C. Bock","year":"2003","unstructured":"Bock, C.: Uml 2 activity and action models part 3: Control nodes. Journal of Object Technology\u00a02(6), 7\u201323 (2003)","journal-title":"Journal of Object Technology"},{"issue":"1","key":"95_CR7","doi-asserted-by":"publisher","first-page":"27","DOI":"10.5381\/jot.2004.3.1.c3","volume":"3","author":"C. Bock","year":"2004","unstructured":"Bock, C.: Uml 2 activity and action models part 4: Object nodes. Journal of Object Technology\u00a03(1), 27\u201341 (2004)","journal-title":"Journal of Object Technology"},{"issue":"7","key":"95_CR8","doi-asserted-by":"publisher","first-page":"37","DOI":"10.5381\/jot.2004.3.7.c4","volume":"3","author":"C. Bock","year":"2004","unstructured":"Bock, C.: Uml 2 activity and action models part 5: Partitions. Journal of Object Technology\u00a03(7), 37\u201356 (2004)","journal-title":"Journal of Object Technology"},{"key":"95_CR9","unstructured":"BPMI.org. Business process management initiative, \n                    \n                      http:\/\/www.bpmi.org\/"},{"key":"95_CR10","volume-title":"Designing Object Systems: Object-Oriented Modelling with Syntropy","author":"S. Cook","year":"1994","unstructured":"Cook, S., Daniels, J.: Designing Object Systems: Object-Oriented Modelling with Syntropy. Prentice-Hall, Englewood Cliffs (1994)"},{"key":"95_CR11","volume-title":"Components, and Frameworks with UML, the Catalysis approach","author":"D. D\u2019Souza","year":"1999","unstructured":"D\u2019Souza, D., Wils, A.C.: Components, and Frameworks with UML, the Catalysis approach. Addison Wesley, Reading MA (1999)"},{"key":"95_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1007\/3-540-65306-6_20","volume-title":"Lectures on Petri Nets I: Basic Models","author":"J. Esparza","year":"1998","unstructured":"Esparza, J.: Decidability and complexity of petri net problems - an introduction. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 374\u2013428. Springer, Heidelberg (1998)"},{"key":"95_CR13","doi-asserted-by":"crossref","unstructured":"Esparza, J., Nielsen, M.: Decidability issues for petri nets. Petri Net Newsletter\u00a0(47), 5\u201323 (1994)","DOI":"10.7146\/brics.v1i8.21662"},{"key":"95_CR14","unstructured":"Object Management Group. Unified modeling language, \n                    \n                      http:\/\/www.uml.org\/"},{"key":"95_CR15","unstructured":"Leymann, F.: Web services flow language (2001), \n                    \n                      http:\/\/www-306.ibm.com\/software\/solutions\/webservices\/pdf\/WSFL.pdf"},{"key":"95_CR16","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/978-3-642-58458-9_8","volume-title":"Perspectives on Business Modelling","author":"C.G. Lindstr\u00f6m","year":"1999","unstructured":"Lindstr\u00f6m, C.G.: Lessons learned from applying business modelling: Exploring opportunities and avoiding pitfalls. In: Perspectives on Business Modelling, pp. 151\u2013164. Springer, Heidelberg (1999)"},{"key":"95_CR17","unstructured":"Mortensen, K.H., R\u00f6lke, H.: Petri nets world, \n                    \n                      http:\/\/www.daimi.au.dk\/PetriNets\/"},{"key":"95_CR18","first-page":"195","volume-title":"Perspectives on Business Modelling","author":"C. Nellborn","year":"1999","unstructured":"Nellborn, C.: Business and systems development: Opportunities for an integrated way-of-working. In: Perspectives on Business Modelling, pp. 195\u2013213. Springer, Heidelberg (1999)"},{"key":"95_CR19","unstructured":"OASIS. Organization for the advancement of structured information standards, \n                    \n                      http:\/\/www.oasis-open.org"},{"key":"95_CR20","unstructured":"OMG. Object management group, \n                    \n                      http:\/\/www.omg.org\/"},{"key":"95_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/BFb0039620","volume-title":"STACS 87","author":"E. Pelz","year":"1987","unstructured":"Pelz, E.: Closure properties of deterministic petri nets. In: Brandenburg, F.J., Wirsing, M., Vidal-Naquet, G. (eds.) STACS 1987. LNCS, vol.\u00a0247, pp. 371\u2013382. Springer, Heidelberg (1987); NewsletterInfo: 25,26"},{"key":"95_CR22","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)"},{"key":"95_CR23","volume-title":"Petri Nets - An introduction","author":"W. Reisig","year":"1982","unstructured":"Reisig, W.: Petri Nets - An introduction. Springer, Heidelberg (1982)"},{"key":"95_CR24","unstructured":"Rolland, C., Richard, C.: The REMORA Methodology for Information System Design and Management. In: Information Systems Design Methodologies: A Comparative Review, pp. 369\u2013426 (1982)"},{"key":"95_CR25","unstructured":"Snoeck, M., Dedene, G., Verhelst, M., Depuydt, A.M.: Object-oriented Enterprise Modeling with MERODE. Leuven University Press (1999)"},{"key":"95_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"454","DOI":"10.1007\/3-540-45393-8_33","volume-title":"Conceptual Modeling - ER 2000","author":"M. Snoeck","year":"2000","unstructured":"Snoeck, M., Poelmans, S., Dedene, G.: A layered software specification architecture. In: Laender, A.H.F., Liddle, S.W., Storey, V.C. (eds.) ER 2000. LNCS, vol.\u00a01920, pp. 454\u2013469. Springer, Heidelberg (2000)"},{"key":"95_CR27","unstructured":"Thatte, S.: Xlang (2001), \n                    \n                      http:\/\/www.gotdotnet.com\/team\/xml~wsspecs\/xlang-c\/default.htm"},{"issue":"1","key":"95_CR28","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":"3","key":"95_CR29","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1023\/A:1016031730365","volume":"2","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P.: Inheritance of interorganizational workflows to enable business-to-business E-commerce. Electronic Commerce Research\u00a02(3), 195\u2013231 (2002)","journal-title":"Electronic Commerce Research"},{"key":"95_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48068-4_1","volume-title":"Application and Theory of Petri Nets 2002","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P.: Making work flow: On the application of petri nets to business process management. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol.\u00a02360, pp. 1\u201322. Springer, Heidelberg (2002)"},{"key":"95_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48068-4_1","volume-title":"Application and Theory of Petri Nets 2002","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P.: Making work flow: On the application of petri nets to business process management. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol.\u00a02360, pp. 1\u201322. Springer, Heidelberg (2002)"},{"key":"95_CR32","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: Workflow patterns: On the expressive power of (petri-net-based) workflow languages. In: Proc. of the Fourth International Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, August 28-30, 2002 \/ Kurt Jensen (Ed.), pp. 1\u201320. Technical Report DAIMI PB-560 (August. 2002)"},{"key":"95_CR33","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. QUT Technical report, FIT-TR-2002-02 (2002), Also see \n                    \n                      http:\/\/www.tm.tue.nl\/it\/research\/patterns"},{"key":"95_CR34","unstructured":"van der Aalst, W.M.P., van Hee, K.M., Houben, G.J.: Modelling workflow management systems with high-level petri nets. In: De Michelis, G., Ellis, C., Memmi, G. (eds.) Proceedings of the second Workshop on Computer-Supported Cooperative Work, Petri nets and related formalisms, pp. 31\u201350 (1994)"},{"key":"95_CR35","unstructured":"W3C. The world wide web consortium, \n                    \n                      http:\/\/www.w3.org\/"},{"key":"95_CR36","unstructured":"WfMC. The workflow management coalition, \n                    \n                      http:\/\/www.wfmc.org\/"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30470-8_95","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T23:37:31Z","timestamp":1553125051000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30470-8_95"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236641","9783540304708"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30470-8_95","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}