Language constructs for specifying concurrency in CDL

Author

Shyamasundar, R.K. ; Thatcher, J.W.

Author_Institution

Dept. of Comput. Sci., Pennsylvania State Univ., University Park, PA, USA

Volume

15

Issue

8

fYear

1989

fDate

8/1/1989 12:00:00 AM

Firstpage

977

Lastpage

993

Abstract

A description is given of language constructs for specifying concurrency in CDL*. The main goals in designing the language have been: modular specification, data integrity, and expressiveness. The language constructs are presented, and it is shown through examples how the constructs mirror the goals. The major advantages of the constructs are as follows: (1) data integrity is achieved without resorting to mutual exclusion unnecessarily, (2) dynamic resource management is achieved safely guaranteeing the anonymity of the dynamically allocating resources, and (3) similar components can be packaged together without resorting to sequential access. Various features of the language are illustrated through examples. In short, the language provides a step towards integrating abstraction mechanisms and specification techniques. Some of the features in CDL* are compared to some of the features available in other languages, including distributed programming languages

Keywords

data integrity; parallel programming; specification languages; CDL*; CDL* concurrency specification; abstraction mechanisms; anonymity; data integrity; distributed programming languages; dynamic resource management; dynamically allocating resources; expressiveness; language constructs; modular specification; mutual exclusion; specification techniques; Computer languages; Concurrent computing; Contracts; Electrical capacitance tomography; Interference; Logic programming; Mirrors; Packaging; Parallel processing; Resource management;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/32.31354

Filename

31354