The IWIM Model for Coordination of Concurrent Activities
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Checking Assumptions in Component Dynamics as the Architectural Level
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Hi-index | 0.00 |
Latest trends in coordination models and languages suggest that it must be supported the separated specification of and the dynamic change of coordination constraints. However, little attention has been paid to guaranteeing that, the application of a separately specified coordination pattern to a set of encapsulated objects, or changing the coordination constraints of a software system at run-time, will not produce semantic errors. These kinds of errors would produce an unpredictable system and, consequently, a lack of software quality. In this paper, a method of generating formal interpretable specifications for the reproduction of coordinated environments is presented. The benefits provided by this method are: (i) easy specification, verification and detection of inconsistencies when composing coordination and functional components, (ii) easy verification and detection of inconsistencies where coordination policies are changed dynamically and (iii) simulation of coordinated behaviors. The method is based on the use of the formal specification language Maude (as a simulation tool) and a coordination model. Although the paper adopts Coordinated Roles, it is also shown how the method can be adapted to other compositional coordination models.