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

DOI10.1016/j.entcs.2009.06.034zbMath1347.68240MaRDI 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

conformance; web services; orchestration; Reo; choreography; WS-CDL; constraint automata with state memory

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

68M11: Internet topics

Related Items

Symbolic execution of Reo circuits using constraint automata, Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets, Comparing three coordination models: Reo, ARC, and PBRD

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