Skip to main content
SpringerLink
Log in

A dynamic service composition schema for pervasive computing

  • Published:
Journal of Intelligent Manufacturing Aims and scope Submit manuscript

Abstract

Pervasive computing, the new computing paradigm aiming at providing services anywhere at anytime, poses great challenges on dynamic service composition. Existing service composition methods can hardly meet the requirements of dynamism and performance for pervasive computing. This paper proposes a Petri net based service model to formally describe the function of services and employs a parameter based service description to represent both semantic and syntactic of services. And services are pre-aggregated in a two-layered graph according to the input and output parameters of the service description. Furthermore, we design a novel service composition scheme to achieve the user requirement through a tree search algorithm. The theoretical analysis and comprehensive simulation experiments show that both service model and composition scheme are correct and efficient.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Aalst W., Hee K.: bworkflow management: Models, methods, and systems. MIT Press, Cambridge (2002)

    Google Scholar 

  • Berardi, D., & Calvanese, D., et al. (2003). Automatic composition of E-services that export their behavior. In Proceedings of International Conference of Service Oriented Computering (ICSOC), pp. 43–58.

  • Berardi, D., Calvanese, D., Giacomo, D., Hull, R., & Mecella, M. (2005). Automatic composition of transition-based semantic web services with messaging. In Proceedings of the 31st International Conference on Very Large Data Bases, pp. 613–624. Trondheim, Norway.

  • Bultan, T., Fu, X., Hull, R., & Su, J. W. (2003). Conversation specification: A new approach to design and analysis of E-service composition. In Proceedings of the 12th International World Wide Web Conference (WWW2003), pp. 403–410. Budapest, Hungary.

  • Chakraborty, D., Yesha, Y., & Joshi, A. (2004). A distributed service composition protocol for pervasive environments. In Proceedings of Wireless Communications and Networking Conference (WCNC), pp. 2575–2580.

  • Extensible Markup Language (2008). 1.0, www.w3.org/TR/REC-xml/.

  • Fujii, K., & Suda, T. (2004). Dynamic Service Composition Using Semantic Information,” Proceedings. of 2nd International Conference on Service Oriented Computing (ICSOC), pp. 39–48.

  • Guttman E.: Service location protocol: Automatic service discovery of IP network services. IEEE Internet Computing 3, 71–80 (1999)

    Article  Google Scholar 

  • Gu, X., Nahrstedt, K., & Yu, B. (2004). SpiderNet: An integrated peer-to-peer service composition framework. In Proceedings of the 13th IEEE International Symposium on High performance Distributed Computing, pp. 110–119.

  • Hashemain, S. V., & Mavaddat, F. (2005). A graph-based approach to web services composition. In Proceedings of the 2005 IEEE/IPSJ International Symposium on Applications and the Internet (SAINT), pp. 183–189.

  • Hashemain, S. V., & Mavaddat, F. (2006). A graph-based framework for composition of stateless web service. In Proceedings of 4th European Conference on Web Services (ECOWS), pp. 75–86.

  • Hull, R. (2005). Towards a unified model for web services composition. In Proceedings of Advances in Computer Science—ASIAN2005, pp. 1–10. Kunming, China.

  • Hull R., Su J. W.: Tools for composite web services: A short overview. SIGMOD Record 34(2), 86–95 (2005)

    Article  Google Scholar 

  • Kalasapur, S., Kumar, M., & Shirazi, B. A. (2007, July). Dynamic service composition in pervasive computing. In Proceedings of the IEEE Transactions on Parallel and Distributed Systems (TPDS), pp. 907–918.

  • Kozen D., Tiuryn J.: Logics of programs. Handbook of theoretical computer science—formal models and semantics. ESP, Amsterdam (1990)

    Google Scholar 

  • Martin, D. (2003, November). OWL-S: Semantic Markup for Web Services. http://www.daml.org/services/owls/1.0/owl-s.html.

  • Parrow, J. (2001). An introduction to the pi-calculus. Handbook of Process Algebra, pp. 479–543.

  • Raman B., Katz R. H.: An architecture for highly available wide-area service composition. Computer Communications 26(15), 1727–1740 (2003)

    Article  Google Scholar 

  • Raman, B., & Katz, R. (2003). Load balancing and stability issues inalgorithms for service composition. In Proceedings of the 22nd Annual Joint Conference of the IEEE Computer and Communications Societies (INFOCOM03), pp. 1477–1487. USA.

  • Russell S., Norvig P.: Artificial intelligence: A modern approach. Prentice Hall, Englewood Cliffs (1995)

    Google Scholar 

  • Waldo J.: The jini architecture for network-centric computing. Communications of the ACM 42(7), 76–82 (1999)

    Article  Google Scholar 

  • WWW Consortium, Web Services Description Language (WSDL) Version 2.0, W3C Working Draft, (2006, January) http://www.w3.org/TR/wsdl20/.

  • Zeng, L., Benatallah, B., Dumas, M., Kalagnanam, J., & Sheng, Q. (2003). Quality driven web services composition. In Proceedings of the 12th International World Wide Web Conference (WWW2003), pp. 411–421. Budapest, Hungary.

Download references

Author information

Authors and Affiliations

  1. State Key Laboratory for Novel Software Technology, Nanjing University, 210093, Nanjing, People’s Republic of China

    Zhuzhong Qian, Zhenghui Wang, Tianyin Xu & Sanglu Lu

Authors
  1. Zhuzhong Qian
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhenghui Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Tianyin Xu
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Sanglu Lu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Zhuzhong Qian.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Qian, Z., Wang, Z., Xu, T. et al. A dynamic service composition schema for pervasive computing. J Intell Manuf 23, 1271–1280 (2012). https://doi.org/10.1007/s10845-010-0410-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10845-010-0410-7

Keywords

Search

Navigation