On the development of reactive systems
Logics and models of concurrent systems
Coordination languages and their significance
Communications of the ACM
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Towards a taxonomy of software connectors
Proceedings of the 22nd international conference on Software engineering
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
IEEE Transactions on Software Engineering
A Component Model for Control-Intensive Distributed Embedded Systems
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
A Taxonomy of Software Composition Mechanisms
SEAA '10 Proceedings of the 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications
A component model that is both control-driven and data-driven
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
A Classification Framework for Software Component Models
IEEE Transactions on Software Engineering
A software component model and its preliminary formalisation
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Mode-automata based methodology for scade
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Towards mining informal online data to guide component-reuse decisions
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
| Hi-index | 0.00 |
It is considered good practice in control software design to distinguish computation and coordination on the architectural level. Current component models largely fail to provide distinct abstractions for that purpose. In this paper, we introduce such distinct abstractions. In particular, we introduce controller patterns, an abstraction for defining coordination in the context of component-based software development. We present their definition and demonstrate their usage in a case study, conducted in our prototype tool.