Communicating sequential processes
Communicating sequential processes
Synchronous programming with events and relations: the SIGNAL language and its semantics
Science of Computer Programming
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
On the formalization of architectural types with process algebras
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Automatic synthesis of deadlock free connectors for COM/DCOM applications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Network Algebra
Communication and Concurrency
A comparison of Statecharts step semantics
Theoretical Computer Science
ICALP '89 Proceedings of the 16th International Colloquium on Automata, Languages and Programming
A compositional formalization of connector wrappers
Proceedings of the 25th International Conference on Software Engineering
Architectural Interaction Diagrams: AIDs for system modeling
Proceedings of the 25th International Conference on Software Engineering
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Categories for Software Engineering
Categories for Software Engineering
Generating connectors for heterogeneous deployment
SEM '05 Proceedings of the 5th international workshop on Software engineering and middleware
A Framework for Component-based Construction Extended Abstract
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Modeling Heterogeneous Real-time Components in BIP
SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
Information and Computation
A basic algebra of stateless connectors
Theoretical Computer Science - Algebra and coalgebra in computer science
The algebra of connectors: structuring interaction in BIP
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
The Algebra of Connectors—Structuring Interaction in BIP
IEEE Transactions on Computers
Argos: an automaton-based synchronous language
Computer Languages
Synthesizing glue operators from glue constraints for the construction of component-based systems
SC'11 Proceedings of the 10th international conference on Software composition
A connector algebra for P/T nets interactions
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Connector algebras, petri nets, and BIP
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Modeling and verifying dynamic communication structures based on graph transformations
Computer Science - Research and Development
Hi-index | 0.00 |
The Algebra of Connectors $\mathcal{AC}(P)$ is used to model structured interactions in the BIP component framework. Its terms are connectors, relations describing synchronization constraints between the ports of component-based systems. Connectors are structured combinations of two basic synchronization protocols between ports: rendezvous and broadcast.In a previous paper, we have studied interaction semantics for $\mathcal{AC}(P)$ which defines the meaning of connectors as sets of interactions. This semantics reduces broadcasts into the set of their possible interactions and thus blurs the distinction between rendezvous and broadcast. It leads to exponentially complex models that cannot be a basis for efficient implementation. Furthermore, the induced semantic equivalence is not a congruence.For a subset of $\mathcal{AC}(P)$ , we propose a new causal semantics that does not reduce broadcast into a set of rendezvous and explicitly models the causal dependency relation between ports. The Algebra of Causal Interaction Trees $\mathcal{T}(P)$ formalizes this subset. It is the set of the terms generated from interactions on the set of ports P, by using two operators: a causality operator and a parallel composition operator. Terms are sets of trees where the successor relation represents causal dependency between interactions: an interaction can participate in a global interaction only if its father participates too. We show that causal semantics is consistent with interaction semantics; the semantic equivalence on $\mathcal{T}(P)$ is a congruence. Furthermore, it defines an isomorphism between $\mathcal{T}(P)$ and a subset of $\mathcal{AC}(P)$ .Finally, we define for causal interaction trees a boolean representation in terms of causal rules. This representation is used for their manipulation and simplification as well as for synthesizing connectors.