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.
Similar content being viewed by others
References
Aalst W., Hee K.: bworkflow management: Models, methods, and systems. MIT Press, Cambridge (2002)
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)
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)
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)
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)
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)
Waldo J.: The jini architecture for network-centric computing. Communications of the ACM 42(7), 76–82 (1999)
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.
Author information
Authors and Affiliations
Corresponding author
Rights 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
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10845-010-0410-7