{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:38:37Z","timestamp":1750307917793,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,3,11]],"date-time":"2007-03-11T00:00:00Z","timestamp":1173571200000},"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":[[2007,3,11]]},"DOI":"10.1145\/1244002.1244301","type":"proceedings-article","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T14:37:31Z","timestamp":1181140651000},"page":"1385-1392","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Verification of web service descriptions using graph-based traversal algorithms"],"prefix":"10.1145","author":[{"given":"Nalaka","family":"Gooneratne","sequence":"first","affiliation":[{"name":"RMIT University, Melbourne, Australia"}]},{"given":"Zahir","family":"Tari","sequence":"additional","affiliation":[{"name":"RMIT University, Melbourne, Australia"}]},{"given":"James","family":"Harland","sequence":"additional","affiliation":[{"name":"RMIT University, Melbourne, Australia"}]}],"member":"320","published-online":{"date-parts":[[2007,3,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022883727209"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/4.5.531"},{"key":"e_1_3_2_1_3_1","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","author":"Baader F.","year":"2003","unstructured":"F. Baader , D. Calvanese , D. McGuinness , D. Nardi , and P. Patel-Schneider , editors . The Description Logic Handbook: Theory, Implementation, and Applications . Cambridge University Press , New York, USA , 2003 . F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York, USA, 2003."},{"key":"e_1_3_2_1_4_1","volume-title":"March","author":"Banerji A.","year":"2002","unstructured":"A. Banerji , C. Bartolini , D. Beringer , V. Chopella , K. Govindarajan , A. Karp , H. Kuno , M. Lemon , G. Pogossiants , S. Sharma , and S. Williams . Web Services Conversation Language 1.0 , March 2002 . A. Banerji, C. Bartolini, D. Beringer, V. Chopella, K. Govindarajan, A. Karp, H. Kuno, M. Lemon, G. Pogossiants, S. Sharma, and S. Williams. Web Services Conversation Language 1.0, March 2002."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/775152.775210"},{"key":"e_1_3_2_1_6_1","volume-title":"March","author":"Burdett D.","year":"2004","unstructured":"D. Burdett and N. Kavantzas . WS Choreography Model Overview - W3C Working Draft , March 2004 . D. Burdett and N. Kavantzas. WS Choreography Model Overview - W3C Working Draft, March 2004."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39962-9_96"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11596141_10"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240303"},{"key":"e_1_3_2_1_10_1","first-page":"56","volume-title":"Proceedings of the 4th International Symposium on Multimedia Software Engineering","author":"Gao X.","year":"2002","unstructured":"X. Gao , J. Yang , and M. P. Papazoglou . The Capability Matching of Web Services . In Proceedings of the 4th International Symposium on Multimedia Software Engineering , pages 56 -- 63 , 2002 . X. Gao, J. Yang, and M. P. Papazoglou. The Capability Matching of Web Services. In Proceedings of the 4th International Symposium on Multimedia Software Engineering, pages 56--63, 2002."},{"issue":"2","key":"e_1_3_2_1_11_1","first-page":"134","volume":"24","author":"Ghosh R. K.","year":"1984","unstructured":"R. K. Ghosh and G. P. Bhattacharjee . A Parallel Search Algorithm for Directed Acyclic Graphs. BIT , 24 ( 2 ): 134 -- 150 , 1984 . R. K. Ghosh and G. P. Bhattacharjee. A Parallel Search Algorithm for Directed Acyclic Graphs. BIT, 24(2):134--150, 1984.","journal-title":"A Parallel Search Algorithm for Directed Acyclic Graphs. BIT"},{"key":"e_1_3_2_1_13_1","volume-title":"October","author":"Keller U.","year":"2004","unstructured":"U. Keller , R. Lara , A. Polleres , I. Toma , M. Kifer , and D. Fensel . WSMO Discovery - WSML Working Draft , October 2004 . U. Keller, R. Lara, A. Polleres, I. Toma, M. Kifer, and D. Fensel. WSMO Discovery - WSML Working Draft, October 2004."},{"key":"e_1_3_2_1_14_1","volume-title":"November","author":"Martin D.","year":"2004","unstructured":"D. Martin , M. Burstein , J. Hobbs , O. Lassila , D. McDermott , S. McIlraith , S. Narayanan , M. Paolucci , B. Parsia , T. Payne , E. Sirin , N. Srinivasan , and K. Sycara . OWL-S: Semantic Markup for Web Services , November 2004 . D. Martin, M. Burstein, J. Hobbs, O. Lassila, D. McDermott, S. McIlraith, S. Narayanan, M. Paolucci, B. Parsia, T. Payne, E. Sirin, N. Srinivasan, and K. Sycara. OWL-S: Semantic Markup for Web Services, November 2004."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-003-0101-5"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/511446.511457"},{"issue":"3","key":"e_1_3_2_1_17_1","first-page":"379","volume":"25","author":"Oulsnam G.","year":"1982","unstructured":"G. Oulsnam . Unravelling Unstructured Programs. Computing Journal , 25 ( 3 ): 379 -- 387 , 1982 . G. Oulsnam. Unravelling Unstructured Programs. Computing Journal, 25(3):379--387, 1982.","journal-title":"Unravelling Unstructured Programs. Computing Journal"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4379(00)00012-0"},{"key":"e_1_3_2_1_19_1","volume-title":"The π-calculus: A Theory of Mobile Processes","author":"Sangiorgi D.","year":"2001","unstructured":"D. Sangiorgi and D. Walker , editors . The π-calculus: A Theory of Mobile Processes . Cambridge University Press , New York, USA , 2001 . D. Sangiorgi and D. Walker, editors. The π-calculus: A Theory of Mobile Processes. Cambridge University Press, New York, USA, 2001."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2005.54"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014897210525"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025120.1025688"}],"event":{"name":"SAC07: The 2007 ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Seoul Korea","acronym":"SAC07"},"container-title":["Proceedings of the 2007 ACM symposium on Applied computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1244002.1244301","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1244002.1244301","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:51:28Z","timestamp":1750258288000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1244002.1244301"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,11]]},"references-count":21,"alternative-id":["10.1145\/1244002.1244301","10.1145\/1244002"],"URL":"https:\/\/doi.org\/10.1145\/1244002.1244301","relation":{},"subject":[],"published":{"date-parts":[[2007,3,11]]},"assertion":[{"value":"2007-03-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}