Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems

An approach to the design of concurrent software systems based on the constrained expression formalism is described. This formalism provides a rigorous conceptual model for the semantics of concurrent computations, thereby supporting analysis of important system properties as part of the design proc...

Full description

Saved in:
Bibliographic Details
Published inIEEE transactions on software engineering Vol. SE-12; no. 2; pp. 278 - 292
Main Authors Avrunin, G. S., Dillon, L. K., Wileden, J. C., Riddle, W. E.
Format Journal Article
LanguageEnglish
Published New York, NY IEEE 01.02.1986
Institute of Electrical and Electronics Engineers
IEEE Computer Society
Subjects
Ada-based design notation
analysis techniques
Applied sciences
Computer languages
Computer science; control theory; systems
Computer systems and distributed systems. User interface
Concurrent computing
concurrent software systems
constrained expressions
Design
design method
Design methodology
Educational institutions
event-based
Exact sciences and technology
Filtering
Methods
Semantics
Software
Software systems
Systems
Systems design
Asynchronous
Distributed system
Online AccessGet full text

Cover

More Information
Summary:An approach to the design of concurrent software systems based on the constrained expression formalism is described. This formalism provides a rigorous conceptual model for the semantics of concurrent computations, thereby supporting analysis of important system properties as part of the design process. This approach allows designers to use standard specification and design languages, rather than forcing them to deal with the formal model explicitly or directly. As a result, the approach attains the benefits of formal rigor without the associated pain of unnatural concepts or notations for its users. The conceptual model of concurrency underlying the constrained expression formalism treats the collection of possible behaviors of a concurrent system as a set of sequences of events. The constrained expression formalism provides a useful closed-form description of these sequences. Algorithms were developed for translating designs expressed in a wide variety of notations into these constrained expression descriptions. A number of powerful analysis techniques that can be applied to these descriptions have also been developed.
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0098-5589
1939-3520
DOI:10.1109/TSE.1986.6312944