{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:11:30Z","timestamp":1742922690105,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642021206"},{"type":"electronic","value":"9783642021213"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02121-3_43","type":"book-chapter","created":{"date-parts":[[2009,5,20]],"date-time":"2009-05-20T10:58:54Z","timestamp":1242817134000},"page":"578-592","source":"Crossref","is-referenced-by-count":3,"title":["Towards an Agent Based Approach for Verification of OWL-S Process Models"],"prefix":"10.1007","author":[{"given":"Alessio","family":"Lomuscio","sequence":"first","affiliation":[]},{"given":"Monika","family":"Solanki","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"43_CR1","volume-title":"Proceedings of The Seventh International Joint Conference on Autonomous Agents and Multi-agent systems (AAMAS 2008)","author":"A. Lomuscio","year":"2008","unstructured":"Lomuscio, A., Qu, H., Solanki, M.: Towards verifying compliance in agent-based web service compositions. In: Proceedings of The Seventh International Joint Conference on Autonomous Agents and Multi-agent systems (AAMAS 2008). ACM Press, New York (2008)"},{"key":"43_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/11574620_6","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"A. Ankolekar","year":"2005","unstructured":"Ankolekar, A., Paolucci, M., Sycara, K.P.: Towards a formal verification of owl-s process models. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 37\u201351. Springer, Heidelberg (2005)"},{"key":"43_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/3-540-48683-6_44","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"1999","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: NuSMV: A new symbolic model verifier. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 495\u2013499. Springer, Heidelberg (1999)"},{"key":"43_CR4","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"43_CR5","unstructured":"CMU: An API for OWL-S. CMU OWL-S API, http:\/\/www.daml.ri.cmu.edu\/owlsapi\/index.html"},{"key":"43_CR6","unstructured":"Booth, D., Haas, H., McCabe, F., Newcomer, E., Champion, M., Ferris, C., Orchard, D.: Web service architecture. W3c working group note (February 11, 2004), http:\/\/www.w3.org\/TR\/ws-arch\/"},{"key":"43_CR7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"key":"43_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-44829-2_17","volume-title":"Model Checking Software","author":"T.A. Henzinger","year":"2003","unstructured":"Henzinger, T.A., Jhala, R., Majumdar, R., Sutre, G.: Software verification with BLAST. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol.\u00a02648, pp. 235\u2013239. Springer, Heidelberg (2003)"},{"key":"43_CR9","volume-title":"SPIN Model Checker, The: Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: SPIN Model Checker, The: Primer and Reference Manual. Addison Wesley Professional, Reading (2003)"},{"key":"43_CR10","first-page":"300","volume-title":"Proc. of ISORC 2005","author":"H. Huang","year":"2005","unstructured":"Huang, H., Tsai, W., Paul, R., Chen, Y.: Automated model checking and testing for composite web services. In: Proc. of ISORC 2005, pp. 300\u2013307. IEEE Computer Society, Los Alamitos (2005)"},{"key":"43_CR11","unstructured":"Kalyanpur, A., Jimnez, D.: Automatic mapping of owl ontologies into java. In: Proceedings of Software Engeering and Knowledge Engeering (SEKE 2004) (2004)"},{"key":"43_CR12","unstructured":"Lomuscio, A., Qu, H., Raimondi, F.: Mcmas 0.9 alpha (2008), http:\/\/sourceforge.net\/projects\/ist-contract\/"},{"key":"43_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/11691372_31","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Lomuscio","year":"2006","unstructured":"Lomuscio, A., Raimondi, F.: MCMAS: A model checker for multi-agent systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 450\u2013454. Springer, Heidelberg (2006)"},{"key":"43_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1007\/978-3-540-74974-5_43","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"A. Lomuscio","year":"2007","unstructured":"Lomuscio, A., Qu, H., Sergot, M.J., Solanki, M.: Verifying temporal and epistemic properties of web service compositions. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 456\u2013461. Springer, Heidelberg (2007)"},{"key":"43_CR15","unstructured":"Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y.: Web Services Choreography Description Language Version 1.0: W3C Working Draft (December 17, 2004)"},{"key":"43_CR16","unstructured":"OASIS Web service Business Process Execution Language (WSBPEL) TC. Web service Business Process Execution Language Version 2.0 (2007)"},{"key":"43_CR17","unstructured":"The OWL-S Coalition. OWL-S 1.1 Release (2004), http:\/\/www.daml.org\/services\/owl-s\/1.0\/"},{"key":"43_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-540-30475-3_27","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"P. Traverso","year":"2004","unstructured":"Traverso, P., Pistore, M.: Automated composition of semantic web services into executable processes. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 380\u2013394. Springer, Heidelberg (2004)"},{"key":"43_CR19","volume-title":"An introduction to multi-agent systems","author":"M. Wooldridge","year":"2002","unstructured":"Wooldridge, M.: An introduction to multi-agent systems. John Wiley, England (2002)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web: Research and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02121-3_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T16:14:00Z","timestamp":1739117640000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02121-3_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642021206","9783642021213"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02121-3_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}