Title :
Modeling and verifying Web service Broker based architecture using CCS
Author :
Giri, Krishna ; Yadav, Dharmendra K.
Author_Institution :
Dept. of Comput. Sci. & Eng., Motilal Nehru Nat. Inst. of Technol., Allahabad, India
Abstract :
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.
Keywords :
Web services; calculus of communicating systems; formal specification; pi calculus; program verification; service-oriented architecture; μ-calculus; CCS; CWB-NC; Web service Broker based architecture verification; Web service composition modeling; Web service composition verification; calculus of communicating systems; concurrency workbench of the new-century; parallel composition; property specification; Computational modeling; Computer architecture; Protocols; Service oriented architecture; Simple object access protocol; XML;
Conference_Titel :
Advances in Engineering, Science and Management (ICAESM), 2012 International Conference on
Conference_Location :
Nagapattinam, Tamil Nadu
Print_ISBN :
978-1-4673-0213-5
