Abstractions for Software Architecture and Tools to Support Them
IEEE Transactions on Software Engineering - Special issue on software architecture
Distributed and parallel systems engineering in MANIFOLD
Parallel Computing - Special issue on coordination languages for parallel programming
The IWIM Model for Coordination of Concurrent Activities
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Software Architecture for Large Control Systems: A Case Study Description
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Modeling Railway Control Systems Using Graph Grammars: A Case Study
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Evaluation of Software Architecture for a Control System: A Case Study
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Hi-index | 0.00 |
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures for complex control systems using a components-based approach. Moreover, with this case study we assess and understand the issues of real time, fault tolerance, scalability, extensibility, distributed execution and adaptive behaviour, while modelling software architectures. We concentrate our study on the so-called control- or eventdriven coordination languages, and more to the point we use the language Manifold. In the process, we develop a methodology for modelling software architectures within the framework of control-oriented coordination languages.