DocumentCode
2919147
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
fYear
2006
fDate
Oct. 2006
Firstpage
307
Lastpage
314
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;
fLanguage
English
Publisher
ieee
Conference_Titel
e-Business Engineering, 2006. ICEBE '06. IEEE International Conference on
Conference_Location
Shanghai
Print_ISBN
0-7695-2645-4
Type
conf
DOI
10.1109/ICEBE.2006.79
Filename
4031667
Link To Document