Modeling and verifying Web service Broker based architecture using CCS
Krishna Giri, Dharmendra Kumar Yadav · IEEE-International Conference On Advances In Engineering, Science And Management · 2012
Modeling and verification of Web services composition have been presented in this paper. In modeling we have used Calculus of Communicating Systems(CCS) for implementation and modal μ-calculus for property specification. Models have been verified using Concurrency Workbench of the New-Century(CWB-NC). CCS includes primitives for describing parallel composition, choice between actions and scope restriction.