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

coordinationReocomponent connectorcontext dependency

Mathematics Subject Classification ID

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

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

• 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?)
• A Language for Task Orchestration and Its Semantic Properties
• A basic algebra of stateless connectors
• A coinductive calculus of component connectors.
• 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
• 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)

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

Describes a project that uses

Uses Software

• Linda
• PICCOLA
• Reo
• MANIFOLD

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)