Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems.
Saved in:
| Title: | Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems. |
|---|---|
| Authors: | Avrunin, George S.1, Dillon, Laura K.2, Wileden, Jack C.3, Riddle, William E.4 |
| Source: | IEEE Transactions on Software Engineering. Feb86, Vol. 12 Issue 2, p278-292. 15p. 9 Diagrams. |
| Subjects: | Software architecture, Systems design, Concurrent engineering, Software engineering, Programming languages, Computer programming |
| Abstract: | We describe an approach to the design of concurrent software systems based on the constrained expression formalism. 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. At the same time, our 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, our 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. We have developed algorithms for translating designs expressed in a wide variety of notations into these constrained expression descriptions. We have also developed a number of powerful analysis techniques that can be applied to these descriptions. In this paper, we describe the constrained expression formalism and these analysis techniques. We then describe the way this approach would be used in design, giving an example illustrating its use in conjunction with an Ada-like design language, and discuss present and future prospects for its automation and use. [ABSTRACT FROM AUTHOR] |
| Copyright of IEEE Transactions on Software Engineering is the property of IEEE Computer Society and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
Be the first to leave a comment!
