Title :
Formal Specification and Verification of Data-Centric Service Composition
Author :
Saleh, Iman ; Kulczycki, Gregory ; Blake, M. Brian
Author_Institution :
Comput. Sci. Dept., Virginia Polytech. Inst. & State Univ., Falls Church, VA, USA
Abstract :
Service-oriented architecture (SOA) promotes a paradigm where ad-hoc applications are built by dynamically linking service-based software capabilities. Service providers follow specification standards to advertise their services´ capabilities and to enable loosely coupled integration between their services and other businesses over the Web. A major challenge in this domain is interpreting the data that must be marshaled between consumer and producer systems. We propose a framework to support formal modeling and contracts for data-centric Web services. We demonstrate how this framework can be used to verify correctness properties for composition of services.
Keywords :
Web services; formal specification; program verification; software architecture; ad-hoc application; data-centric Web services; data-centric service composition; formal modeling; formal specification; formal verification; service-based software capability; service-oriented architecture; Adaptation model; Cognition; Contracts; Data models; Formal specifications; Object oriented modeling; Web services; Formal Methods; Web Services;
Conference_Titel :
Web Services (ICWS), 2010 IEEE International Conference on
Conference_Location :
Miami, FL
Print_ISBN :
978-1-4244-8146-0
Electronic_ISBN :
978-0-7695-4128-0
DOI :
10.1109/ICWS.2010.80