{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T04:08:43Z","timestamp":1759205323414,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,4,21]],"date-time":"2008-04-21T00:00:00Z","timestamp":1208736000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,4,21]]},"DOI":"10.1145\/1367497.1367603","type":"proceedings-article","created":{"date-parts":[[2008,5,15]],"date-time":"2008-05-15T18:35:39Z","timestamp":1210876539000},"page":"785-794","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Extending the compatibility notion for abstract WS-BPEL processes"],"prefix":"10.1145","author":[{"given":"Dieter","family":"K\u00f6nig","sequence":"first","affiliation":[{"name":"IBM B\u00f6blingen Laboratory, B\u00f6blingen, Germany"}]},{"given":"Niels","family":"Lohmann","sequence":"additional","affiliation":[{"name":"Universit\u00e4t Rostock, Rostock, Germany"}]},{"given":"Simon","family":"Moser","sequence":"additional","affiliation":[{"name":"IBM B\u00f6blingen Laboratory, B\u00f6blingen, Germany"}]},{"given":"Christian","family":"Stahl","sequence":"additional","affiliation":[{"name":"Humboldt-Universit\u00e4t zu Berlin, Institut f\u00fcr Informatik, Berlin, Germany"}]},{"given":"Karsten","family":"Wolf","sequence":"additional","affiliation":[{"name":"Universit\u00e4t Rostock, Rostock, Germany"}]}],"member":"320","published-online":{"date-parts":[[2008,4,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"W. M.\n     P.\n      \n  \n   \n  v. d. Aalst N. Lohmann P. Massuthe C. Stahl and K. Wolf. From public views to private views - correctness-by-design for services. In M. Dumas and R. Heckel editors Web Services and Formal Methods Forth International Workshop WS-FM 2007 Brisbane Australia September 28-29 2007 Proceedings volume \n  4937\n   of \n  Lecture Notes in Computer Science pages \n  139\n  --\n  153\n  . \n  Springer-Verlag 2008.   W. M. P. v. d. Aalst N. Lohmann P. Massuthe C. Stahl and K. Wolf. From public views to private views - correctness-by-design for services. In M. Dumas and R. Heckel editors Web Services and Formal Methods Forth International Workshop WS-FM 2007 Brisbane Australia September 28-29 2007 Proceedings volume 4937 of Lecture Notes in Computer Science pages 139--153. Springer-Verlag 2008."},{"key":"e_1_3_2_1_2_1","unstructured":"W. M. P. v. d. Aalst P. Massuthe C. Stahl and K. Wolf. Multiparty contracts: Agreeing and implementing interorganizational processes. Informatik-Berichte 213 Humboldt-Universit\u00e4t zu Berlin Berlin Germany June 2007.  W. M. P. v. d. Aalst P. Massuthe C. Stahl and K. Wolf. Multiparty contracts: Agreeing and implementing interorganizational processes. Informatik-Berichte 213 Humboldt-Universit\u00e4t zu Berlin Berlin Germany June 2007."},{"key":"e_1_3_2_1_3_1","first-page":"2007","author":"Alves A.","year":"2007","journal-title":"Web Services Business Process Execution Language Version 2.0. OASIS Standard"},{"key":"e_1_3_2_1_4_1","unstructured":"T. Amb\u00fchler. UML 2.0 profile for WS-BPEL with mapping to WS-BPEL. Master's thesis Universit\u00e4t Stuttgart Institut f\u00fcr Architektur von Anwendungssystemen Stuttgart Germany Oct. 2005.  T. Amb\u00fchler. UML 2.0 profile for WS-BPEL with mapping to WS-BPEL. Master's thesis Universit\u00e4t Stuttgart Institut f\u00fcr Architektur von Anwendungssystemen Stuttgart Germany Oct. 2005."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1567-8326(00)00004-7"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2005.07.006"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1060745.1060770"},{"key":"e_1_3_2_1_8_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1007\/978-3-540-75698-9_16","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"Bonchi F.","year":"2007"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31811-8_2"},{"key":"e_1_3_2_1_10_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/978-3-540-75698-9_14","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"Bravetti M.","year":"2007"},{"key":"e_1_3_2_1_11_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/978-3-540-72794-1_6","volume-title":"9th International Conference, COORDINATION","author":"Bravetti M.","year":"2007"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11596141_18"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.12.041"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328471"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2007.59"},{"key":"e_1_3_2_1_16_1","unstructured":"C.\n       \n      Fournet C. A. R.\n       \n      Hoare S. K.\n       \n      Rajamani and \n      \n      \n      J.\n       \n      Rehof\n      \n  \n  . \n  Stuck-free conformance. In R. Alur and D. Peled editors Computer Aided Verification 16th International Conference CAV\n   \n  2004 Boston MA USA July 13-17 2004 Proceedings volume \n  3114\n   of \n  Lecture Notes in Computer Science pages \n  242\n  --\n  254\n  . \n  Springer 2004.  C. Fournet C. A. R. Hoare S. K. Rajamani and J. Rehof. Stuck-free conformance. In R. Alur and D. Peled editors Computer Aided Verification 16th International Conference CAV 2004 Boston MA USA July 13-17 2004 Proceedings volume 3114 of Lecture Notes in Computer Science pages 242--254. Springer 2004."},{"key":"e_1_3_2_1_17_1","unstructured":"N.\n       \n      Lohmann\n    .\n      \n  \n   \n  A feature-complete Petri net semantics for WS-BPEL 2.0. In M. Dumas and R. Heckel editors Web Services and Formal Methods Forth International Workshop WS-FM 2007 Brisbane Australia September 28-29 2007 Proceedings volume \n  4937\n   of \n  Lecture Notes in Computer Science pages \n  77\n  --\n  91\n  . \n  Springer-Verlag 2008.   N. Lohmann. A feature-complete Petri net semantics for WS-BPEL 2.0. In M. Dumas and R. Heckel editors Web Services and Formal Methods Forth International Workshop WS-FM 2007 Brisbane Australia September 28-29 2007 Proceedings volume 4937 of Lecture Notes in Computer Science pages 77--91. Springer-Verlag 2008."},{"key":"e_1_3_2_1_18_1","unstructured":"N.\n       \n      Lohmann O.\n       \n      Kopp F.\n       \n      Leymann and \n      \n      \n      W.\n       \n      Reisig\n      \n  \n  . \n  Analyzing BPEL4Chor: Verification and participant synthesis. In M. Dumas and R. Heckel editors Web Services and Formal Methods Forth International Workshop WS-FM 2007 Brisbane Australia September 28-29 2007 Proceedings volume \n  4937\n   of \n  Lecture Notes in Computer Science pages \n  46\n  --\n  60\n  . \n  Springer-Verlag 2008.   N. Lohmann O. Kopp F. Leymann and W. Reisig. Analyzing BPEL4Chor: Verification and participant synthesis. In M. Dumas and R. Heckel editors Web Services and Formal Methods Forth International Workshop WS-FM 2007 Brisbane Australia September 28-29 2007 Proceedings volume 4937 of Lecture Notes in Computer Science pages 46--60. Springer-Verlag 2008."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11841760_3"},{"key":"e_1_3_2_1_20_1","unstructured":"N.\n       \n      Lohmann P.\n       \n      Massuthe and \n      \n      \n      K.\n       \n      Wolf\n      \n  \n  . \n  Operating guidelines for finite-state services. In J. Kleijn and A. Yakovlev editors 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency ICATPN\n   \n  2007 Siedlce Poland June 25-29 2007 Proceedings volume \n  4546\n   of \n  Lecture Notes in Computer Science pages \n  321\n  --\n  341\n  . \n  Springer-Verlag 2007.   N. Lohmann P. Massuthe and K. Wolf. Operating guidelines for finite-state services. In J. Kleijn and A. Yakovlev editors 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency ICATPN 2007 Siedlce Poland June 25-29 2007 Proceedings volume 4546 of Lecture Notes in Computer Science pages 321--341. Springer-Verlag 2007."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/11841760_39"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"K.\n       \n      Schmidt\n    . LoLA\n      \n  \n  : \n  A Low Level Analyser. In M. Nielsen and D. Simpson editors Application and Theory of Petri Nets 21st International Conference ICATPN\n   \n  2000 number 1825 in \n  Lecture Notes in Computer Science pages \n  465\n  --\n  474\n  . \n  Springer-Verlag June 2000.   K. Schmidt. LoLA: A Low Level Analyser. In M. Nielsen and D. Simpson editors Application and Theory of Petri Nets 21st International Conference ICATPN 2000 number 1825 in Lecture Notes in Computer Science pages 465--474. Springer-Verlag June 2000.","DOI":"10.1007\/3-540-44988-4_27"}],"event":{"name":"WWW '08: The 17th International World Wide Web Conference","sponsor":["ACM Association for Computing Machinery","SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web"],"location":"Beijing China","acronym":"WWW '08"},"container-title":["Proceedings of the 17th international conference on World Wide Web"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1367497.1367603","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1367497.1367603","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:57:54Z","timestamp":1750255074000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1367497.1367603"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4,21]]},"references-count":22,"alternative-id":["10.1145\/1367497.1367603","10.1145\/1367497"],"URL":"https:\/\/doi.org\/10.1145\/1367497.1367603","relation":{},"subject":[],"published":{"date-parts":[[2008,4,21]]},"assertion":[{"value":"2008-04-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}