Abstract
Service composition is a mechanism to combine two or more services to form a composite service for delivering the users’ desirable functionalities. Existing service composition system in pervasive computing does not capture state information of the smart objects (SOs). Based on the study of relationships of SOs’ states and services, we identify unqualified composite services generated by existing service composition systems, which are either inefficiently executed or fail to complete their execution. This handicaps the applications of pervasive computing because its applications like health care normally need more reliable and timing services. In this paper, we first formally model SOs’ states and their transitions using finite state machines and propose extending existing service description technologies using the SOs’state information. The obtained information is then used in designing an algorithm to compose SOs’ services, which avoids generating the identified unqualified composite services. The proof of the efficiency of the composite services obtained by our proposed algorithms is elaborated. Finally, a performance study was conducted to evaluate our algorithm against the one without considering SO state information. Our experimental results show that the composite services generated using our algorithm can execute faster and more reliably.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Notes
There can be more interesting research issues about how to automatically obtain an EFSM for an atomic resource, however, it is not the focus of this paper.
Please note that multiple concrete services may be enacted at the same state of an SO simultaneously.
References
Arnold K, Scheifler R, Waldo J, O’Sullivan B, Wollrath A (1999) Jini specification. Addison-Wesley Longman Publishing Co., London
Berardi D, Calvanese D, Giacomo GD, Lenzerini M, Mecella M (2005) Automatic service composition based on behavioral descriptions. Int J Cooper Inform Syst 14(4):333–376
Berg T, Jonsson B, Raffelt H (2006) Regular inference for state machines with parameters. In: Proceedings of the international conference on fundamental approaches to software engineering (FASE), vol LNCS/3922, pp 107–121
Booth D, Haas H, McCabe F, Newcomer E, Champion M, Ferris C, Orchard D (2009) Web services architecture. http://www.w3.org/2002/ws/. Accessed 18 March 2010
Brock M, Goscinski A (2008) State Aware WSDL. In: Proceedings of the sixth Australasian workshop on Grid computing and e-research (AusGrid’08), pp 35–44
104th Congress 2d Session House of Representatives Repr. 104-578 part 1, intelligence authorization act for fiscal year 1997. http://www.fas.org/irp/congress/1996_rpt/hpsci97c.htm. Accessed 02 Feb 2010
Dechter R, Pearl J (1985) Generalized best-first search strategies and the optimality of A*. J ACM 32(3):505–536
Dix A, Ghazali M, Gill S, Hare J, Ramduny-Ellis D (2009) Physigrams: modelling devices for natural interaction. Formal Aspects Comput 21(6):613–641
Edwards W, Newman M, Sedivy J, Smith T, Izadi S (2002) Challenge: recombinant computing and the speakeasy approach. In: Proceedings of the 8th annual international conference on Mobile computing and networking (MobiCom’02), pp 279–286
Energy Star Qualified Imaging Equipment Revised Terminology and Definitions (2010). http://www.energystar.gov/ia/partners/prod_development/revisions/downloads/img_equip/DefinitionsandTerminology16Mar05.pdf. Accessed 02 Feb 2010
Feng Y, Cao J, Lau IC, Liu X (2008) A self-configuring personal agent platform for pervasive computing. In: Proceedings of the 2008 IEEE/IFIP international conference on embedded and ubiquitous computing (EUC 2008), vol 1, pp 438–444
Foster I, Frey J, Graham S, Tuecke S, Czajkowski K, Ferguson D, Leymann F, Nally M, Sedukhin I, Snelling D, Storey T, Vambenepe W, Weerawarana S (2010) Modeling stateful resources with Web Services. http://www.ibm.com/developerworks/library/ws-resource/ws-modelingresources.pdf. Accessed 02 Feb 2010
Gajos K, Fox H, Shrobe H (2002) End user empowerment in human centred pervasive computing. In: Proceedings of pervasive 2002, pp 134–140
Hart PE, Nilsson NJ, Raphael B (1968) A formal basis for the heuristic determination of minimum cost paths. IEEE Trans Syst Sci Cybernet S (SSC) 4(2):100–107
IBM (2010) A smarter planet, On-Line, http://www.ibm.com/ibm/ideasfromibm/us/smartplanet/index.shtml. Accessed 02 Feb 2010
Jiang S, Aagesen F (2003) XML-based dynamic service behaviour representation. In: Proceedings of Norsk informatikkkonferanse (NIK’03), pp 159–168. http://www.nik.no/2003/Bidrag/Jiang.pdf
Kalasapur S, Kumar M, Shirazi BA (2007) Dynamic service composition in pervasive computing. IEEE Trans Parallel Distrib Syst 18(7):907–918
Lee G, Faratin P, Bauer S, Wroclawski J (2004) A user-guided cognitive agent for network service selection in pervasive computing environments. In: Proceedings of the 2nd IEEE annual conference on pervasive computing and communication (PerCom’04), pp 219–228
Lieberman H, Selker T (2000) Out of context: computer systems that adapt to, and learn from, context. IBM Syst J 39(3–4):617–532
Lorenzoli D, Mariani L, Pezzè M (2006) Inferring state-based behavior models. In: Proceedings of the international workshop on dynamic analysis (WODA) co-located with the 28th international conference on software engineering (ICSE), pp 25–32
Lorenzoli D, Mariani L, Pezzè M (2008) Automatic generation of software behavioral models. In: Proceedings of the 30th international conference on software engineering (ICSE’08), pp 501–510
Mäenpää T, Tikanmäki A, Riekki J, Röning J (2004) A distributed architecture for executing complex tasks with multiple robots. In: Proceedings of the 2004 IEEE international conference on robotics and automation (ICRA’04), pp 3449–3455
Martinoli A, Easton K, Agassounon W (2004) Modeling of swarm robotic systems: a case study in collaborative distributed manipulation. Int J Robot Res 23(4):415–436
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 (2010) OWL-S: semantic Markup for Web Services. http://www.w3.org/Submission/OWL-S/. Accessed 02 Feb 2010
Michael Beam (2010) Incorporating rendezvous into your cocoa applications. http://www.macdevcenter.com/pub/a/mac/2002/11/08/cocoa.html. Accessed 19 June 2010
Microsoft (2010) Devices Profile for Web Services. http://specs.xmlsoap.org/ws/2005/05/devprof/devicesprofile.pdf. Accessed 02 Feb 2010
Mokhtar S, Georgantas N, Issarny V (2006) COCOA: conversationbased service composition for pervasive computing environments. In: Proceedings of ACS/IEEE international conference on Pervasive Services, pp 29–38
Mokhtar SB, Liu J, Georgantas N, Issarny V (2005) QoS-aware dynamic service composition in ambient intelligence environments. In: Proceedings of the 20th IEEE/ACM international conference on automated software engineering (ASE’05), pp 317–320
Online User Manual and Guide for Smeg FAB28 (2010). http://www.fixya.com/support/p32915-smeg_fab28/manual-18005/page-9. Accessed 02 Feb 2010
O’Sullivan J, Edmond D, ter Hofstede A (2010) Service description: a survey of the general nature of services. Queensland University of Technology, Brisbane, Technical Report FIT-TR-2003-02. http://www.service-description.com/papers/tr-dapd-osullivan.pdf. Accessed 02 Feb 2010
Resource description framework (RDF) (2010). http://www.w3.org/RDF/. Accessed 02 Feb 2010
Salutation Consortium (2010) Salutation Architecture Specification (Part-1). http://systems.cs.colorado.edu/grunwald/MobileComputing/Papers/Salutation/s21a1a21.pdf. Accessed 02 Feb 2010
Sherwood R, Govindjee A, Yan D, Rabideau G, Chien S, Fukunaga A (1998) Using ASPEN to automate EO-1 activity planning. In: Proceedings of the IEEE aerospace conference, vol 3, pp 145–152
Thompson M, Midkiff S (2005) Service description for pervasive service discovery. In: Proceedings of the 25th IEEE international conference on distributed computing systems workshops, pp 273–279
UPnP Forum (2010) UPnP device architecture 1.0. http://www.upnp.org/resources/documents.asp. Accessed 02 Feb 2010
Walker D, Rana O, Huang Y, Huang L (2005) Workflow optimisation for e-Science applications. In: Proceedings of the 27th international conference on information technology interfaces (ITI). Dubrovnik, Croatia, June, pp 86–91
Wang S, Shin K (2000) An architecture for embedded software integration using reusable components. In: Proceedings of the 2000 international conference on compilers, architecture, and synthesis for embedded systems, pp 110–118
Xiao J, Boutaba R (2005) Qos-aware service composition in large scale multi-domain networks. In: Proceedings of the IEEE/IFIP symposium on integrated network and system management (IM’05), pp 397–410
Yang Y, Mahon F, Williams H, Pfeifer T (2006) Context-aware dynamic personalised service re-composition in a pervasive service environment. In: Proceedings of ubiquitous intelligence and computing, LNCS vol 4159, pp 724–735
Yannakakis M (2004) Testing, optimizaton, and games. In: Proceedings of the 31st international colloquium on automata, languages and programming (ICALP’04), pp 28–45
Acknowledgments
The reported work was supported in part by HK RGC under the grant A Research Centre for Ubiquitous Comp(E-RD34) and Nokia Research Center (Beijing) under the grant Ubiquitous Searching and Browsing Framework (H-ZG19). The authors thank Prof. Joshua Huang for contributing to the improvement of paper’s presentation.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Feng, Y., Cao, J., Sun, Y. et al. Reliable and efficient service composition based on smart objects’ state information. J Ambient Intell Human Comput 1, 147–161 (2010). https://doi.org/10.1007/s12652-010-0017-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12652-010-0017-z