A coordination language for mobile components
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
A transition system semantics for the control-driven coordination language MANIFOLD
Theoretical Computer Science
A Compositional Model for Confluent Dynamic Data-Flow Networks
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Equations for Describing Dynamic Nets of Communicating Systems
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
A Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
The IWIM Model for Coordination of Concurrent Activities
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
A Logical Interface Description Language for Components
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Web Services: separation of concerns: computation coordination communication
Proceedings of the 2004 ACM symposium on Applied computing
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Coordinating Web Services Using Channel Based Communication
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
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
Construction of negotiation protocols for e-commerce applications
ACM SIGecom Exchanges
Formal development of NoC systems in B
Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
A calculus for reasoning about software composition
Theoretical Computer Science - Formal methods for components and objects
Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
Fundamenta Informaticae
Configurations of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Compositional failure-based semantic equivalences for Reo specifications
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
Rethinking software connectors
International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting
Towards composition of distributed evolving services: the Credo approach (invited paper)
Autonomics '08 Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems
A perspective on service orchestration
Science of Computer Programming
Compositional Failure-based Equivalence of Constraint Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
The mythical matched modules: overcoming the tyranny of inflexible software construction
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Automated Mapping of Reo Circuits to Constraint Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Component adaptation and assembly using interface relations
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Formal modeling
Fundamenta Informaticae
On the reconfiguration of software connectors
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Hi-index | 0.03 |
P驴驴 is a channel-based exogenous coordination model wherein complex coordinators, called connectors are compositionally built out of simpler ones. The simplest connectors in P驴驴 are a set of channels with well-defined behavior supplied by users. P驴驴 can be used as a language for coordination of concurrent processes, or as a "glue language" for compositional construction of connectors that orchestrate component instances in a component-based system. The emphasis in P驴驴 is on connectors and their composition only, not on the entities that connect to, communicate, and cooperate through these connectors. Each connector in P驴驴 imposes a specific coordination pattern on the entities (e.g., components) that perform I/O operations through that connector, without the knowledge of those entities.Channel composition in P驴驴 is a very powerful mechanism for construction of connectors. In this paper, we demonstrate the expressive power of connector composition in P驴驴 through a number of examples. We show that exogenous coordination patterns that can be expressed as (meta-level) regular expressions over I/O operations can be composed in P驴驴 out of a small set of only five primitive channel types.