{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T11:03:02Z","timestamp":1743073382425,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"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_44","type":"book-chapter","created":{"date-parts":[[2009,5,20]],"date-time":"2009-05-20T06:58:54Z","timestamp":1242802734000},"page":"593-607","source":"Crossref","is-referenced-by-count":8,"title":["Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing"],"prefix":"10.1007","author":[{"given":"Ervin","family":"Ramollari","sequence":"first","affiliation":[]},{"given":"Dimitrios","family":"Kourtesis","sequence":"additional","affiliation":[]},{"given":"Dimitris","family":"Dranidis","sequence":"additional","affiliation":[]},{"given":"Anthony J. H.","family":"Simons","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"44_CR1","unstructured":"Akkiraju, R., Farrell, J., Miller, J., Nagarajan, M., Schmidt, M.T., Sheth, A., Verma, K.: Web Service Semantics - WSDL-S. W3C Member Submission (2005)"},{"key":"44_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11786160_1","volume-title":"Architecting Systems with Trustworthy Components","author":"A. Bertolino","year":"2006","unstructured":"Bertolino, A., Frantzen, I., Polini, A., Tretmans, J.: Audition of Web Services for Testing Conformance to Open Specified Protocols. In: Reussner, R., Stafford, J.A., Szyperski, C. (eds.) Architecting Systems with Trustworthy Components. LNCS, vol.\u00a03938, pp. 1\u201325. Springer, Heidelberg (2006)"},{"key":"44_CR3","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S.: Testing Software Design Modelled by Finite State Machines. IEEE Transactions on Software Engineering\u00a04, 178\u2013187 (1978)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"44_CR4","unstructured":"de Bruijn, J.d., Bussler, C., Domingue, J., Fensel, D., Hepp, M., Keller, U., Kifer, M., Konig-Ries, B., Kopecky, J., Lara, R., Lausen, H., Oren, E., Polleres, A., Roman, D., Scicluna, J., Stollberg, M.: Web Service Modeling Ontology (WSMO). W3C Member Submission (2005)"},{"issue":"5","key":"44_CR5","first-page":"36","volume":"1","author":"D. Dranidis","year":"2007","unstructured":"Dranidis, D., Kourtesis, D., Ramollari, E.: Formal Verification of Web Service Behavioural Conformance through Testing. Annals of Mathematics, Computing & Teleinformatics (AMCT)\u00a01(5), 36\u201343 (2007)","journal-title":"Annals of Mathematics, Computing & Teleinformatics (AMCT)"},{"key":"44_CR6","volume-title":"Automata, Languages and Machines","author":"S. Eilenberg","year":"1974","unstructured":"Eilenberg, S.: Automata, Languages and Machines, vol.\u00a0A. Academic Press, New York (1974)"},{"key":"44_CR7","unstructured":"Farrell, J., Lausen, H. (eds.): Semantic Annotations for WSDL and XML Schema. W3C Recommendation (2007)"},{"key":"44_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-31984-9_4","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Heckel","year":"2005","unstructured":"Heckel, R., Mariani, L.: Automatic Conformance Testing of Web Services. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 34\u201348. Springer, Heidelberg (2005)"},{"key":"44_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3435-0","volume-title":"Correct Systems: Building Business Process Solutions","author":"M. Holcombe","year":"1998","unstructured":"Holcombe, M., Ipate, F.: Correct Systems: Building Business Process Solutions. Springer, Berlin (1998)"},{"key":"44_CR10","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1080\/00207169708804559","volume":"63","author":"F. Ipate","year":"1997","unstructured":"Ipate, F., Holcombe, M.: An Integration Testing Method that is Proved to Find All Faults. International Journal of Computer Mathematics\u00a063, 159\u2013178 (1997)","journal-title":"International Journal of Computer Mathematics"},{"key":"44_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/11754008_7","volume-title":"Testing of Communicating Systems","author":"C. Keum","year":"2006","unstructured":"Keum, C., Kang, S., Ko, I.Y.: Generating Test Cases for Web Services using Extended Finite State Machine. In: Uyar, M.\u00dc., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol.\u00a03964, pp. 103\u2013117. Springer, Heidelberg (2006)"},{"key":"44_CR12","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/978-0-387-84837-2_49","volume-title":"Pervasive Collaborative Networks, IFIP","author":"D. Kourtesis","year":"2008","unstructured":"Kourtesis, D., Ramollari, E., Dranidis, D., Paraskakis, I.: Discovery and Selection of Certified Web Services through Registry-Based Testing and Verification. In: Camarinha-Matos, L., Pickard, W. (eds.) Pervasive Collaborative Networks, IFIP, vol.\u00a0283, pp. 473\u2013482. Springer, Boston (2008)"},{"issue":"5","key":"44_CR13","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1109\/MIS.2007.4338488","volume":"22","author":"D. Martin","year":"2007","unstructured":"Martin, D., Domingue, J., Brodie, M.L., Leymann, F.: Semantic Web Services, Part 1. IEEE Intelligent Systems\u00a022(5), 12\u201317 (2007)","journal-title":"IEEE Intelligent Systems"},{"issue":"6","key":"44_CR14","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/MIS.2007.118","volume":"22","author":"D. Martin","year":"2007","unstructured":"Martin, D., Domingue, J., Sheth, A., Battle, S., Sycara, K., Fensel, D.: Semantic Web Services, Part 2. IEEE Intelligent Systems\u00a022(6), 8\u201315 (2007)","journal-title":"IEEE Intelligent Systems"},{"key":"44_CR15","unstructured":"Martin, D., Burstein, M., Hobbs, J., Lassila, O., McDermott, D., McIlraith, S., Narayanan, S., Paolucci, M., Parsia, B., Payne, T., Sirin, E., Srinivasan, N., Sycara, K.: OWL-S: Semantic Markup for Web Services. W3C Member Submission (2004)"},{"key":"44_CR16","unstructured":"McGuinness, D.L., van Harmelen, F.: OWL Web Ontology Language Overview, W3C Recommendation (2004)"},{"key":"44_CR17","doi-asserted-by":"crossref","unstructured":"Narayanan, S., McIlraith, S.A.: Simulation, Verification and Automated Composition of Web Services. In: Proceedings of the 11th International Conference on the World Wide Web, pp. 77\u201388 (2002)","DOI":"10.1145\/511446.511457"},{"key":"44_CR18","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.jlap.2004.03.009","volume":"60-61","author":"G.D. Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A Structural Approach to Operational Semantics. Journal of Logic and Algebraic Programming\u00a060-61, 17\u2013139 (2004)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"44_CR19","doi-asserted-by":"crossref","unstructured":"Sinha, A., Paradkar, A.: Model-based Functional Conformance Testing of Web Services Operating on Persistent Data. In: Proceedings of Workshop on Testing, Analysis and Verification of Web Services and Applications (TAV-WEB 2006), pp. 17\u201322 (2006)","DOI":"10.1145\/1145718.1145721"},{"key":"44_CR20","doi-asserted-by":"crossref","unstructured":"Urbieta, A., Azketa, E., Gomez, I., Parra, J., Arana, N.: Analysis of Effects- and Preconditions-Based Service Representation in Ubiquitous Computing Environments. In: Proceedings of the 2008 IEEE International Conference on Semantic Computing, pp. 378\u2013385 (2008)","DOI":"10.1109\/ICSC.2008.18"},{"key":"44_CR21","unstructured":"W3C RIF Production Rule Dialect (RIF-PRD), \n                      \n                        http:\/\/www.w3.org\/TR\/rif-prd\/"},{"key":"44_CR22","unstructured":"W3C Rule Interchange Format (RIF) Working Group, \n                      \n                        http:\/\/www.w3.org\/2005\/rules\/"},{"key":"44_CR23","doi-asserted-by":"crossref","unstructured":"Wang, Y., Bai, X., Li, J., Huang, R.: Ontology-Based Test Case Generation for Testing Web Services. In: Proceedings of Eighth International Symposium on Autonomous Decentralized Systems (ISADS 2007), pp. 43\u201350 (2007)","DOI":"10.1109\/ISADS.2007.54"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web: Research and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02121-3_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:18:11Z","timestamp":1558268291000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02121-3_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642021206","9783642021213"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02121-3_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}