Title :
A Formal Model of Service Computing and Its Applications on Service Discovery
Author :
Zhang, Yingzhou ; Fu, Wei ; Chen, Lei ; Xu, Bihuan
Author_Institution :
Coll. of Comput., Nanjing Univ. of Posts & Telecommun., Nanjing, China
Abstract :
With the rapid development of services and software, how to share, integrate and discover them properly in open and dynamic network environment is one of the most important challenges for software technology. With monad techniques, we present a novel formal semantic model for service oriented computing in a black-box observation way. The monad-based model can help us formally describe and further study on software components and services through monads´ properties such as abstraction, reflection and composability. This model relatively improves service reuse and discovery, and it significantly facilitates web service composition and enables integration of legacy applications.
Keywords :
Web services; formal specification; object-oriented programming; service-oriented architecture; Web service composition; black-box observation; dynamic network environment; formal semantic model; monad-based model; open network environment; service computing; service discovery; service oriented computing; service reuse; software components; Computational modeling; Educational institutions; Meteorology; Publishing; Software; Telecommunications; Web services; coalgebraic methods; monads; program slicing; service computing; web services;
Conference_Titel :
Web Services (ICWS), 2011 IEEE International Conference on
Conference_Location :
Washington, DC
Print_ISBN :
978-1-4577-0842-8
Electronic_ISBN :
978-0-7695-4463-2
DOI :
10.1109/ICWS.2011.84
