Specification and implementation of parallel activities on abstract objects

Authors:
S. Keramidis;L. Mackert
Affiliations:
-;-
Venue:
ICSE '79 Proceedings of the 4th international conference on Software engineering
Year:
1979

Citing 3
Cited 0

Proof techniques for hierarchically structured programs

Communications of the ACM
A technique for software module specification with examples

Communications of the ACM
Specification techniques for data abstractions

Proceedings of the international conference on Reliable software

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes a new method for the specification and implementation of parallel activities on abstract objects. The priority relationship, which is of practical importance, is an important part of this method. The syntax of a suitable specification language is given. Restrictions in the lower levels of a hierarchical system can be hidden towards the upper levels (e.g. finite capacity of buffers or memories) by an appropriate use of synchronization. To make the use of a particular level as flexible as possible, the level should be subject to as few restrictions as possible. Synchronization conditions on different levels can lead to deadlocks.