View in EDS

Automated Analysis of Concurrent Systems With the Constrained Expression Toolset.

Saved in:
Bibliographic Details
Title: Automated Analysis of Concurrent Systems With the Constrained Expression Toolset.
Authors: Avrunin, George S.1, Buy, Ugo A.2, Corbett, James C.1, Dillon, Laura K.3, Wileden, Jack C.1
Source: IEEE Transactions on Software Engineering. Nov91, Vol. 17 Issue 11, p1204-1222. 19p. 9 Diagrams, 6 Charts.
Subjects: Computer software, Computer systems, System analysis, Programming languages, Systems design
Abstract: The constrained expression approach to analysis of concurrent software systems has several attractive features, including the facts that it can be used with a variety of design and programming languages and that it does not require a complete enumeration of the set of reachable states of the concurrent system. This paper reports on the construction of a toolset automating the main constrained expression analysis techniques and the results of experiments with that toolset. The toolset is capable of carrying out completely automated analyses of a variety of concurrent systems, starting from source code in an Ada-like design language and producing system traces displaying the properties represented by the analyst's queries. It has been successfully used with designs that involve hundreds of concurrent processes. [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: 14319155
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Automated Analysis of Concurrent Systems With the Constrained Expression Toolset.
– 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="%22Buy%2C+Ugo+A%2E%22">Buy, Ugo A.</searchLink><relatesTo>2</relatesTo><br /><searchLink fieldCode="AR" term="%22Corbett%2C+James+C%2E%22">Corbett, James C.</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Dillon%2C+Laura+K%2E%22">Dillon, Laura K.</searchLink><relatesTo>3</relatesTo><br /><searchLink fieldCode="AR" term="%22Wileden%2C+Jack+C%2E%22">Wileden, Jack C.</searchLink><relatesTo>1</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22IEEE+Transactions+on+Software+Engineering%22">IEEE Transactions on Software Engineering</searchLink>. Nov91, Vol. 17 Issue 11, p1204-1222. 19p. 9 Diagrams, 6 Charts.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Computer+software%22">Computer software</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+systems%22">Computer systems</searchLink><br /><searchLink fieldCode="DE" term="%22System+analysis%22">System analysis</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Systems+design%22">Systems design</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: The constrained expression approach to analysis of concurrent software systems has several attractive features, including the facts that it can be used with a variety of design and programming languages and that it does not require a complete enumeration of the set of reachable states of the concurrent system. This paper reports on the construction of a toolset automating the main constrained expression analysis techniques and the results of experiments with that toolset. The toolset is capable of carrying out completely automated analyses of a variety of concurrent systems, starting from source code in an Ada-like design language and producing system traces displaying the properties represented by the analyst's queries. It has been successfully used with designs that involve hundreds of concurrent processes. [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=14319155
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1109/32.106975
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 19
        StartPage: 1204
    Subjects:
      – SubjectFull: Computer software
        Type: general
      – SubjectFull: Computer systems
        Type: general
      – SubjectFull: System analysis
        Type: general
      – SubjectFull: Programming languages
        Type: general
      – SubjectFull: Systems design
        Type: general
    Titles:
      – TitleFull: Automated Analysis of Concurrent Systems With the Constrained Expression Toolset.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Avrunin, George S.
      – PersonEntity:
          Name:
            NameFull: Buy, Ugo A.
      – PersonEntity:
          Name:
            NameFull: Corbett, James C.
      – PersonEntity:
          Name:
            NameFull: Dillon, Laura K.
      – PersonEntity:
          Name:
            NameFull: Wileden, Jack C.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 11
              Text: Nov91
              Type: published
              Y: 1991
          Identifiers:
            – Type: issn-print
              Value: 00985589
          Numbering:
            – Type: volume
              Value: 17
            – Type: issue
              Value: 11
          Titles:
            – TitleFull: IEEE Transactions on Software Engineering
              Type: main
ResultId 1