Design and implementation of a Petri net based toolkit for Ada tasking analysis
The use of Petri nets for defining a general static analysis framework for Ada tasking is advocated. The framework has evolved into a collection of tools that have proven to be a very valuable platform for experimental research. The design and implementation of tools that make up the tasking-oriente...
Gespeichert in:
| Veröffentlicht in: | IEEE transactions on parallel and distributed systems 1990-10, Vol.1 (4), p.424-441 |
|---|---|
| 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 | 441 |
|---|---|
| container_issue | 4 |
| container_start_page | 424 |
| container_title | IEEE transactions on parallel and distributed systems |
| container_volume | 1 |
| creator | Shatz, S.M. Mai, K. Black, C. Tu, S. |
| description | The use of Petri nets for defining a general static analysis framework for Ada tasking is advocated. The framework has evolved into a collection of tools that have proven to be a very valuable platform for experimental research. The design and implementation of tools that make up the tasking-oriented toolkit for the Ada language (TOTAL) are defined and discussed. Modeling and query/analysis methods and tools are discussed. Example Ada tasking programs are used to demonstrate the utility of each tool individually as well as the way the tools integrate. TOTAL is divided into two major subsystems, the front-end translator subsystem (FETS) and the back-end information display subsystem (BIDS). Three component tools that make up FETS are defined. Examples demonstrate the way these tools integrate in order to perform the translation of Ada source to Petri-net format. The BIDS subsystem and, in particular, the use of tools and techniques to support user-directed, but transparent, searches of Ada-net reachability graphs are discussed.< > |
| doi_str_mv | 10.1109/71.80172 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_ieee_primary_80172</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>80172</ieee_id><sourcerecordid>28227137</sourcerecordid><originalsourceid>FETCH-LOGICAL-c216t-26f41712accff936fbd20efab7dd01cc3cd356d8622e2f536a2cdba73bd1bc2c3</originalsourceid><addsrcrecordid>eNo90D1PwzAQBmALgUQpSKxsFgNiSfE5H07GqnxKlcoAs-XY52Ka2iV2h_57AkFMd9I97w0vIZfAZgCsuRMwqxkIfkQmUJZ1xqHOj4edFWXWcGhOyVmMn4xBUbJiQlb3GN3aU-UNddtdh1v0SSUXPA2WKvqKqXfUY6KtimhoCqHbuERt6OncKJpU3Di_HvKqO0QXz8mJVV3Ei785Je-PD2-L52y5enpZzJeZ5lCljFe2AAFcaW1tk1e2NZyhVa0whoHWuTZ5WZm64hy5LfNKcW1aJfLWQKu5zqfkevwbYnIyapdQf-jgPeokq5Lxom4GdDOiXR--9hiT3LqoseuUx7CPktecC8jFAG9HqPsQY49W7nq3Vf1BApM_tUoB8rfWgV6N1CHiPxtv37ZOcko</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>28227137</pqid></control><display><type>article</type><title>Design and implementation of a Petri net based toolkit for Ada tasking analysis</title><source>IEEE Electronic Library (IEL)</source><creator>Shatz, S.M. ; Mai, K. ; Black, C. ; Tu, S.</creator><creatorcontrib>Shatz, S.M. ; Mai, K. ; Black, C. ; Tu, S.</creatorcontrib><description>The use of Petri nets for defining a general static analysis framework for Ada tasking is advocated. The framework has evolved into a collection of tools that have proven to be a very valuable platform for experimental research. The design and implementation of tools that make up the tasking-oriented toolkit for the Ada language (TOTAL) are defined and discussed. Modeling and query/analysis methods and tools are discussed. Example Ada tasking programs are used to demonstrate the utility of each tool individually as well as the way the tools integrate. TOTAL is divided into two major subsystems, the front-end translator subsystem (FETS) and the back-end information display subsystem (BIDS). Three component tools that make up FETS are defined. Examples demonstrate the way these tools integrate in order to perform the translation of Ada source to Petri-net format. The BIDS subsystem and, in particular, the use of tools and techniques to support user-directed, but transparent, searches of Ada-net reachability graphs are discussed.< ></description><identifier>ISSN: 1045-9219</identifier><identifier>EISSN: 1558-2183</identifier><identifier>DOI: 10.1109/71.80172</identifier><identifier>CODEN: ITDSEO</identifier><language>eng</language><publisher>United States: IEEE</publisher><subject>990200 - Mathematics & Computers ; COMPUTER CODES ; COMPUTER NETWORKS ; Concurrent computing ; DATA ; DATA PROCESSING ; DESIGN ; Distributed computing ; DISTRIBUTED DATA PROCESSING ; ENGINEERING ; EXPERIMENTAL DATA ; GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE ; History ; INFORMATION ; NUMERICAL DATA ; Packaging ; PARALLEL PROCESSING ; Petri nets ; PROCESSING ; Production ; PROGRAMMING ; RESEARCH PROGRAMS ; Software prototyping ; Software tools ; System recovery ; TASK SCHEDULING ; Testing</subject><ispartof>IEEE transactions on parallel and distributed systems, 1990-10, Vol.1 (4), p.424-441</ispartof><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c216t-26f41712accff936fbd20efab7dd01cc3cd356d8622e2f536a2cdba73bd1bc2c3</citedby><cites>FETCH-LOGICAL-c216t-26f41712accff936fbd20efab7dd01cc3cd356d8622e2f536a2cdba73bd1bc2c3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/80172$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>230,314,776,780,792,881,27903,27904,54736</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/80172$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttps://www.osti.gov/biblio/6502489$$D View this record in Osti.gov$$Hfree_for_read</backlink></links><search><creatorcontrib>Shatz, S.M.</creatorcontrib><creatorcontrib>Mai, K.</creatorcontrib><creatorcontrib>Black, C.</creatorcontrib><creatorcontrib>Tu, S.</creatorcontrib><title>Design and implementation of a Petri net based toolkit for Ada tasking analysis</title><title>IEEE transactions on parallel and distributed systems</title><addtitle>TPDS</addtitle><description>The use of Petri nets for defining a general static analysis framework for Ada tasking is advocated. The framework has evolved into a collection of tools that have proven to be a very valuable platform for experimental research. The design and implementation of tools that make up the tasking-oriented toolkit for the Ada language (TOTAL) are defined and discussed. Modeling and query/analysis methods and tools are discussed. Example Ada tasking programs are used to demonstrate the utility of each tool individually as well as the way the tools integrate. TOTAL is divided into two major subsystems, the front-end translator subsystem (FETS) and the back-end information display subsystem (BIDS). Three component tools that make up FETS are defined. Examples demonstrate the way these tools integrate in order to perform the translation of Ada source to Petri-net format. The BIDS subsystem and, in particular, the use of tools and techniques to support user-directed, but transparent, searches of Ada-net reachability graphs are discussed.< ></description><subject>990200 - Mathematics & Computers</subject><subject>COMPUTER CODES</subject><subject>COMPUTER NETWORKS</subject><subject>Concurrent computing</subject><subject>DATA</subject><subject>DATA PROCESSING</subject><subject>DESIGN</subject><subject>Distributed computing</subject><subject>DISTRIBUTED DATA PROCESSING</subject><subject>ENGINEERING</subject><subject>EXPERIMENTAL DATA</subject><subject>GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE</subject><subject>History</subject><subject>INFORMATION</subject><subject>NUMERICAL DATA</subject><subject>Packaging</subject><subject>PARALLEL PROCESSING</subject><subject>Petri nets</subject><subject>PROCESSING</subject><subject>Production</subject><subject>PROGRAMMING</subject><subject>RESEARCH PROGRAMS</subject><subject>Software prototyping</subject><subject>Software tools</subject><subject>System recovery</subject><subject>TASK SCHEDULING</subject><subject>Testing</subject><issn>1045-9219</issn><issn>1558-2183</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1990</creationdate><recordtype>article</recordtype><recordid>eNo90D1PwzAQBmALgUQpSKxsFgNiSfE5H07GqnxKlcoAs-XY52Ka2iV2h_57AkFMd9I97w0vIZfAZgCsuRMwqxkIfkQmUJZ1xqHOj4edFWXWcGhOyVmMn4xBUbJiQlb3GN3aU-UNddtdh1v0SSUXPA2WKvqKqXfUY6KtimhoCqHbuERt6OncKJpU3Di_HvKqO0QXz8mJVV3Ei785Je-PD2-L52y5enpZzJeZ5lCljFe2AAFcaW1tk1e2NZyhVa0whoHWuTZ5WZm64hy5LfNKcW1aJfLWQKu5zqfkevwbYnIyapdQf-jgPeokq5Lxom4GdDOiXR--9hiT3LqoseuUx7CPktecC8jFAG9HqPsQY49W7nq3Vf1BApM_tUoB8rfWgV6N1CHiPxtv37ZOcko</recordid><startdate>19901001</startdate><enddate>19901001</enddate><creator>Shatz, S.M.</creator><creator>Mai, K.</creator><creator>Black, C.</creator><creator>Tu, S.</creator><general>IEEE</general><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>OTOTI</scope></search><sort><creationdate>19901001</creationdate><title>Design and implementation of a Petri net based toolkit for Ada tasking analysis</title><author>Shatz, S.M. ; Mai, K. ; Black, C. ; Tu, S.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c216t-26f41712accff936fbd20efab7dd01cc3cd356d8622e2f536a2cdba73bd1bc2c3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1990</creationdate><topic>990200 - Mathematics & Computers</topic><topic>COMPUTER CODES</topic><topic>COMPUTER NETWORKS</topic><topic>Concurrent computing</topic><topic>DATA</topic><topic>DATA PROCESSING</topic><topic>DESIGN</topic><topic>Distributed computing</topic><topic>DISTRIBUTED DATA PROCESSING</topic><topic>ENGINEERING</topic><topic>EXPERIMENTAL DATA</topic><topic>GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE</topic><topic>History</topic><topic>INFORMATION</topic><topic>NUMERICAL DATA</topic><topic>Packaging</topic><topic>PARALLEL PROCESSING</topic><topic>Petri nets</topic><topic>PROCESSING</topic><topic>Production</topic><topic>PROGRAMMING</topic><topic>RESEARCH PROGRAMS</topic><topic>Software prototyping</topic><topic>Software tools</topic><topic>System recovery</topic><topic>TASK SCHEDULING</topic><topic>Testing</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Shatz, S.M.</creatorcontrib><creatorcontrib>Mai, K.</creatorcontrib><creatorcontrib>Black, C.</creatorcontrib><creatorcontrib>Tu, S.</creatorcontrib><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>OSTI.GOV</collection><jtitle>IEEE transactions on parallel and distributed systems</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Shatz, S.M.</au><au>Mai, K.</au><au>Black, C.</au><au>Tu, S.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Design and implementation of a Petri net based toolkit for Ada tasking analysis</atitle><jtitle>IEEE transactions on parallel and distributed systems</jtitle><stitle>TPDS</stitle><date>1990-10-01</date><risdate>1990</risdate><volume>1</volume><issue>4</issue><spage>424</spage><epage>441</epage><pages>424-441</pages><issn>1045-9219</issn><eissn>1558-2183</eissn><coden>ITDSEO</coden><abstract>The use of Petri nets for defining a general static analysis framework for Ada tasking is advocated. The framework has evolved into a collection of tools that have proven to be a very valuable platform for experimental research. The design and implementation of tools that make up the tasking-oriented toolkit for the Ada language (TOTAL) are defined and discussed. Modeling and query/analysis methods and tools are discussed. Example Ada tasking programs are used to demonstrate the utility of each tool individually as well as the way the tools integrate. TOTAL is divided into two major subsystems, the front-end translator subsystem (FETS) and the back-end information display subsystem (BIDS). Three component tools that make up FETS are defined. Examples demonstrate the way these tools integrate in order to perform the translation of Ada source to Petri-net format. The BIDS subsystem and, in particular, the use of tools and techniques to support user-directed, but transparent, searches of Ada-net reachability graphs are discussed.< ></abstract><cop>United States</cop><pub>IEEE</pub><doi>10.1109/71.80172</doi><tpages>18</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 1045-9219 |
| ispartof | IEEE transactions on parallel and distributed systems, 1990-10, Vol.1 (4), p.424-441 |
| issn | 1045-9219 1558-2183 |
| language | eng |
| recordid | cdi_ieee_primary_80172 |
| source | IEEE Electronic Library (IEL) |
| subjects | 990200 - Mathematics & Computers COMPUTER CODES COMPUTER NETWORKS Concurrent computing DATA DATA PROCESSING DESIGN Distributed computing DISTRIBUTED DATA PROCESSING ENGINEERING EXPERIMENTAL DATA GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE History INFORMATION NUMERICAL DATA Packaging PARALLEL PROCESSING Petri nets PROCESSING Production PROGRAMMING RESEARCH PROGRAMS Software prototyping Software tools System recovery TASK SCHEDULING Testing |
| title | Design and implementation of a Petri net based toolkit for Ada tasking analysis |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-28T06%3A18%3A53IST&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=Design%20and%20implementation%20of%20a%20Petri%20net%20based%20toolkit%20for%20Ada%20tasking%20analysis&rft.jtitle=IEEE%20transactions%20on%20parallel%20and%20distributed%20systems&rft.au=Shatz,%20S.M.&rft.date=1990-10-01&rft.volume=1&rft.issue=4&rft.spage=424&rft.epage=441&rft.pages=424-441&rft.issn=1045-9219&rft.eissn=1558-2183&rft.coden=ITDSEO&rft_id=info:doi/10.1109/71.80172&rft_dat=%3Cproquest_RIE%3E28227137%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=28227137&rft_id=info:pmid/&rft_ieee_id=80172&rfr_iscdi=true |