Modeling Component Connectors in Reo by Constraint Automata | Zendy

Farhad Arbab | Zendy; Christel Baier | Zendy; Jan Rutten | Zendy; Marjan Sirjani | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Modeling Component Connectors in Reo by Constraint Automata

Author(s) -

Farhad Arbab,

Christel Baier,

Jan Rutten,

Marjan Sirjani

Publication year - 2004

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.04.028

Subject(s) - computer science , component (thermodynamics) , automaton , constraint (computer aided design) , cable gland , equivalence (formal languages) , programming language , theoretical computer science , semantic data model , model checking , mathematics , database , discrete mathematics , telecommunications , physics , geometry , thermodynamics

Reo is an exogenous coordination language for compositional construction of component connectors based on a calculus of channels. Building automated tools to address such concerns as equivalence or containment of the behavior of two given connectors, verification of the behavior of a connector, etc. requires an operational semantic model suitable for model checking. In this paper we introduce constraint automata and propose them as a semantic model for Reo. © 2004 Elsevier B.V. All rights reserved

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research