Modeling and analyzing the reliability and cost of service composition in the IoT: A probabilistic approach

Proceedings - 2012 IEEE 19th International Conference on Web Services, ICWS 2012

Volumn , Issue , 2012, Pages 584-591

  Li, Lixing ^a   Jin, Zhi ^b   Li, Ge ^b   Zheng, Liwei ^c   Wei, Qiang ^a  

^a INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

^b Peking University   (China)

^c BEIJING INFORMATION SCIENCE AND TECHNOLOGY UNIVERSITY   (China)

Author keywords

Internet of Things; modeling; probabilistic model checking; Service composition; verifying

Indexed keywords

COMMUNICATION COST; COST OF SERVICE; COST STRUCTURE; DIFFERENT SERVICES; FUNCTIONAL PARTS; INTERNET OF THINGS (IOT); MARKOV DECISION PROCESSES; MODELING AND ANALYSIS; PROBABILISTIC APPROACHES; PROBABILISTIC EXTENSION; PROBABILISTIC MODEL CHECKING; PROBABILISTIC MODELS; QUALITY PROPERTIES; RESOURCE CONSTRAINT; SERVICE COMPOSITION MODEL; SERVICE COMPOSITIONS; SERVICE OPERATIONS; SERVICE-ORIENTED COMPUTING; VERIFYING;

COSTS; ENERGY UTILIZATION; INTERNET; MARKOV PROCESSES; MODEL CHECKING; MODELS; RELIABILITY; WEB SERVICES; WEBSITES;

QUALITY OF SERVICE;

EID: 84866376316     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2012.25     Document Type: Conference Paper

References (19)

1. S. Sarma, D. Brock, K. Ashton. The Networked Physical World. Technical Report MIT-AUTOID-WH-001, 1999.
2. D. Giusto, A. Iear, G. Morabito, L. Atzori, The Internet of Things, Springer, ISBN: 978-1-4419-1673-0, 2010.
3. M. Papazoglou, P. Traverso, D. Dustdar, F. Leymann. Service-Oriented computing: state of the art and research challenges. IEEE Computer, 40(11), pp. 38-45, 2007.
4. D. Tidwell. Web services: the Web's next revolution. IBM Web Service Tutorial, 2000.
5. S. de Deugd, R. Carroll, K. Kelly, B. Millett, J. Ricker. SODA: service oriented device architecture. IEEE Pervasive Computing, 5(3): 94-96, 2006.
6. L. de Souza, P. Spiess, D. Guinard, M. Kohler, S. Karnouskos, D. Savio. SOCRADES: a web service based shop floor integration infrastructure. The Internet of Things, LNCS, 50-67, Springer, 2008.
7. P. Spiess, S. Karnouskos, D. Guinard, D. Savio, O. Baecker, L. Souza, V. Trifa. SOA-based integration of the Internet of Things in enterprise services. ICWS'09, 968-975, 2009.
8. D. Guinard, V. Trifa, S. Karnouskos, P. Spiess, D. Savio. Integracting with the SOA-based Internet of Things: Discovery, Query, Selection, and On-Demand provisioning of Web services. Transaction on service computing, 3(3): 223-235, 2010.
9. E. Canete, J. Chen, M. Diaz, L. Llopis, B. Rubio. A service-oriented approach to facilitate WSAN application development. Ad Hoc networks, 9: 430-452, 2011.
10. Devices Profile for Web Services. http://docs.oasis-open.org/wsdd/ns/ dpws/2009/01.
11. R. Fielding. Architecture styles and the design of network-based software architectures. Doctoral dissertation, University of California, Irvine, 2000.
12. S. Weerawarana. Business process with BPEL4WS: understanding BPEL4WS. http://www-106.ibm.com/, 2002.
13. M. Beek, A. Bucchiarone, S. Gnesi. Formal methods for service composition. Annals of mathematics computing&teleinformatics, 1(5): 1-10, 2007.
14. H. Hansson, B. Jonsson. A logic for reasoning about time and reliability. Formal Aspects of Computing, 6(5), 512-535, 1994.
15. M. Kwiatkowska, G. Norman, D. Parker. PRISM 4.0: Verification of Probabilistic Real-time Systems. In Proc. 23rd International Conference on Computer Aided Verification (CAV'11), LNCS, 6806: 585-591, Springer, 2011.
16. V. Forejt, M. Kwiatkowska, G. Norman, D. Parker. Automated verfication techniques for probabilistic systems. Formal methods for Eternal Networked Software Systems, LNCS, 6659: 53-113, Springer, 2011.
17. S. Hwang, E. Lim, C. Lee, C. Chen. Dynamic web service selection for reliable web service composition. IEEE Trans. on Service Computing, 1(2): 104-116, 2008.
18. A. Klein, F. Ishikawa, S. Honiden. Efficient QoS-aware service composition with a probabilistic service selection policy. ICSOC 2010, LNCS 6470: 182-196, 2010.
19. J. Wang. Exploiting mobility prediction for dependable service composition in wireless mobile Ad Hoc networks. IEEE Trans. On Service Computing, 4(1): 44-55, 2011.