• 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