Skip to main content
SpringerLink
Log in

Reliable and efficient service composition based on smart objects’ state information

  • Original Research
  • Published:
Journal of Ambient Intelligence and Humanized Computing Aims and scope Submit manuscript

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.

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

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6

Similar content being viewed by others

Notes

  1. 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.

  2. 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

    Article  Google Scholar 

  • 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

    Article  MATH  MathSciNet  Google Scholar 

  • 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

    Article  MATH  Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

Download references

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

  1. College of Computer Science and Software Engineering, Shenzhen University, Shenzhen, 518060, China

    Yuhong Feng

  2. National High Performance Computing Center at Shenzhen, Shenzhen, 518060, China

    Yuhong Feng

  3. Department of Computing, The Hong Kong Polytechnic University, Hung Hom, Kowloon, Hong Kong

    Jiannong Cao & Yan Sun

  4. Department of Computer Science, Sun Yat-sen University, Guangzhou, 510275, Guangdong, China

    Weigang Wu

  5. Nokia Research Center, Beijing, China

    Canfeng Chen & Jian Ma

Authors
  1. Yuhong Feng
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jiannong Cao
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yan Sun
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Weigang Wu
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Canfeng Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Jian Ma
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yuhong Feng.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s12652-010-0017-z

Keywords

Search

Navigation