A calculus of mobile processes, I
Information and Computation
Process algebra and Markov chains
Lectures on formal methods and performance analysis
Performance Evaluation of Computer and Communication Systems, Joint Tutorial Papers of Performance '93 and Sigmetrics '93
Model-Checking Algorithms for Continuous-Time Markov Chains
IEEE Transactions on Software Engineering
A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science)
A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science)
Characterising Testing Preorders for Finite Probabilistic Processes
LICS '07 Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science
Model checking mobile stochastic logic
Theoretical Computer Science
Disciplining Orchestration and Conversation in Service-Oriented Computing
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
Structured communication-centred programming for web services
ESOP'07 Proceedings of the 16th European conference on Programming
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
The conversation calculus: a model of service-oriented computation
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Beta binders for biological interactions
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
SCC: a service centered calculus
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Choreography and orchestration conformance for system design
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Approximate model checking of stochastic COWS
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
A tool for checking probabilistic properties of COWS services
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
SoSL: a service-oriented stochastic logic
Rigorous software engineering for service-oriented systems
Formal modelling and verification of service-oriented systems in probabilistic event-b
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
A uniform definition of stochastic process calculi
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
Service Oriented Computing (SOC) is a design paradigm that has evolved from earlier paradigms including object-orientation and component-based software engineering. Important features of services are compositionality, context-independence, encapsulation and re-usability. To support the formal design and analysis of SOC applications recently a number of Service Oriented Calculi have been proposed. Most of them are based on process algebras enriched with primitives specific of service orientation such as operators for manipulating semi-structured data, mechanisms for describing safe client-service interactions, constructors for composing possibly unreliable services and techniques for services query and discovery. In this paper we show a versatile technique for the definition of Structural Operational Semantics of MarCaSPiS, a Markovian extension of one of such calculi, namely the Calculus of Sessions and Pipelines, CaSPiS. The semantics deals in an elegant way with a stochastic version of two-party synchronisation, typical of a service-oriented approach, and with the problem of transition multiplicity while preserving highly desirable mathematical properties such as associativity and commutativity of parallel composition. We also show how the proposed semantics can be naturally used for defining a bisimulation-based behavioural equivalence for MarCaSPiS terms that induces the same equalities as those obtained via Strong Markovian Equivalence.