Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
An overview of Manifold and its implementation
Concurrency: Practice and Experience
Non-monotonic concurrent constraint programming
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Piccola - A Small Compositional Language (Invited Talk)
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
The Join Calculus: A Language for Distributed Mobile Programming
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Hierarchical Concurrent Finite State Machines in Ptolemy
CSD '98 Proceedings of the 1998 International Conference on Application of Concurrency to System Design
The Ptolemy II Framework for Visual Languages
HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Abstract behavior types: a foundation model for components and their composition
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Modeling component connectors in Reo by constraint automata
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Connector colouring I: Synchronisation and context dependency
Science of Computer Programming
Towards a Coordination Model for Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Recasting Constraint Automata into Büchi Automata
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Modeling Component Connectors: Synchronisation and Context-Dependency
SEFM '08 Proceedings of the 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods
Building Mashups for the Enterprise with SABRE
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
A perspective on service orchestration
Science of Computer Programming
From Coordination to Stochastic Models of QoS
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Recent Trends in Algebraic Development Techniques
Reconfiguring Distributed Reo Connectors
Recent Trends in Algebraic Development Techniques
Formal Semantics and Analysis of Component Connectors in Reo
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling and analysis of Reo connectors using alloy
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
From Coordination to Stochastic Models of QoS
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Modeling dynamic reconfigurations in Reo using high-level replacement systems
Science of Computer Programming
Channel-based coordination via constraint satisfaction
Science of Computer Programming
Büchi automata for modeling component connectors
Software and Systems Modeling (SoSyM)
Encoding context-sensitivity in Reo into non-context-sensitive semantic models
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
The microcosm principle and compositionality of GSOS-based component calculi
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Formal modeling
Compositional construction of real-time dataflow networks
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
SAT-based verification for timed component connectors
Science of Computer Programming
Intentional automata: a context-dependent model for component connectors
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
A specification language for reo connectors
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Using coordinated actors to model families of distributed systems
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Types for coordinating secure behavioural variations
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
On the reconfiguration of software connectors
Proceedings of the 28th Annual ACM Symposium on Applied Computing
| Hi-index | 0.00 |
Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, such connectors can themselves be composed, resulting in an expressive calculus of connectors whose semantics encompasses complex combinations of synchronisation, mutual exclusion, non-deterministic choice and state-dependent behaviour. A more expressive notion of connector includes also context-dependent behaviour, namely, whenever the choices the connector can take change non-monotonically as the context, given by the pending activity on its ports, changes. Context dependency can express notions of priority and inhibition. Capturing context-dependent behaviour in formal models is non-trivial, as it is unclear how to propagate context information through composition. In this paper we present an intuitive automata-based formal model of context-dependent connectors, and argue that it is superior to previous attempts at such a model for the coordination language Reo.