Language issues in the specification and design of composite systems

Authors:
M. S. Feather
Affiliations:
USC/Information Sciences Institute, Marina del Rey, CA
Venue:
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Year:
1988

Citing 3
Cited 0

Language support for the specification and development of composite systems

ACM Transactions on Programming Languages and Systems (TOPLAS)
Deriving sequential and parallel programs from pure LISP specifications by program transformation

The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
The operational versus the conventional approach to software development

Communications of the ACM

Quantified Score

Hi-index	0.00

Visualization

Abstract

Our focus is on the design of composite systems, that is, systems to be realized as the combination of interacting autonomous components. Typically there are some overall goals that the system is intended to achieve, and the components act concurrently, interleaving their actions, to achieve those goals. Since multiple components are involved, they must communicate in order to coordinate their individual activities. We will argue that the design of such a system should progress from a set of requirements for the entire system, and outline features of our specification language, Gist, that make it suited to expressing the stages in such a design process.