Separating Functionality, Behavior and Timing in the Design of Reactive Systems
(GAMMA + Coordination) + Time

This report addresses the issue of separation of concerns in software architecture modelling of real-time reactive systems. First, the idea of modelling functionalities and behavior with GAMMA and its coordination language is reviewed, and a method for reasoning on GAMMA and coordinated specifications is presented. Then, the new aspect for timing is added to the design method and the extended syntax, semantics, and reasoning method are proposed. Before extending the formalisms with timing, decision points are outlined and different alternatives are investigated.

(The full report is available in pdf)

Back to the list of technical reports.