A concurrent program synthesis using Petri net and temporal logic in MENDELS ZONE:
Abstract: "MENDELS ZONE is a concurrent programming environment, which supports program synthesis with reusable components, using Petri net and temporal logic. The target concurrent programming language is MENDEL/88, in which objects run concurrently and communicate with each other through stre...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Tokyo, Japan
1989
|
| Schriftenreihe: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
449 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "MENDELS ZONE is a concurrent programming environment, which supports program synthesis with reusable components, using Petri net and temporal logic. The target concurrent programming language is MENDEL/88, in which objects run concurrently and communicate with each other through streams. A MENDEL program has body parts and synchronization parts. In MENDELS ZONE, the program synthesis consists of two major steps: (1) the body part construction from reusable software and (2) the synchronization part synthesis from temporal logic specification MENDEL net, which is a restricted Petri net automatically generated from MENDEL body parts, is also used in step (2) of the above, in order to synthesize synchronization parts consistent with body parts. In this paper, we will describe mainly the synthesis of the synchronization pair. |
| Beschreibung: | 21 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010947035 | ||
| 003 | DE-604 | ||
| 005 | 19960912 | ||
| 007 | t | ||
| 008 | 960912s1989 d||| |||| 00||| engod | ||
| 035 | |a (OCoLC)22643013 | ||
| 035 | |a (DE-599)BVBBV010947035 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Uchihira, Naoshi |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A concurrent program synthesis using Petri net and temporal logic in MENDELS ZONE |c by N. Uchihira, H. Kawata & S. Honiden |
| 264 | 1 | |a Tokyo, Japan |c 1989 | |
| 300 | |a 21 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 449 | |
| 520 | 3 | |a Abstract: "MENDELS ZONE is a concurrent programming environment, which supports program synthesis with reusable components, using Petri net and temporal logic. The target concurrent programming language is MENDEL/88, in which objects run concurrently and communicate with each other through streams. A MENDEL program has body parts and synchronization parts. In MENDELS ZONE, the program synthesis consists of two major steps: (1) the body part construction from reusable software and (2) the synchronization part synthesis from temporal logic specification | |
| 520 | 3 | |a MENDEL net, which is a restricted Petri net automatically generated from MENDEL body parts, is also used in step (2) of the above, in order to synthesize synchronization parts consistent with body parts. In this paper, we will describe mainly the synthesis of the synchronization pair. | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Petri nets | |
| 700 | 1 | |a Kawata, Hideji |e Verfasser |4 aut | |
| 700 | 1 | |a Honiden, Shinichi |e Verfasser |4 aut | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 449 |w (DE-604)BV010923438 |9 449 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007321266 | ||
Datensatz im Suchindex
| _version_ | 1804125433643401216 |
|---|---|
| any_adam_object | |
| author | Uchihira, Naoshi Kawata, Hideji Honiden, Shinichi |
| author_facet | Uchihira, Naoshi Kawata, Hideji Honiden, Shinichi |
| author_role | aut aut aut |
| author_sort | Uchihira, Naoshi |
| author_variant | n u nu h k hk s h sh |
| building | Verbundindex |
| bvnumber | BV010947035 |
| ctrlnum | (OCoLC)22643013 (DE-599)BVBBV010947035 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01978nam a2200337 cb4500</leader><controlfield tag="001">BV010947035</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19960912 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960912s1989 d||| |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)22643013</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010947035</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Uchihira, Naoshi</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A concurrent program synthesis using Petri net and temporal logic in MENDELS ZONE</subfield><subfield code="c">by N. Uchihira, H. Kawata & S. Honiden</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tokyo, Japan</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">21 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report</subfield><subfield code="v">449</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "MENDELS ZONE is a concurrent programming environment, which supports program synthesis with reusable components, using Petri net and temporal logic. The target concurrent programming language is MENDEL/88, in which objects run concurrently and communicate with each other through streams. A MENDEL program has body parts and synchronization parts. In MENDELS ZONE, the program synthesis consists of two major steps: (1) the body part construction from reusable software and (2) the synchronization part synthesis from temporal logic specification</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">MENDEL net, which is a restricted Petri net automatically generated from MENDEL body parts, is also used in step (2) of the above, in order to synthesize synchronization parts consistent with body parts. In this paper, we will describe mainly the synthesis of the synchronization pair.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Petri nets</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kawata, Hideji</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Honiden, Shinichi</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report</subfield><subfield code="v">449</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">449</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007321266</subfield></datafield></record></collection> |
| id | DE-604.BV010947035 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:01:29Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007321266 |
| oclc_num | 22643013 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 21 S. graph. Darst. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| record_format | marc |
| series | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |
| series2 | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |
| spelling | Uchihira, Naoshi Verfasser aut A concurrent program synthesis using Petri net and temporal logic in MENDELS ZONE by N. Uchihira, H. Kawata & S. Honiden Tokyo, Japan 1989 21 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 449 Abstract: "MENDELS ZONE is a concurrent programming environment, which supports program synthesis with reusable components, using Petri net and temporal logic. The target concurrent programming language is MENDEL/88, in which objects run concurrently and communicate with each other through streams. A MENDEL program has body parts and synchronization parts. In MENDELS ZONE, the program synthesis consists of two major steps: (1) the body part construction from reusable software and (2) the synchronization part synthesis from temporal logic specification MENDEL net, which is a restricted Petri net automatically generated from MENDEL body parts, is also used in step (2) of the above, in order to synthesize synchronization parts consistent with body parts. In this paper, we will describe mainly the synthesis of the synchronization pair. Logic programming Petri nets Kawata, Hideji Verfasser aut Honiden, Shinichi Verfasser aut Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 449 (DE-604)BV010923438 449 |
| spellingShingle | Uchihira, Naoshi Kawata, Hideji Honiden, Shinichi A concurrent program synthesis using Petri net and temporal logic in MENDELS ZONE Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Logic programming Petri nets |
| title | A concurrent program synthesis using Petri net and temporal logic in MENDELS ZONE |
| title_auth | A concurrent program synthesis using Petri net and temporal logic in MENDELS ZONE |
| title_exact_search | A concurrent program synthesis using Petri net and temporal logic in MENDELS ZONE |
| title_full | A concurrent program synthesis using Petri net and temporal logic in MENDELS ZONE by N. Uchihira, H. Kawata & S. Honiden |
| title_fullStr | A concurrent program synthesis using Petri net and temporal logic in MENDELS ZONE by N. Uchihira, H. Kawata & S. Honiden |
| title_full_unstemmed | A concurrent program synthesis using Petri net and temporal logic in MENDELS ZONE by N. Uchihira, H. Kawata & S. Honiden |
| title_short | A concurrent program synthesis using Petri net and temporal logic in MENDELS ZONE |
| title_sort | a concurrent program synthesis using petri net and temporal logic in mendels zone |
| topic | Logic programming Petri nets |
| topic_facet | Logic programming Petri nets |
| volume_link | (DE-604)BV010923438 |
| work_keys_str_mv | AT uchihiranaoshi aconcurrentprogramsynthesisusingpetrinetandtemporallogicinmendelszone AT kawatahideji aconcurrentprogramsynthesisusingpetrinetandtemporallogicinmendelszone AT honidenshinichi aconcurrentprogramsynthesisusingpetrinetandtemporallogicinmendelszone |