JUCS - Journal of Universal Computer Science 10(10): 1429-1468, doi: 10.3217/jucs-010-10-1429
Synchronization Can Improve Reactive Systems Control and Modularity
expand article infoCristina Cerschi Seceleanu, Tiberiu Seceleanu§
‡ Turku Centre for Computer Science and Åbo Akademi, Turku, Finland§ UUniversity of Turku, Department of Information Technology, Turku, Finland
Open Access
We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action systems. The traditional interleaving paradigm is completed with a barrier synchronization mechanism. This is achieved by introducing a new parallel composition operator, applicable to bot h discrete and hybrid models. While offering improvements with respect to control and modularity, the approach uses the correctness preserving mechanisms provided by the underlying reasoning environment 1. 1) A shorter version of this study appeared as "Modular Design of Reactive Systems", in Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC 2004), IEEE Computer Society Press, September 2004, Hong Kong. Pages 265-271.
Reactive systems, Action systems, Modular design, Concurrency