Communicating sequential processes
Communicating sequential processes
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Process algebra
Elements of interaction: Turing award lecture
Communications of the ACM
Proof, language, and interaction
Distributed constraint satisfaction: foundations of cooperation in multi-agent systems
Distributed constraint satisfaction: foundations of cooperation in multi-agent systems
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Introduction to Process Algebra
Introduction to Process Algebra
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
Coordination as Comstrainted Interaction (Extended Abstract)
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Coordination through Channel Composition
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Behavioural differential equations: a coinductive calculus of streams, automata, and power series
Theoretical Computer Science
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
A coinductive calculus of streams
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)
Principles of Constraint Programming
Principles of Constraint Programming
Connector colouring I: Synchronisation and context dependency
Science of Computer Programming
Symbolic Model Checking for Channel-based Component Connectors
Electronic Notes in Theoretical Computer Science (ENTCS)
Coordination Models Orc and Reo Compared
Electronic Notes in Theoretical Computer Science (ENTCS)
A Basic Logic for Reasoning about Connector Reconfiguration
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Checking Equivalence for Reo Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Using Reo for Service Coordination
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
ReoService: Coordination Modeling Tool
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Modeling Component Connectors: Synchronisation and Context-Dependency
SEFM '08 Proceedings of the 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods
Synthesis of Connectors from Scenario-Based Interaction Specifications
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Coordination: Reo, Nets, and Logic
Formal Methods for Components and Objects
Reo Connectors as Coordination Artifacts in 2APL Systems
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Applying Reo to service coordination in long-running business transactions
Proceedings of the 2009 ACM symposium on Applied Computing
Synthesis of Reo Circuits from Scenario-based Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Automata for Context-Dependent Connectors
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
A Uniform Framework for Modeling and Verifying Components and Connectors
COORDINATION '09 Proceedings of the 11th 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
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Reo2MC: a tool chain for performance analysis of coordination models
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Fault-Based Test Case Generation for Component Connectors
TASE '09 Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
Formal Methods for Components and Objects
Formal Verification for Components and Connectors
Formal Methods for Components and Objects
Recent Trends in Algebraic Development Techniques
Reconfiguring Distributed Reo Connectors
Recent Trends in Algebraic Development Techniques
SAT-based Verification for Timed Component Connectors
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Semantics and Analysis of Component Connectors in Reo
Electronic Notes in Theoretical Computer Science (ENTCS)
Component connectors with QoS guarantees
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
On resource-sensitive timed component connectors
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Data-aware design and verification of service compositions with Reo and mCRL2
Proceedings of the 2010 ACM Symposium on Applied Computing
Failure-based equivalence of constraint automata
International Journal of Computer Mathematics
Electronic Notes in Theoretical Computer Science (ENTCS)
Comparing three coordination models: Reo, ARC, and PBRD
Science of Computer Programming
Modeling dynamic reconfigurations in Reo using high-level replacement systems
Science of Computer Programming
Time and Data-Aware Analysis of Graphical Service Models in Reo
SEFM '10 Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods
Business process compliance through reusable units of compliant processes
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
Verification of context-dependent channel-based service models
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Design and verification of systems with exogenous coordination using Vereofy
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
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
Simulation-based performance analysis of channel-based coordination models
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
Hierarchical modeling and formal verification: an industrial case study using Reo and Vereofy
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Modelling coordination in biological systems
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
Automata based model checking for reo connectors
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Stochastic reasoning about channel-based component connectors
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Compositional construction of real-time dataflow networks
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Journal of Visual Languages and Computing
Hi-index | 0.00 |
Traditional models of concurrency resort to peculiarly indirect means to express interaction and study its properties. Formalisms such as process algebras/calculi, concurrent objects, actors, agents, shared memory, message passing, etc., all are primarily action-based models that provide constructs for the direct specification of things that interact, rather than a direct specification of interaction (protocols). Consequently, interaction in these formalisms becomes a derived or secondary concept whose properties can be studied only indirectly, as the side-effects of the (intended or coincidental) couplings or clashes of the actions whose compositions comprise a model. Treating interaction as an explicit first-class concept, complete with its own composition operators, allows to specify more complex interaction protocols by combining simpler, and eventually primitive, protocols. Reo [20,11,12,6] serves as a premier example of such an interaction-based model of concurrency. In this paper, we describe Reo and its support tools. We show how exogenous coordination in Reo reflects an interaction-centric model of concurrency where an interaction (protocol) consists of nothing but a relational constraint on communication actions. In this setting, interaction protocols become explicit, concrete, tangible (software) constructs that can be specified, verified, composed, and reused, independently of the actors that they may engage in disparate applications.