Verification of context-dependent channel-based service models

DOI10.1007/978-3-642-17071-3_2MaRDI QIDQ3066118zbMATH OpenOpenAlexFDO

Authors Natallia Kokash, Christian Krause, Erik de Vink

Publication date 8 January 2011

Published in Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-17071-3_2

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions
• A perspective on service orchestration
• Modeling dynamic reconfigurations in Reo using high-level replacement systems
• Reo: a channel-based coordination model for component composition
• The Conversation Calculus: A Model of Service-Oriented Computation

Cites work

• Analysis of distributed systems with mCRL2
• Automata based model checking for Reo connectors
• Connector colouring. I: Synchronisation and context dependency
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 2087806 (Why is no real title available?)
• Modeling component connectors in Reo by constraint automata
• Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra.
• Reo: a channel-based coordination model for component composition
• SAT-based verification for timed component connectors

Cited in

(4)

• Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions
• Type theory based semantic verification for service composition in cloud computing environments
• A perspective on service orchestration
• Symbolic execution of Reo circuits using constraint automata

Describes a project that uses

Uses Software

• PRISM
• mCRL2
• CADP
• Reo

This page was built for publication: Verification of context-dependent channel-based service models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3066118)