A model of context-dependent component connectors
From MaRDI portal
Publication:436387
DOI10.1016/J.SCICO.2011.01.006zbMATH Open1243.68147OpenAlexW2099948923MaRDI QIDQ436387FDOQ436387
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
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
Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
- Reo: a channel-based coordination model for component composition
- Title not available (Why is that?)
- Generative communication in Linda
- Title not available (Why is that?)
- A basic algebra of stateless connectors
- Title not available (Why is that?)
- Connector colouring. I: Synchronisation and context dependency
- Modeling component connectors in Reo by constraint automata
- Tiles for Reo
- Modular construction and partial order semantics of Petri nets
- Abstract behavior types: a foundation model for components and their composition
- A perspective on service orchestration
- Causal Semantics for the Algebra of Connectors
- Title not available (Why is that?)
- Title not available (Why is that?)
- A model of context-dependent component connectors
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Recasting Constraint Automata into Büchi Automata
- A Language for Task Orchestration and Its Semantic Properties
- A coinductive calculus of component connectors.
- Local variable scoping and Kleene algebra with tests
Cited In (11)
- Theoretical Aspects of Computing - ICTAC 2004
- Software connectors and their role in component deployment
- Title not available (Why is that?)
- 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)
Uses Software
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)
