Automated analysis of concurrent systems with the constrained expression toolset
The constrained expression approach to analysis of concurrent software systems can be used with a variety of design and programming languages and does not require a complete enumeration of the set of reachable states of the concurrent system. The construction of a toolset automating the main constra...
Gespeichert in:
| Veröffentlicht in: | IEEE transactions on software engineering 1991-11, Vol.17 (11), p.1204-1222 |
|---|---|
| Hauptverfasser: | , , , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 1222 |
|---|---|
| container_issue | 11 |
| container_start_page | 1204 |
| container_title | IEEE transactions on software engineering |
| container_volume | 17 |
| creator | Avrunin, G.S. Buy, U.A. Corbett, J.C. Dillon, L.K. Wileden, J.C. |
| description | The constrained expression approach to analysis of concurrent software systems can be used with a variety of design and programming languages and does not require a complete enumeration of the set of reachable states of the concurrent system. The construction of a toolset automating the main constrained expression analysis techniques and the results of experiments with that toolset are reported. 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 bv the analysts queries. The strengths and weaknesses of the toolset and the approach are assessed on both theoretical and empirical grounds.< > |
| doi_str_mv | 10.1109/32.106975 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_proquest_miscellaneous_28203905</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>106975</ieee_id><sourcerecordid>25510870</sourcerecordid><originalsourceid>FETCH-LOGICAL-c364t-d3c7628a051ce2a64878582c35247253eb6e8a2aa31cdafa75a3190fb8b324573</originalsourceid><addsrcrecordid>eNqFkc1LHEEQxZtgIKvxkKunQYKQw2h_bPXHUSTGgJAc9DzU9tbgyOz02tVDsv992qxIyMVTPajfexT1hPik5LlSMlwYfa6kDQ7eiYUKJrQGtDwQCymDbwF8-CAOmR-llOAcLMTPy7mkDRZaNzjhuOOBm9Q3MU1xzpmm0vCOC224-TWUh6Y80POOS8Zhqh76vc3EPKSpKSmNTOWjeN9jFccv80jcX3-9u7ppb398-351edtGY5elXZvorPYoQUXSaJfeefA61nOXToOhlSWPGtGouMYeHVQVZL_yK6OX4MyRONvnbnN6molLtxk40jjiRGnmTnstTZDwNgigpHeygqf_gY9pzvUp3KkAYLUKukJf9lDMiTlT323zsMG865TsnhvojO72DVT280sgcsSxzzjFgV8NoMBZayt2sscGIvon7m_GH_wWjQ4</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>195562192</pqid></control><display><type>article</type><title>Automated analysis of concurrent systems with the constrained expression toolset</title><source>IEEE Electronic Library (IEL)</source><creator>Avrunin, G.S. ; Buy, U.A. ; Corbett, J.C. ; Dillon, L.K. ; Wileden, J.C.</creator><creatorcontrib>Avrunin, G.S. ; Buy, U.A. ; Corbett, J.C. ; Dillon, L.K. ; Wileden, J.C.</creatorcontrib><description>The constrained expression approach to analysis of concurrent software systems can be used with a variety of design and programming languages and does not require a complete enumeration of the set of reachable states of the concurrent system. The construction of a toolset automating the main constrained expression analysis techniques and the results of experiments with that toolset are reported. 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 bv the analysts queries. The strengths and weaknesses of the toolset and the approach are assessed on both theoretical and empirical grounds.< ></description><identifier>ISSN: 0098-5589</identifier><identifier>EISSN: 1939-3520</identifier><identifier>DOI: 10.1109/32.106975</identifier><identifier>CODEN: IESEDJ</identifier><language>eng</language><publisher>New York, NY: IEEE</publisher><subject>Applied sciences ; Automation ; Characteristics ; Computer languages ; Computer science; control theory; systems ; Cooperation ; Effectiveness ; Error correction codes ; Exact sciences and technology ; Experiments ; Frequency ; Handicapped aids ; Lifting equipment ; Methods ; Navigation ; Operating systems ; Performance analysis ; Process control ; Process controls ; Programming languages ; Semantics ; Software ; Software development ; Software engineering ; Software systems ; Systems analysis ; Systems development</subject><ispartof>IEEE transactions on software engineering, 1991-11, Vol.17 (11), p.1204-1222</ispartof><rights>1992 INIST-CNRS</rights><rights>Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Nov 1991</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c364t-d3c7628a051ce2a64878582c35247253eb6e8a2aa31cdafa75a3190fb8b324573</citedby><cites>FETCH-LOGICAL-c364t-d3c7628a051ce2a64878582c35247253eb6e8a2aa31cdafa75a3190fb8b324573</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/106975$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,780,784,796,27924,27925,54758</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/106975$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=5157666$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Avrunin, G.S.</creatorcontrib><creatorcontrib>Buy, U.A.</creatorcontrib><creatorcontrib>Corbett, J.C.</creatorcontrib><creatorcontrib>Dillon, L.K.</creatorcontrib><creatorcontrib>Wileden, J.C.</creatorcontrib><title>Automated analysis of concurrent systems with the constrained expression toolset</title><title>IEEE transactions on software engineering</title><addtitle>TSE</addtitle><description>The constrained expression approach to analysis of concurrent software systems can be used with a variety of design and programming languages and does not require a complete enumeration of the set of reachable states of the concurrent system. The construction of a toolset automating the main constrained expression analysis techniques and the results of experiments with that toolset are reported. 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 bv the analysts queries. The strengths and weaknesses of the toolset and the approach are assessed on both theoretical and empirical grounds.< ></description><subject>Applied sciences</subject><subject>Automation</subject><subject>Characteristics</subject><subject>Computer languages</subject><subject>Computer science; control theory; systems</subject><subject>Cooperation</subject><subject>Effectiveness</subject><subject>Error correction codes</subject><subject>Exact sciences and technology</subject><subject>Experiments</subject><subject>Frequency</subject><subject>Handicapped aids</subject><subject>Lifting equipment</subject><subject>Methods</subject><subject>Navigation</subject><subject>Operating systems</subject><subject>Performance analysis</subject><subject>Process control</subject><subject>Process controls</subject><subject>Programming languages</subject><subject>Semantics</subject><subject>Software</subject><subject>Software development</subject><subject>Software engineering</subject><subject>Software systems</subject><subject>Systems analysis</subject><subject>Systems development</subject><issn>0098-5589</issn><issn>1939-3520</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1991</creationdate><recordtype>article</recordtype><sourceid>8G5</sourceid><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>AZQEC</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><sourceid>GNUQQ</sourceid><sourceid>GUQSH</sourceid><sourceid>M2O</sourceid><recordid>eNqFkc1LHEEQxZtgIKvxkKunQYKQw2h_bPXHUSTGgJAc9DzU9tbgyOz02tVDsv992qxIyMVTPajfexT1hPik5LlSMlwYfa6kDQ7eiYUKJrQGtDwQCymDbwF8-CAOmR-llOAcLMTPy7mkDRZaNzjhuOOBm9Q3MU1xzpmm0vCOC224-TWUh6Y80POOS8Zhqh76vc3EPKSpKSmNTOWjeN9jFccv80jcX3-9u7ppb398-351edtGY5elXZvorPYoQUXSaJfeefA61nOXToOhlSWPGtGouMYeHVQVZL_yK6OX4MyRONvnbnN6molLtxk40jjiRGnmTnstTZDwNgigpHeygqf_gY9pzvUp3KkAYLUKukJf9lDMiTlT323zsMG865TsnhvojO72DVT280sgcsSxzzjFgV8NoMBZayt2sscGIvon7m_GH_wWjQ4</recordid><startdate>19911101</startdate><enddate>19911101</enddate><creator>Avrunin, G.S.</creator><creator>Buy, U.A.</creator><creator>Corbett, J.C.</creator><creator>Dillon, L.K.</creator><creator>Wileden, J.C.</creator><general>IEEE</general><general>Institute of Electrical and Electronics Engineers</general><general>IEEE Computer Society</general><scope>IQODW</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>3V.</scope><scope>7WY</scope><scope>7WZ</scope><scope>7X7</scope><scope>7XB</scope><scope>87Z</scope><scope>88E</scope><scope>88F</scope><scope>88I</scope><scope>88K</scope><scope>8AL</scope><scope>8FE</scope><scope>8FG</scope><scope>8FI</scope><scope>8FJ</scope><scope>8FK</scope><scope>8FL</scope><scope>8G5</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BEZIV</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>FRNLG</scope><scope>FYUFA</scope><scope>F~G</scope><scope>GHDGH</scope><scope>GNUQQ</scope><scope>GUQSH</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K60</scope><scope>K6~</scope><scope>K7-</scope><scope>K9.</scope><scope>L.-</scope><scope>L6V</scope><scope>M0C</scope><scope>M0N</scope><scope>M0S</scope><scope>M1P</scope><scope>M1Q</scope><scope>M2O</scope><scope>M2P</scope><scope>M2T</scope><scope>M7S</scope><scope>MBDVC</scope><scope>P5Z</scope><scope>P62</scope><scope>PQBIZ</scope><scope>PQBZA</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope><scope>Q9U</scope><scope>7SC</scope><scope>8FD</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>19911101</creationdate><title>Automated analysis of concurrent systems with the constrained expression toolset</title><author>Avrunin, G.S. ; Buy, U.A. ; Corbett, J.C. ; Dillon, L.K. ; Wileden, J.C.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c364t-d3c7628a051ce2a64878582c35247253eb6e8a2aa31cdafa75a3190fb8b324573</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1991</creationdate><topic>Applied sciences</topic><topic>Automation</topic><topic>Characteristics</topic><topic>Computer languages</topic><topic>Computer science; control theory; systems</topic><topic>Cooperation</topic><topic>Effectiveness</topic><topic>Error correction codes</topic><topic>Exact sciences and technology</topic><topic>Experiments</topic><topic>Frequency</topic><topic>Handicapped aids</topic><topic>Lifting equipment</topic><topic>Methods</topic><topic>Navigation</topic><topic>Operating systems</topic><topic>Performance analysis</topic><topic>Process control</topic><topic>Process controls</topic><topic>Programming languages</topic><topic>Semantics</topic><topic>Software</topic><topic>Software development</topic><topic>Software engineering</topic><topic>Software systems</topic><topic>Systems analysis</topic><topic>Systems development</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Avrunin, G.S.</creatorcontrib><creatorcontrib>Buy, U.A.</creatorcontrib><creatorcontrib>Corbett, J.C.</creatorcontrib><creatorcontrib>Dillon, L.K.</creatorcontrib><creatorcontrib>Wileden, J.C.</creatorcontrib><collection>Pascal-Francis</collection><collection>CrossRef</collection><collection>ProQuest Central (Corporate)</collection><collection>ABI/INFORM Collection</collection><collection>ABI/INFORM Global (PDF only)</collection><collection>Health & Medical Collection</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>ABI/INFORM Global (Alumni Edition)</collection><collection>Medical Database (Alumni Edition)</collection><collection>Military Database (Alumni Edition)</collection><collection>Science Database (Alumni Edition)</collection><collection>Telecommunications (Alumni Edition)</collection><collection>Computing Database (Alumni Edition)</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Hospital Premium Collection</collection><collection>Hospital Premium Collection (Alumni Edition)</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>ABI/INFORM Collection (Alumni Edition)</collection><collection>Research Library (Alumni Edition)</collection><collection>Materials Science & Engineering Collection</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>Advanced Technologies & Aerospace Collection</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Business Premium Collection</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>Business Premium Collection (Alumni)</collection><collection>Health Research Premium Collection</collection><collection>ABI/INFORM Global (Corporate)</collection><collection>Health Research Premium Collection (Alumni)</collection><collection>ProQuest Central Student</collection><collection>Research Library Prep</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>ProQuest Business Collection (Alumni Edition)</collection><collection>ProQuest Business Collection</collection><collection>Computer Science Database</collection><collection>ProQuest Health & Medical Complete (Alumni)</collection><collection>ABI/INFORM Professional Advanced</collection><collection>ProQuest Engineering Collection</collection><collection>ABI/INFORM Global</collection><collection>Computing Database</collection><collection>Health & Medical Collection (Alumni Edition)</collection><collection>Medical Database</collection><collection>Military Database</collection><collection>Research Library</collection><collection>Science Database</collection><collection>Telecommunications Database</collection><collection>Engineering Database</collection><collection>Research Library (Corporate)</collection><collection>Advanced Technologies & Aerospace Database</collection><collection>ProQuest Advanced Technologies & Aerospace Collection</collection><collection>One Business (ProQuest)</collection><collection>ProQuest One Business (Alumni)</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering Collection</collection><collection>ProQuest Central Basic</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>IEEE transactions on software engineering</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Avrunin, G.S.</au><au>Buy, U.A.</au><au>Corbett, J.C.</au><au>Dillon, L.K.</au><au>Wileden, J.C.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Automated analysis of concurrent systems with the constrained expression toolset</atitle><jtitle>IEEE transactions on software engineering</jtitle><stitle>TSE</stitle><date>1991-11-01</date><risdate>1991</risdate><volume>17</volume><issue>11</issue><spage>1204</spage><epage>1222</epage><pages>1204-1222</pages><issn>0098-5589</issn><eissn>1939-3520</eissn><coden>IESEDJ</coden><abstract>The constrained expression approach to analysis of concurrent software systems can be used with a variety of design and programming languages and does not require a complete enumeration of the set of reachable states of the concurrent system. The construction of a toolset automating the main constrained expression analysis techniques and the results of experiments with that toolset are reported. 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 bv the analysts queries. The strengths and weaknesses of the toolset and the approach are assessed on both theoretical and empirical grounds.< ></abstract><cop>New York, NY</cop><pub>IEEE</pub><doi>10.1109/32.106975</doi><tpages>19</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 0098-5589 |
| ispartof | IEEE transactions on software engineering, 1991-11, Vol.17 (11), p.1204-1222 |
| issn | 0098-5589 1939-3520 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_28203905 |
| source | IEEE Electronic Library (IEL) |
| subjects | Applied sciences Automation Characteristics Computer languages Computer science control theory systems Cooperation Effectiveness Error correction codes Exact sciences and technology Experiments Frequency Handicapped aids Lifting equipment Methods Navigation Operating systems Performance analysis Process control Process controls Programming languages Semantics Software Software development Software engineering Software systems Systems analysis Systems development |
| title | Automated analysis of concurrent systems with the constrained expression toolset |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-07T23%3A47%3A55IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_RIE&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Automated%20analysis%20of%20concurrent%20systems%20with%20the%20constrained%20expression%20toolset&rft.jtitle=IEEE%20transactions%20on%20software%20engineering&rft.au=Avrunin,%20G.S.&rft.date=1991-11-01&rft.volume=17&rft.issue=11&rft.spage=1204&rft.epage=1222&rft.pages=1204-1222&rft.issn=0098-5589&rft.eissn=1939-3520&rft.coden=IESEDJ&rft_id=info:doi/10.1109/32.106975&rft_dat=%3Cproquest_RIE%3E25510870%3C/proquest_RIE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=195562192&rft_id=info:pmid/&rft_ieee_id=106975&rfr_iscdi=true |