{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:32:16Z","timestamp":1750307536631,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,3,28]],"date-time":"2008-03-28T00:00:00Z","timestamp":1206662400000},"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,3,28]]},"DOI":"10.1145\/1593105.1593188","type":"proceedings-article","created":{"date-parts":[[2009,8,11]],"date-time":"2009-08-11T13:29:27Z","timestamp":1249997367000},"page":"314-316","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Web service composition process verification methods"],"prefix":"10.1145","author":[{"given":"Mate'","family":"Sztipanovits","sequence":"first","affiliation":[{"name":"SPSU, South Marietta, GA"}]}],"member":"320","published-online":{"date-parts":[[2008,3,28]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Benatallah B. Medjahed B. Bouguettaya A. Elmagarmid A. & Beard J. (2000) Composing and Maintaining Web-based Virtual Enterprises in 'Proceedings of the Workshop on Technologies for E-Services (in Cooperation with VLDB'00)' Cairo Egypt.  Benatallah B. Medjahed B. Bouguettaya A. Elmagarmid A. & Beard J. (2000) Composing and Maintaining Web-based Virtual Enterprises in 'Proceedings of the Workshop on Technologies for E-Services (in Cooperation with VLDB'00)' Cairo Egypt."},{"key":"e_1_3_2_1_2_1","first-page":"297","volume-title":"IEEE Computer Society","author":"Ngu Q.","year":"2002"},{"volume-title":"Proceedings of the 14th Australasian Database Conference (ADC 2003)","author":"Hamadi R.","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/MP.2004.1266937"},{"issue":"11","key":"e_1_3_2_1_5_1","first-page":"1296","article-title":"On the Use of Graph Transformation in the Formal Specification of Model Interpreters","volume":"9","author":"Karsai Gabor","year":"2003","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/2794608.3220933"},{"key":"e_1_3_2_1_7_1","unstructured":"http:\/\/uddi.xml.org\/uddi-org 2007  http:\/\/uddi.xml.org\/uddi-org 2007"},{"key":"e_1_3_2_1_8_1","unstructured":"http:\/\/www.w3.org\/TR\/wsdl 2007  http:\/\/www.w3.org\/TR\/wsdl 2007"},{"key":"e_1_3_2_1_9_1","unstructured":"http:\/\/www.w3.org\/TR\/soap\/ 2007  http:\/\/www.w3.org\/TR\/soap\/ 2007"},{"key":"e_1_3_2_1_10_1","unstructured":"http:\/\/wiki.daimi.au.dk\/cpntools\/cpntools.wiki.  http:\/\/wiki.daimi.au.dk\/cpntools\/cpntools.wiki."},{"key":"e_1_3_2_1_11_1","unstructured":"CPN Tools 2007  CPN Tools 2007"},{"key":"e_1_3_2_1_12_1","unstructured":"Institute for Software Integrated Systems (ISIS) http:\/\/isis.vanderbilt.edu\/ 2008 Generic Modeling Environment (GME) http:\/\/www.isis.vanderbilt.edu\/projects\/gme\/ 2008  Institute for Software Integrated Systems (ISIS) http:\/\/isis.vanderbilt.edu\/ 2008 Generic Modeling Environment (GME) http:\/\/www.isis.vanderbilt.edu\/projects\/gme\/ 2008"},{"key":"e_1_3_2_1_13_1","unstructured":"Janos Mathe ISIS Vanderbilt University (jancsi@isis.vanderbilt.edu) 2008  Janos Mathe ISIS Vanderbilt University (jancsi@isis.vanderbilt.edu) 2008"}],"event":{"name":"ACM SE08: ACM Southeast Regional Conference","acronym":"ACM SE08","location":"Auburn Alabama"},"container-title":["Proceedings of the 46th Annual Southeast Regional Conference on XX"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1593105.1593188","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1593105.1593188","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:19Z","timestamp":1750249399000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1593105.1593188"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3,28]]},"references-count":13,"alternative-id":["10.1145\/1593105.1593188","10.1145\/1593105"],"URL":"https:\/\/doi.org\/10.1145\/1593105.1593188","relation":{},"subject":[],"published":{"date-parts":[[2008,3,28]]},"assertion":[{"value":"2008-03-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}