{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:11:52Z","timestamp":1747807912382},"publisher-location":"London","reference-count":30,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781848825987"},{"type":"electronic","value":"9781848825994"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-1-84882-599-4_13","type":"book-chapter","created":{"date-parts":[[2009,9,22]],"date-time":"2009-09-22T17:28:27Z","timestamp":1253640507000},"page":"289-311","source":"Crossref","is-referenced-by-count":3,"title":["Semantic Annotation for Web Service Processes in Pervasive Computing"],"prefix":"10.1007","author":[{"given":"Ivan","family":"Di Pietro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Pagliarecci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Spalazzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,8,11]]},"reference":[{"key":"13_CR1_13","unstructured":"Agarwal, S.: A goal specification language for automated discovery and composition of web services. In: International Conference on Web Intelligence (WI \u201807). Silicon Valley (2007). URL http:\/\/www.aifb.uni-karlsruhe.de\/WBS\/sag\/papers\/Agarwal- A Goal Specification Language For Automated Discovery And Composition Of Web Services-WI07.pdf"},{"key":"13_CR2_13","unstructured":"Andrews, T., Curbera, F., Dolakia, H., Goland, J., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weeravarana, S.: Business Process Execution Language for Web Services (version 1.1) (2003)"},{"key":"13_CR3_13","unstructured":"Ben-Natan, R., Sherman, D.: Web services in a pervasive computing environment. WebSphere Developer\u2019s Journal 1(3) (2002)"},{"key":"13_CR4_13","doi-asserted-by":"crossref","unstructured":"Berardi, D., Calvanese, D., Giacomo, G.D., Lenzerini, M., Mecella, M.: Automatic composition of E-Services that export their behaviour. In: Proc. ICSOC\u201903 (2003)","DOI":"10.1007\/978-3-540-24593-3_4"},{"key":"13_CR5_13","unstructured":"Bertoli, P., Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: MBP: a model based planner. In: IJCAI-2001 workshop on Planning under Uncertainty and Incomplete Information (2001)"},{"issue":"2","key":"13_CR6_13","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"JR Burch","year":"1992","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 1020 states and beyond. Information and Computation 98(2), 142\u2013170 (1992)","journal-title":"Information and Computation"},{"key":"13_CR7_13","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. AAAI (2006)"},{"issue":"4","key":"13_CR8_13","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/s100090050046","volume":"2","author":"A Cimatti","year":"2000","unstructured":"Cimatti, A., Clarke, E.M., Giunchiglia, F., Roveri, M.: NuSMV: a new symbolic model checker. International Journal on Software Tools for Technology Transfer 2(4), 410\u2013425 (2000)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"13_CR9_13","unstructured":"Coalition, T.O.S.: OWL-S: semantic markup for web services (2003)"},{"key":"13_CR10_13","unstructured":"Dal Lago, U., Pistore, M., Traverso, P.: Planning with a language for extended goals. In: Proc. AAAI\u201902 (2002)"},{"key":"13_CR11_13","doi-asserted-by":"crossref","unstructured":"Di Pietro, I., Pagliarecci, F., Spalazzi, L., Marconi, A., Pistore, M.: Semantic web service selection at the process level: the eBay\/Amazon\/PayPal Case Study. In: 2008 IEEE\/WIC\/ACM International Conference on Web Intelligence (WI\u201908). IEEE Computer Society (2008)","DOI":"10.1109\/WIIAT.2008.237"},{"key":"13_CR12_13","doi-asserted-by":"crossref","unstructured":"Doan, E.: Middleware extensions for pervasive computing. In: IEEE International Conference on Portable Information Devices (PORTABLE07). IEEE Press (2007)","DOI":"10.1109\/PORTABLE.2007.13"},{"key":"13_CR13_13","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and modal logic. In: J. van Leeuwen (ed.) Handbook of Theoretical Computer Science, vol. B: Formal Models and Semantics, chap. 14, pp. 996\u20131072. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, New York (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"13_CR14_13","doi-asserted-by":"crossref","unstructured":"Hull, R., Benedikt, M., Christophides, V., Su, J.: E-Services: A Look Behind the Curtain. In: Proc. PODS\u201903 (2003)","DOI":"10.1145\/773153.773154"},{"key":"13_CR15_13","doi-asserted-by":"crossref","unstructured":"Marconi,A., Pistore,M., Poccianti,P., Traverso,P.: Automated web service composition at work: the Amazon\/MPS Case Study. In: IEEE International Conference on Web Services (ICWS 2007), pp. 767\u2013774. IEEE Computer Society (2007)","DOI":"10.1109\/ICWS.2007.50"},{"key":"13_CR16_13","doi-asserted-by":"crossref","unstructured":"Mandell, D., McIlraith, S.: Adapting BPEL4WS for the semantic web: the bottom-up approach to web service interoperation. In: Proc. of 2nd International Semantic Web Conference (ISWC03) (2003)","DOI":"10.1007\/978-3-540-39718-2_15"},{"key":"13_CR17_13","unstructured":"McGuinness, D.L., F. van Harmelen, E.: OWL Web ontology language overview. W3C Recommendation (2004). http:\/\/www.w3.org\/TR\/2004\/REC-owl-features-20040210\/"},{"key":"13_CR18_13","doi-asserted-by":"crossref","unstructured":"Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services. In: Proc. WWW\u201902 (2002)","DOI":"10.1145\/511446.511457"},{"key":"13_CR19_13","unstructured":"Ortiz, M., Calvanese, D., Eiter, T.: Characterizing data complexity for conjunctive query answering in expressive description logics. AAAI (2006)"},{"key":"13_CR20_13","unstructured":"Pagliarecci, F., Pistore, M., Spalazzi, L., Traverso, P.: Web service discovery at process-level based on semantic annotation. In: Proc. of Fifteenth Italian Symposium on Advanced Database Systems (SEBD 2007), 17\u201320 June, Torre Canne, BR (2007)"},{"key":"13_CR21_13","doi-asserted-by":"crossref","unstructured":"Patil, A., Oundhakar, S., Sheth, A., Verma, K.: METEOR-S Web service annotation framework. In: WWW04 (2004)","DOI":"10.1145\/988672.988747"},{"key":"13_CR22_13","doi-asserted-by":"crossref","unstructured":"Pistore, M., Spalazzi, L., Traverso, P.: A minimalist approach to semantic annotations for web processes compositions. In: Proc. of the 3rd European Semantic Web Conference (ESWC 2006). Springer, Berlin, Budva (Montenegro), 11\u201314 June (2006)","DOI":"10.1007\/11762256_45"},{"key":"13_CR23_13","doi-asserted-by":"crossref","unstructured":"Satyanarayanan, M.: Pervasive computing: vision and challenges (2001)","DOI":"10.1109\/98.943998"},{"key":"13_CR24_13","volume-title":"Enhacing web service descriptions using WSDL-S","author":"A Sheth","year":"2005","unstructured":"Sheth, A., Verna, K., Miller, J., Rajasekaran, P.: Enhacing web service descriptions using WSDL-S. In: EclipseCon (2005)"},{"key":"13_CR25_13","unstructured":"The Web Service Modeling Framework - http:\/\/www.wsmo.org\/"},{"key":"13_CR26_13","unstructured":"Tobies, S.: Complexity results and practical algorithms for logics in knowledge representation. Ph.D. thesis, RWTH Aachen (2001)"},{"key":"13_CR27_13","unstructured":"Verma, K., Mocan, A., Zarembra, M., Sheth, A., Miller, J.A.: Linking semantic web service efforts: integrationg WSMX and METEOR-S. In: Semantic and Dynamic Web Processes (SDWP) (2005)"},{"key":"13_CR28_13","unstructured":"W3C Semantic Annotations for Web Service Description Language Working Group: Semantic Annotations for WSDL and XML Schema (2007)"},{"issue":"3","key":"13_CR29_13","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1038\/scientificamerican0991-94","volume":"265","author":"M Weiser","year":"1991","unstructured":"Weiser, M.: The computer for the 21st century. Scientific American, 265(3), 66\u201375 (1991)","journal-title":"Scientific American"},{"key":"13_CR30_13","doi-asserted-by":"crossref","unstructured":"Wu, D., Parsia, B., Sirin, E., Hendler, J., Nau, D.: Automating DAML-S web services composition using SHOP2. In: Proc. ISWC\u201903 (2003)","DOI":"10.1007\/978-3-540-39718-2_13"}],"container-title":["Computer Communications and Networks","Pervasive Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-84882-599-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T19:34:48Z","timestamp":1558553688000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-84882-599-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9781848825987","9781848825994"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-1-84882-599-4_13","relation":{},"ISSN":["1617-7975"],"issn-type":[{"type":"print","value":"1617-7975"}],"subject":[],"published":{"date-parts":[[2009]]}}}