Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions
type: Item
instance of: scholarly article
title: Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions
zbMATH Open document ID: 1259.68129
author: Natallia Kokash
author: Christian Krause
author: Erik de Vink
published in: Formal Aspects of Computing
publication date: 2013-03-22T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6148320
zbMATH Keywords: formal methods for service-oriented computing
zbMATH Keywords: model checking
zbMATH Keywords: coordination languages
cites work: TINA
cites work: Q4953845
cites work: A theory of timed automata
cites work: Reo: a channel-based coordination model for component composition
cites work: A Coordination Model for Interactive Components
cites work: Formal Verification for Components and Connectors
cites work: The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
cites work: Modeling component connectors in Reo by constraint automata
cites work: Connector colouring. I: Synchronisation and context dependency
cites work: Logic–Based Detection of Conflicts in Appel Policies
cites work: Q2989003
cites work: Verification of Context-Dependent Channel-Based Service Models
cites work: Q4738778
cites work: Analysis of Realizability Conditions for Web Service Choreographies
cites work: Q3992568
describes a project that uses: TINA
describes a project that uses: PRISM
describes a project that uses: CPN/Tools
describes a project that uses: Design/CPN
describes a project that uses: Reo
describes a project that uses: Woflan
describes a project that uses: mCRL2
MaRDI profile type: Publication
full work available at URL: s00165-011-0191-6
OpenAlex ID: W2134016554
DOI: 10.1007/S00165-011-0191-6
description: scientific article; zbMATH DE number 6148320