DocumentCode
562728
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
fYear
2012
fDate
30-31 March 2012
Firstpage
889
Lastpage
894
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;
fLanguage
English
Publisher
ieee
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
Type
conf
Filename
6215959
Link To Document