Using π-calculus for Formal Modeling and Verification of WS-CDL Choreographies
Sign Up to like & getrecommendations! Published in 2017 at "IEEE Transactions on Services Computing"
DOI: 10.1109/tsc.2015.2449850
Abstract: Service-Oriented applications are realized by composing and aggregating existing web services. Orchestration and Choreography are two interaction models for building SOA applications and several standards exist to capture and describe such interactions. The Web Service… read more here.
Keywords: choreographies using; calculus formal; verification; formal modeling ... See more keywords