A model of context-dependent component connectors

DOI10.1016/j.scico.2011.01.006zbMath1243.68147OpenAlexW2099948923MaRDI QIDQ436387

Alexandra Silva, Dave Clarke, 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)

Related Items (4)

A compositional model to reason about end-to-end QoS in stochastic Reo connectors ⋮ From symbolic constraint automata to Promela ⋮ A model of context-dependent component connectors ⋮ Soft constraint automata with memory

Uses Software

• MANIFOLD
• Reo
• PICCOLA
• Linda

Cites Work

• Modular construction and partial order semantics of Petri nets
• A model of context-dependent component connectors
• A basic algebra of stateless connectors
• Local variable scoping and Kleene algebra with tests
• Abstract behavior types: a foundation model for components and their composition
• Connector colouring. I: Synchronisation and context dependency
• A perspective on service orchestration
• Modeling component connectors in Reo by constraint automata
• Tiles for Reo
• Causal Semantics for the Algebra of Connectors
• Reo: a channel-based coordination model for component composition
• 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>
• Generative communication in Linda
• Formal Methods for Components and Objects
• Recasting Constraint Automata into Büchi Automata
• A Language for Task Orchestration and Its Semantic Properties
• Recent Trends in Algebraic Development Techniques
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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