{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T12:08:59Z","timestamp":1648728539489},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T00:00:00Z","timestamp":1277251200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Ambient Intell Human Comput"],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1007\/s12652-010-0017-z","type":"journal-article","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T07:07:45Z","timestamp":1277190465000},"page":"147-161","source":"Crossref","is-referenced-by-count":1,"title":["Reliable and efficient service composition based on smart objects\u2019 state information"],"prefix":"10.1007","volume":"1","author":[{"given":"Yuhong","family":"Feng","sequence":"first","affiliation":[]},{"given":"Jiannong","family":"Cao","sequence":"additional","affiliation":[]},{"given":"Yan","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Weigang","family":"Wu","sequence":"additional","affiliation":[]},{"given":"Canfeng","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Jian","family":"Ma","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,6,23]]},"reference":[{"key":"17_CR2","unstructured":"Arnold K, Scheifler R, Waldo J, O\u2019Sullivan B, Wollrath A (1999) Jini specification. Addison-Wesley Longman Publishing Co., London"},{"issue":"4","key":"17_CR15","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1142\/S0218843005001201","volume":"14","author":"D Berardi","year":"2005","unstructured":"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\u2013376","journal-title":"Int J Cooper Inform Syst"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"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\u2013121","DOI":"10.1007\/11693017_10"},{"key":"17_CR4","unstructured":"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"},{"key":"17_CR34","unstructured":"Brock M, Goscinski A (2008) State Aware WSDL. In: Proceedings of the sixth Australasian workshop on Grid computing and e-research (AusGrid\u201908), pp 35\u201344"},{"key":"17_CR14","unstructured":"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"},{"issue":"3","key":"17_CR29","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1145\/3828.3830","volume":"32","author":"R Dechter","year":"1985","unstructured":"Dechter R, Pearl J (1985) Generalized best-first search strategies and the optimality of A*. J ACM 32(3):505\u2013536","journal-title":"J ACM"},{"issue":"6","key":"17_CR18","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1007\/s00165-008-0099-y","volume":"21","author":"A Dix","year":"2009","unstructured":"Dix A, Ghazali M, Gill S, Hare J, Ramduny-Ellis D (2009) Physigrams: modelling devices for natural interaction. Formal Aspects Comput 21(6):613\u2013641","journal-title":"Formal Aspects Comput"},{"key":"17_CR39","doi-asserted-by":"crossref","unstructured":"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\u201902), pp 279\u2013286","DOI":"10.1145\/570645.570680"},{"key":"17_CR11","unstructured":"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"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"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\u2013444","DOI":"10.1109\/EUC.2008.163"},{"key":"17_CR33","unstructured":"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"},{"key":"17_CR9","unstructured":"Gajos K, Fox H, Shrobe H (2002) End user empowerment in human centred pervasive computing. In: Proceedings of pervasive 2002, pp 134\u2013140"},{"issue":"2","key":"17_CR28","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1109\/TSSC.1968.300136","volume":"4","author":"PE Hart","year":"1968","unstructured":"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\u2013107","journal-title":"IEEE Trans Syst Sci Cybernet S (SSC)"},{"key":"17_CR1","unstructured":"IBM (2010) A smarter planet, On-Line, http:\/\/www.ibm.com\/ibm\/ideasfromibm\/us\/smartplanet\/index.shtml . Accessed 02 Feb 2010"},{"key":"17_CR23","unstructured":"Jiang S, Aagesen F (2003) XML-based dynamic service behaviour representation. In: Proceedings of Norsk informatikkkonferanse (NIK\u201903), pp 159\u2013168. http:\/\/www.nik.no\/2003\/Bidrag\/Jiang.pdf"},{"issue":"7","key":"17_CR27","doi-asserted-by":"crossref","first-page":"907","DOI":"10.1109\/TPDS.2007.1039","volume":"18","author":"S Kalasapur","year":"2007","unstructured":"Kalasapur S, Kumar M, Shirazi BA (2007) Dynamic service composition in pervasive computing. IEEE Trans Parallel Distrib Syst 18(7):907\u2013918","journal-title":"IEEE Trans Parallel Distrib Syst"},{"key":"17_CR35","doi-asserted-by":"crossref","unstructured":"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\u201904), pp 219\u2013228","DOI":"10.1109\/PERCOM.2004.1276860"},{"issue":"3\u20134","key":"17_CR30","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1147\/sj.393.0617","volume":"39","author":"H Lieberman","year":"2000","unstructured":"Lieberman H, Selker T (2000) Out of context: computer systems that adapt to, and learn from, context. IBM Syst J 39(3\u20134):617\u2013532","journal-title":"IBM Syst J"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Lorenzoli D, Mariani L, Pezz\u00e8 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\u201332","DOI":"10.1145\/1138912.1138919"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"Lorenzoli D, Mariani L, Pezz\u00e8 M (2008) Automatic generation of software behavioral models. In: Proceedings of the 30th international conference on software engineering (ICSE\u201908), pp 501\u2013510","DOI":"10.1145\/1368088.1368157"},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"M\u00e4enp\u00e4\u00e4 T, Tikanm\u00e4ki A, Riekki J, R\u00f6ning 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\u201904), pp 3449\u20133455","DOI":"10.1109\/ROBOT.2004.1308787"},{"issue":"4","key":"17_CR17","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1177\/0278364904042197","volume":"23","author":"A Martinoli","year":"2004","unstructured":"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\u2013436","journal-title":"Int J Robot Res"},{"key":"17_CR26","unstructured":"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"},{"key":"17_CR6","unstructured":"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"},{"key":"17_CR7","unstructured":"Microsoft (2010) Devices Profile for Web Services. http:\/\/specs.xmlsoap.org\/ws\/2005\/05\/devprof\/devicesprofile.pdf . Accessed 02 Feb 2010"},{"key":"17_CR40","doi-asserted-by":"crossref","unstructured":"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\u201338","DOI":"10.1109\/PERSER.2006.1652204"},{"key":"17_CR37","doi-asserted-by":"crossref","unstructured":"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\u201905), pp 317\u2013320","DOI":"10.1145\/1101908.1101959"},{"key":"17_CR13","unstructured":"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"},{"key":"17_CR31","unstructured":"O\u2019Sullivan 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"},{"key":"17_CR25","unstructured":"Resource description framework (RDF) (2010). http:\/\/www.w3.org\/RDF\/ . Accessed 02 Feb 2010"},{"key":"17_CR3","unstructured":"Salutation Consortium (2010) Salutation Architecture Specification (Part-1). http:\/\/systems.cs.colorado.edu\/grunwald\/MobileComputing\/Papers\/Salutation\/s21a1a21.pdf . Accessed 02 Feb 2010"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"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\u2013152","DOI":"10.1109\/AERO.1998.685789"},{"key":"17_CR32","doi-asserted-by":"crossref","unstructured":"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\u2013279","DOI":"10.1109\/ICDCSW.2005.124"},{"key":"17_CR5","unstructured":"UPnP Forum (2010) UPnP device architecture 1.0. http:\/\/www.upnp.org\/resources\/documents.asp . Accessed 02 Feb 2010"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"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\u201391","DOI":"10.1109\/ITI.2005.1491101"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"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\u2013118","DOI":"10.1145\/354880.354896"},{"key":"17_CR38","unstructured":"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\u201905), pp 397\u2013410"},{"key":"17_CR36","doi-asserted-by":"crossref","unstructured":"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\u2013735","DOI":"10.1007\/11833529_74"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Yannakakis M (2004) Testing, optimizaton, and games. In: Proceedings of the 31st international colloquium on automata, languages and programming (ICALP\u201904), pp 28\u201345","DOI":"10.1007\/978-3-540-27836-8_6"}],"container-title":["Journal of Ambient Intelligence and Humanized Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12652-010-0017-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s12652-010-0017-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12652-010-0017-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T13:37:17Z","timestamp":1559482637000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s12652-010-0017-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6,23]]},"references-count":40,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,9]]}},"alternative-id":["17"],"URL":"https:\/\/doi.org\/10.1007\/s12652-010-0017-z","relation":{},"ISSN":["1868-5137","1868-5145"],"issn-type":[{"value":"1868-5137","type":"print"},{"value":"1868-5145","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,6,23]]}}}