A model of context-dependent component connectors

DOI10.1016/J.SCICO.2011.01.006MaRDI QIDQ436387zbMATH OpenOpenAlexFDO

Authors Dave Clarke, Alexandra Silva, Marcello M. Bonsangue

Publication date 20 July 2012

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2011.01.006

zbMATH Keywords

component connectorcontext dependencycoordinationReo

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45)

Recommendations

• A specification language for Reo connectors
• Intentional automata: a context-dependent model for component connectors (extended abstract)
• Reo: a channel-based coordination model for component composition
• Connector colouring. I: Synchronisation and context dependency
• A generic approach to connector architectures. I: The general framework

Cites work

• A basic algebra of stateless connectors
• A coinductive calculus of component connectors.
• A Language for Task Orchestration and Its Semantic Properties
• A model of context-dependent component connectors
• A perspective on service orchestration
• Abstract behavior types: a foundation model for components and their composition
• Causal Semantics for the Algebra of Connectors
• Connector colouring. I: Synchronisation and context dependency
• Deconstructing <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">R</mml:mi><mml:mi mathvariant="sans-serif">eo</mml:mi></mml:math>
• Formal Methods for Components and Objects
• Generative communication in Linda
• scientific article; zbMATH DE number 1304363 (Why is no real title available?)
• scientific article; zbMATH DE number 977452 (Why is no real title available?)
• scientific article; zbMATH DE number 1955918 (Why is no real title available?)
• scientific article; zbMATH DE number 1836352 (Why is no real title available?)
• scientific article; zbMATH DE number 2090726 (Why is no real title available?)
• scientific article; zbMATH DE number 826300 (Why is no real title available?)
• scientific article; zbMATH DE number 2208070 (Why is no real title available?)
• Local variable scoping and Kleene algebra with tests
• Modeling component connectors in Reo by constraint automata
• Modular construction and partial order semantics of Petri nets
• Recasting Constraint Automata into Büchi Automata
• Reo: a channel-based coordination model for component composition
• Tiles for Reo

Cited in

(11)

• A compositional model to reason about end-to-end QoS in stochastic Reo connectors
• Abstract behavior types: a foundation model for components and their composition
• Modeling role-based systems with exogenous coordination
• From symbolic constraint automata to Promela
• Software connectors and their role in component deployment
• Intentional automata: a context-dependent model for component connectors (extended abstract)
• Connectors as designs: modeling, refinement and test case generation
• A model of context-dependent component connectors
• scientific article; zbMATH DE number 1441747 (Why is no real title available?)
• Theoretical Aspects of Computing - ICTAC 2004
• Soft constraint automata with memory

Describes a project that uses

Uses Software

• Linda
• MANIFOLD
• Reo
• PICCOLA

This page was built for publication: A model of context-dependent component connectors

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