Coordination languages and their significance
Communications of the ACM
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Software reuse: architecture, process and organization for business success
Software reuse: architecture, process and organization for business success
A software architecture for distributed control systems and its transition system semantics
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Building product populations with software components
Proceedings of the 24th International Conference on Software Engineering
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
The Evolution of the Unix Time-Sharing System
Proceedings of a Symposium on Language Design and Programming Methodology
Widening the Scope of Software Product Lines - From Variation to Composition
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
Fluent model checking for event-based systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Generating Snapshots of a Component Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Requirements modelling by synthesis of deontic input-output automata
Proceedings of the 2013 International Conference on Software Engineering
Hi-index | 0.00 |
Consumer products become more complex and diverse, integrating functions that were previously available only in separate products. We believe that to build such products efficiently, a compositional approach is required. While this is quite feasible in hardware, we would like to achieve the same in software, especially in the low-level software that drives the hardware. We found this to be possible, but only if we let software components communicate horizontally, exchanging information along software channels that mirror the hardware signal topology. In this paper a concrete protocol implementing this style of control is described and many examples are given of its use.