Skip to main content
SpringerLink
Log in
Book cover

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

ISoLA 2010: Leveraging Applications of Formal Methods, Verification, and Validation pp 375–389Cite as

Ontology-Driven Pervasive Service Composition for Everyday Life

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 6415))

Abstract

Incorporating service composition and pervasive computing into managing user’s everyday activities gives rise to the paradigm of Pervasive Service Composition for everyday life. This paper presents a novel generic model for services supporting everyday activities. The resulting service composition consists of local services within service peers and services are executed as specified in peer coordination and service collaboration. We suggest a task-based, pervasive, semantic, and P2P-based approach for service composition for everyday life. We first address these fundamental characteristics. We give terminologies related to service composition, pervasive computing, ontology, and Pervasive Service Composition. Secondly, we analyze requirements for describing everyday activities. To meet the requirements we design an initial ontology model for capturing user’s everyday activity and accommodating peer coordination and service collaboration in Pervasive Service Composition. Finally, we classify existing approaches to Web service composition.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. BPEL4WS, Business Process Execution Language for Web Services (2007), http://xml.coverpages.org/WS-BPEL-CS01.pdf (retrieved by May 30, 2010)

  2. Barros, A., Dumas, M., Oaks, P.: A critical overview of the web services choreography description language. BPTrends (March 2005), http://www.bptrends.com/publicationfiles/03-05%20wp%20ws-cdl%20barros%20et%20al.pdf (retrieved by May 30, 2010)

  3. Miller, J., Verma, K., Rajasekaran, P., Sheth, A., Aggarwal, R., Sivashanmugam, K.: WSDL-S: A Proposal to W3C WSDL 2.0 Committee (2004), http://lsdis.cs.uga.edu/projects/wsdl-s/WSDL-S.pdf (retrieved by May 30, 2010)

  4. Domingue, J., Cabral, L., Galizia, S., Tanasescu, V., Gugliotta, A., Norton, B., Pedrinaci, C.: IRS-III: A Broker-based Approach to Semantic Web Services. Journal of Web Semantics 6, 109–132 (2008)

    Article  Google Scholar 

  5. Battle, S., Bernstein, A., Boley, H., Grosof, B., Gruninger, M., Hull, R., Kifer, M., Martin, D., McIlraith, S., McGuinness, D., Su, J., Tabet , S.: Semantic Web Services Framework (SWSF), Overview (September 2005), http://www.w3.org/Submission/SWSF/ (retrieved by May 30, 2010)

  6. Weiser, M.: The computer for the 21st century. Scientific American 265, 94–104 (1991)

    Article  Google Scholar 

  7. da Costa, C.A.: Toward a General Software Infrastructure for Ubiquitous Computing. IEEE Pervasive Computing 7, 64–73 (2008)

    Article  Google Scholar 

  8. Issarny, V., Sacchetti, D., Tartanoglu, F., Sailhan, F., Chibout, R., Levy, N., Talamona, A.: Developing Ambient Intelligence Systems: A Solution based on Web Services. Autom. Software. Eng. 12 (2005)

    Google Scholar 

  9. IST-Amigo, Amigo: Ambient intelligence for the networked home environment (2006), http://www.hitech-projects.com/euprojects/amigo/ (retrieved by May 30, 2010)

  10. Ylianttila, M., Harjula, E., Koskela, T., Sauvola, J.: Analytical Model for Mobile P2P Data Management Systems. In: Proceedings of 5th IEEE on Consumer Communications and Networking Conference, CCNC 2008, pp. 1186–1190 (2008)

    Google Scholar 

  11. Pakkala, D., Koivukoski, A., Paaso, T., Latvakoski, J.: P2P middleware for extending the reach, scale and functionality of content delivery networks. In: Proceedings of Second International Conference on Internet and Web Applications and Services, p. 5 (2007)

    Google Scholar 

  12. p2psip working group, Peer-to-Peer Session Initiation Protocol Specification (2009-03-30), http://www.ietf.org/html.charters/p2psip-charter.html (retreived by May 30, 2010)

  13. Lee, T.B., Hendler, J., Lassila, O.: The Semantic Web. Sci. Am. (May 2001)

    Google Scholar 

  14. Booth, D., Haas, H., McCabe, F., Newcomer, E., Champion, M., Ferris, C., Orchard, D.: Web services architecture (February 2004), http://www.w3.org/TR/ws-arch/ (retrieved by May 30, 2010)

  15. W. C. SOAP: SOAP Version 1.2 Part 1: Messaging Framework (2003), http://www.w3.org/TR/2003/REC-soap12-part1-20030624/ (retrieved by May 30, 2010)

  16. W3C-WSDL, WSDL: Web Services Description Language (WSDL) 1.1 (2005), http://www.w3.org/TR/wsdl

  17. UDDI, UDDI Version 3.0.2 (2004), http://www.Oasis-Open.org/committees/uddi-spec/doc/spec/v3/uddi-v3.0.2-20041019.Htm (retrieved by May 30, 2010)

  18. Weerawarana, S., Curbera, F.: Business Process with BPEL4WS: Understanding BPEL4WS (2002), http://www-106.ibm.com/developerworks/webservices/library/ws-bpelcol1/ (retrieved by May 30, 2010)

  19. Cabral, L., Domingue, J., Motta, E., Payne, T., Hakimpour, F.: Approaches to semantic web services: An overview and comparison. In: Bussler, C.J., Davies, J., Fensel, D., Studer, R. (eds.) ESWS 2004. LNCS, vol. 3053, pp. 225–239. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  20. Rao, J., Su, X.: A survey on automated web service composition methods. In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol. 3387, pp. 43–54. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  21. Tabatabaei, S.G., Kadir, W.M., Ibrahim, S.: A comparative evaluation of state-of-the-art approaches for web service composition. In: Proceedings of 2008 the Third international Conference on Software Engineering Advances, Washington, DC, USA, pp. 488–493 (2008)

    Google Scholar 

  22. Jordan, D., Evdemon, J., Chairs, Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B., Curbera, F., Ford, M., Goland, Y., Guízar, A., Kartha, N., Kevin Liu, C., Khalaf, R., König, D., Marin, M., Mehta, V., Thatte, S., van der Rijn, D., Yendluri, P., Yiu, A. (eds.): Web Services Business Process Execution Language Version 2.0, OASIS Standard (2007), http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.pdf (retrieved by May 30 , 2010)

  23. Roman, D., de Bruijn, J., Mocan, A., Toma, I., Lausen, H., Kopecký, J., Fensel, D., Domingue, J., Galizia, S., Cabral, L.: Semantic web services - approaches and perspectives. In: Davies, J., Warren, P., Studer, R. (eds.) Semantic Web Technologies: Trends and Research in Ontology-Based Systems. John Wiley & Sons, Chichester (2006)

    Google Scholar 

  24. Fensel, D., Bussler, C.: The Web Service Modeling Framework WSMF. Electronic Commerce: Research and Applications 1, 113–137 (2002)

    Google Scholar 

  25. WSMO working group, WSMO (2009), http://www.wsmo.org (retrieved by May 30, 2010)

  26. Roman, D., Scicluna, J. (eds.): Orchestration in WSMO.WSMO Final Draft (2007), http://www.wsmo.org/2005/d15/v0.1/20070422/ (retrieved by May 30, 2010)

  27. Roman, D., Keller, U., Lausen, H., de Bruijn, J., Lara, R., Stollberg, M., Polleres, A., Feier, C., Bussler, C., Fensel, D.: Web Service Modeling Ontology. Applied Ontology 1, 77–106 (2005)

    Google Scholar 

  28. de Bruijn, J.: The Web service modeling language WSML. WSML Final Draft (2005), http://www.wsmo.org/TR/d16/d16.1/v0.21/ (retrieved by May 30, 2010)

  29. WSMX, Web service execution environment (2009), http://www.wsmx.org/index.html (retrieved by May 30, 2010)

  30. Roman, D., Scicluna, J., Nitzsche, J. (eds.): Ontology-based Choreography. WSMO Final Draft (2007), http://www.wsmo.org/TR/d14/v1.0/ (retrieved by May 30, 2010)

  31. Roman, D. (ed.): Choreography in WSMO. WSMO Working Draft (2004), http://www.wsmo.org/2004/d14/v0.1/20041112/ (retrieved by May 30, 2010)

  32. Martin, D., Burstein, M., Hobbs, J., et al.: OWL-S: Semantic Markup for Web Services (2004), http://www.w3.org/Submission/OWL-S/ (retrieved by May 30, 2010)

  33. Battle, S., Bernstein, A., Boley, H., Grosof, B., Gruninger, M., Hull, R., Kifer, M., Martin, D., McIlraith, S., McGuinness, D., Su, J., Tabet, S.: Semantic Web Services Language (SWSL) (September 2005), http://www.w3.org/Submission/SWSF-SWSL/ (retrieved by May 30, 2010)

  34. Battle, S., Bernstein, A., Boley, H., Grosof, B., Gruninger, M., Hull, R., Kifer, M., Martin, D., McIlraith, S., McGuinness, D., Su, J., Tabet, S.: Semantic Web Services Ontology (SWSO) (September 2005), http://www.w3.org/Submission/SWSF-SWSO/ (retrieved by May 30, 2010)

  35. Cabral, L., Domingue, J., Galizia, S., Gugliotta, A., Norton, B., Tanasescu, V., Pedrinaci, C.: IRS-III: A broker for semantic web services based applications. Journal of Web Semantics 6(2), 109–132 (2008)

    Article  Google Scholar 

  36. Akkiraju, R., Farrell, J., Miller, J., Nagarajan, M., Schmidt, M., Sheth, A., Verma, K.: Web service semantics - WSDL-S. Tech. Rep. A joint UGA-IBM Technical Note, version 1.0 (April 18, 2005), http://www.w3.org/Submission/WSDL-S/ (retrieved by May 30, 2010)

  37. Ubiquitous_computing, Wikipedia, http://en.wikipedia.org/wiki/Ubiquitous_computing (retrieved by May 30, 2010)

  38. Contract, free dictionary, http://www.thefreedictionary.com/contract (retrieved by May 30, 2010)

  39. business activity, http://www.thefreedictionary.com/business+activity (retrieved by May 30, 2010)

  40. Zhou, J., Sun, J., Rautiainen, M., Davidyuk, O., Liu, M., Gilman, E., Su, X., Ylianttila, M., Riekki, J.: PSC-RM: Reference Model for Pervasive Service Composition. In: IEEE Proceedings of Frontier of Computer Science and Technology (FCST 2009), Shanghai, China, December 17-19, pp. 705–709 (2009)

    Google Scholar 

  41. Zhou, J., Riekki, J., Ylianttila, M.: Modeling Service Composition and Exploring its Characteristics, Modeling pervasive service composition. In: IEEE Proceedings of 3rd International Workshop on Web Service Composition and Adaptation (WSCA 2009) in IEEE ICWS 2009, LA, USA, July 6-10, pp. 446–451 (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science and Engineering Laboratory, Dept. of Electrical Engineering, University of Oulu, PL 4500, FI-90014, Oulu, Finland

    Jiehan Zhou, Ekaterina Gilman, Jukka Riekki, Mika Rautiainen & Mika Ylianttila

Authors
  1. Jiehan Zhou
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ekaterina Gilman
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jukka Riekki
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Mika Rautiainen
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Mika Ylianttila
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute for Informatics, University of Potsdam, August-Bebel-Str. 89, 14482, Potsdam, Germany

    Tiziana Margaria

  2. Technical University of Dortmund, Otto-Hahn-Str. 14, 44227, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zhou, J., Gilman, E., Riekki, J., Rautiainen, M., Ylianttila, M. (2010). Ontology-Driven Pervasive Service Composition for Everyday Life. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification, and Validation. ISoLA 2010. Lecture Notes in Computer Science, vol 6415. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16558-0_32

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-16558-0_32

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-16557-3

  • Online ISBN: 978-3-642-16558-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation