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

fYear

2011

fDate

4-9 July 2011

Firstpage

710

Lastpage

711

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICWS.2011.84

Filename

6009464