Copyright © 2000 Elsevier Science B.V. All rights reserved.
Coordinating action systems
Available online 25 May 2000.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
We develop an action systems-based approach that supports the separation of the design of the functional or computation aspects of a system under construction from the coordination and synchronization issues. The computation aspects are modeled as nondeterministic actions that work in parallel with the coordination actions, which impose some control on the nondeterministic part. We define a special form of action systems that models this type of coordination activity. Certain forms of real-time scheduling and coordination as well as exception handling are shown to be special cases of our approach. We show how the coordinators can be stepwise brought about from a high-level specification of the target system and how the reasoning about their behaviors is carried out separately from the computation aspects of the system within the refinement calculus.
Author Keywords: Coordination; Action systems; Refinement; Scheduling; Distributed systems






E-mail Article
Add to my Quick Links

Cited By in Scopus (1)






