Skip to search formSkip to main contentSkip to account menu

Constraint automaton

Known as: Constraint automata 
In computer science, Constraint automata are a formalism to describe the behavior and possible data flow in coordination models. It was introduced by… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Computer scienceModel checkingProbabilistic automaton

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Orchestrating web services using Reo: from circuits and behaviors to automatically generated code
We present a compositional construction of web services, using Reo and constraint automata as the main “glue” ingredients. Reo is… 
2013
2013
Partially-Distributed Coordination with Reo
Coordination languages, as Reo, have emerged for the specification and implementation of interaction protocols among concurrent… 
2012
2012
Goal-directed planning and plan recognition for the sustainable control of homes
The goal of this thesis is to design an autonomous control system for the sustainable control of buildings. The control system… 
2009
2009
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM
Highly Cited
2009
Highly Cited
2009
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on… 
2008
2008
Synthesis of Connectors from Scenario-Based Interaction Specifications
The idea of synthesizing state-based models from scenario-based interaction specifications has received much attention in recent… 
2008
2008
Semi-Automatic Generation of CHR Solvers from Global Constraint Automata
Constraint programming often involves global constraints, which have been cataloged in [1] and for which various custom filtering… 
2005
2005
Verification of Qualitative Constraints
We introduce an LTL-like logic with atomic formulae built over a constraint language interpreting variables in MediaObjects… 
2004
2004
Constraint Database Solutions to the Genome Map Assembly Problem
Long DNA sequences have to be cut using restriction enzymes into small fragments whose lengths and/or nucleotide sequences can be… 
Highly Cited
2001
Highly Cited
2001
Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior
Deductive mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)