Title :
DCCA: a versatile paradigm for the description and development of concurrent communicating systems
Author :
Aggarwal, Sudhir ; Mitra, Sandeep ; Jagdale, Sanjay S.
Author_Institution :
Dept. of Comput. Sci., State Univ. of New York, Binghamton, NY, USA
Abstract :
Few methodologies exist that facilitate the formal specification and prototyping of distributed systems. We describe certain features of the Dynamic Coordinated Concurrent Activities (DCCA) model. Any DCCA specification consists of a set of largely independent processes, each of which, however, needs to coordinate with several of its “peers” in the course of its execution. Several diverse real-world applications subscribe to such a paradigm-for example, a distributed control system for an automated factory, and a multiprocessor cache coherence system. DCCA is versatile enough to facilitate the specification of the protocols in both these systems on the same basis. Rapid prototyping and validation is also possible for DCCA models, as we describe in this paper. DCCA, and the attendant toolset could be of great use to a software engineer
Keywords :
distributed processing; formal specification; program verification; software engineering; software prototyping; DCCA; Dynamic Coordinated Concurrent Activities; attendant toolset; automated factory; concurrent communicating systems description; concurrent communicating systems development; distributed control system; distributed systems; formal specification; model; multiprocessor cache coherence system; protocols; prototyping; rapid prototyping; specification; Automatic control; Coherence; Computer science; Control systems; Flexible manufacturing systems; Machine tools; Production facilities; Protocols; Prototypes; Robot kinematics;
Conference_Titel :
System Sciences, 1995. Proceedings of the Twenty-Eighth Hawaii International Conference on
Conference_Location :
Wailea, HI
Print_ISBN :
0-8186-6930-6
DOI :
10.1109/HICSS.1995.375445
