Title :
Pi4SOA: A Policy Infrastructure for Verification and Control of Service Collaboration
Author :
Zhou, X. ; Tsai, W.T. ; Wei, X. ; Chen, Y. ; Xiao, B.
Author_Institution :
Arizona State Univ., Tempe, AZ
Abstract :
This paper proposes a pattern-based service collaboration architecture using services as building blocks in a service-oriented architecture (SOA). In this architecture, service registry is used to obtain the metadata of services and collaboration patterns. Thus, not only services, but also collaboration patterns can be reused. However, dynamic collaboration requires a measure to verify and validate such a dynamic process at the meta-control level. This paper presents a policy-based infrastructure to dynamically verify and control the collaboration process in SOA
Keywords :
Web services; formal verification; groupware; software architecture; Pi4SOA; pattern-based service collaboration architecture; policy infrastructure; service collaboration control; service collaboration verification; service registry; service-oriented architecture; Collaboration; Collaborative work; Component architectures; Computer integrated manufacturing; Contracts; Process control; Runtime; Service oriented architecture; Storage area networks; Vocabulary;
Conference_Titel :
e-Business Engineering, 2006. ICEBE '06. IEEE International Conference on
Conference_Location :
Shanghai
Print_ISBN :
0-7695-2645-4
DOI :
10.1109/ICEBE.2006.79