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
The Beacon Calculus: A formal method for the flexible and concise modelling of biological systems
Sign Up to like & getrecommendations! Published in 2020 at "PLoS Computational Biology"
DOI: 10.1371/journal.pcbi.1007651
Abstract: Biological systems are made up of components that change their actions (and interactions) over time and coordinate with other components nearby. Together with a large state space, the complexity of this behaviour can make it… read more here.
Keywords: method flexible; flexible concise; biological systems; beacon calculus ... See more keywords