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 |
| FullText | Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 14315872 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Avrunin%2C+George+S%2E%22">Avrunin, George S.</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Dillon%2C+Laura+K%2E%22">Dillon, Laura K.</searchLink><relatesTo>2</relatesTo><br /><searchLink fieldCode="AR" term="%22Wileden%2C+Jack+C%2E%22">Wileden, Jack C.</searchLink><relatesTo>3</relatesTo><br /><searchLink fieldCode="AR" term="%22Riddle%2C+William+E%2E%22">Riddle, William E.</searchLink><relatesTo>4</relatesTo> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22IEEE+Transactions+on+Software+Engineering%22">IEEE Transactions on Software Engineering</searchLink>. Feb86, Vol. 12 Issue 2, p278-292. 15p. 9 Diagrams. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Software+architecture%22">Software architecture</searchLink><br /><searchLink fieldCode="DE" term="%22Systems+design%22">Systems design</searchLink><br /><searchLink fieldCode="DE" term="%22Concurrent+engineering%22">Concurrent engineering</searchLink><br /><searchLink fieldCode="DE" term="%22Software+engineering%22">Software engineering</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+programming%22">Computer programming</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: 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] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>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.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=14315872 |
| RecordInfo | BibRecord: BibEntity: Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 15 StartPage: 278 Subjects: – SubjectFull: Software architecture Type: general – SubjectFull: Systems design Type: general – SubjectFull: Concurrent engineering Type: general – SubjectFull: Software engineering Type: general – SubjectFull: Programming languages Type: general – SubjectFull: Computer programming Type: general Titles: – TitleFull: Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Avrunin, George S. – PersonEntity: Name: NameFull: Dillon, Laura K. – PersonEntity: Name: NameFull: Wileden, Jack C. – PersonEntity: Name: NameFull: Riddle, William E. IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 02 Text: Feb86 Type: published Y: 1986 Identifiers: – Type: issn-print Value: 00985589 Numbering: – Type: volume Value: 12 – Type: issue Value: 2 Titles: – TitleFull: IEEE Transactions on Software Engineering Type: main |
| ResultId | 1 |
