ScienceDirect® Home Skip Main Navigation Links
You have guest access to ScienceDirect. Find out more.
 
Home
Browse
My Settings
Alerts
Help
 Quick Search
 Search tips (Opens new window)
    Clear all fields    
Theoretical Computer Science
Volume 240, Issue 1, 6 June 2000, Pages 91-115
 
Font Size: Decrease Font Size  Increase Font Size
 Abstract - selected
Purchase PDF (152 K)

 
 
 
Related Articles in ScienceDirect
View More Related Articles
 
View Record in Scopus
 
doi:10.1016/S0304-3975(99)00228-5    How to Cite or Link Using DOI (Opens New Window)
Copyright © 2000 Elsevier Science B.V. All rights reserved.

Coordinating action systems

Eric J. HedmanE-mail The Corresponding Author, a, Joost N. KokE-mail The Corresponding Author, b and Kaisa SereCorresponding Author Contact Information, E-mail The Corresponding Author, a

a Turku Centre for Computer Science, Department of Computer Science, Åbo Akademi University, Lemminkäinengatan 14, FIN-20520 Åbo, Finland b Leiden Institute of Advanced Computer Science, Leiden University, P.O. Box 9512, 2300 RA Leiden, Netherlands

Available online 25 May 2000.

Purchase the full-text article



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


 
Home
Browse
My Settings
Alerts
Help
Elsevier.com (Opens new window)
About ScienceDirect  |  Contact Us  |  Information for Advertisers  |  Terms & Conditions  |  Privacy Policy
Copyright © 2008 Elsevier B.V. All rights reserved. ScienceDirect® is a registered trademark of Elsevier B.V.