Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM

DOI10.1016/j.entcs.2009.06.034zbMath1347.68240OpenAlexW2086283825MaRDI QIDQ5179212

Samira Tasharofi, Marjan Sirjani

Publication date: 19 March 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.06.034

zbMATH Keywords

conformanceweb servicesorchestrationReochoreographyWS-CDLconstraint automata with state memory

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Internet topics (68M11)

Related Items (4)

Comparing three coordination models: Reo, ARC, and PBRD ⋮ ReLo: a Dynamic Logic to Reason About Reo Circuits ⋮ Symbolic execution of Reo circuits using constraint automata ⋮ Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets

Uses Software

• Reo

Cites Work

• Conversation protocols: a formalism for specification and verification of reactive electronic services
• Modeling component connectors in Reo by constraint automata
• Reo: a channel-based coordination model for component composition
• Recent Trends in Algebraic Development Techniques

This page was built for publication: Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM