Compositional adjustment of concurrent processes to satisfy temporal logic constraints in MENDELS ZONE:
Abstract: "In this paper, we examine 'program adjustment', a practical approach to the automatic programming and program synthesis for concurrent programs, which automatically reforms a roughly-made program to satisfy given contraints. The model of concurrent programs used is the fini...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Tokyo, Japan
1992
|
| Schriftenreihe: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
741 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "In this paper, we examine 'program adjustment', a practical approach to the automatic programming and program synthesis for concurrent programs, which automatically reforms a roughly-made program to satisfy given contraints. The model of concurrent programs used is the finite state process, and program adjustment to satisfy temporal logic constraints is formalized as synthesis of an arbiter process which controls a target process (a roughly-made program). Compositional adjustment is also proposed for large-scale compound target processes, using process equivalence theory. We have developed a computer-aided programming environment on Multi-PSI, called MENDELS ZONE, that adopts this compositional adjustment. Adjusted programs can be compiled into KL1 programs and executed in MENDELS ZONE." |
| Beschreibung: | 14 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010957954 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960919s1992 |||| 00||| engod | ||
| 035 | |a (OCoLC)27807749 | ||
| 035 | |a (DE-599)BVBBV010957954 | ||
| 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 Compositional adjustment of concurrent processes to satisfy temporal logic constraints in MENDELS ZONE |c by N. Uchihira, M. Arami & S. Honiden |
| 264 | 1 | |a Tokyo, Japan |c 1992 | |
| 300 | |a 14 S. | ||
| 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 741 | |
| 520 | 3 | |a Abstract: "In this paper, we examine 'program adjustment', a practical approach to the automatic programming and program synthesis for concurrent programs, which automatically reforms a roughly-made program to satisfy given contraints. The model of concurrent programs used is the finite state process, and program adjustment to satisfy temporal logic constraints is formalized as synthesis of an arbiter process which controls a target process (a roughly-made program). Compositional adjustment is also proposed for large-scale compound target processes, using process equivalence theory. We have developed a computer-aided programming environment on Multi-PSI, called MENDELS ZONE, that adopts this compositional adjustment. Adjusted programs can be compiled into KL1 programs and executed in MENDELS ZONE." | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Parallel programming (Computer science) | |
| 700 | 1 | |a Arami, Mikako |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 741 |w (DE-604)BV010923438 |9 741 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007329900 | ||
Datensatz im Suchindex
| _version_ | 1804125445449318401 |
|---|---|
| any_adam_object | |
| author | Uchihira, Naoshi Arami, Mikako Honiden, Shinichi |
| author_facet | Uchihira, Naoshi Arami, Mikako Honiden, Shinichi |
| author_role | aut aut aut |
| author_sort | Uchihira, Naoshi |
| author_variant | n u nu m a ma s h sh |
| building | Verbundindex |
| bvnumber | BV010957954 |
| ctrlnum | (OCoLC)27807749 (DE-599)BVBBV010957954 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01957nam a2200325 cb4500</leader><controlfield tag="001">BV010957954</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960919s1992 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)27807749</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010957954</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">Compositional adjustment of concurrent processes to satisfy temporal logic constraints in MENDELS ZONE</subfield><subfield code="c">by N. Uchihira, M. Arami & S. Honiden</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tokyo, Japan</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">14 S.</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">741</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "In this paper, we examine 'program adjustment', a practical approach to the automatic programming and program synthesis for concurrent programs, which automatically reforms a roughly-made program to satisfy given contraints. The model of concurrent programs used is the finite state process, and program adjustment to satisfy temporal logic constraints is formalized as synthesis of an arbiter process which controls a target process (a roughly-made program). Compositional adjustment is also proposed for large-scale compound target processes, using process equivalence theory. We have developed a computer-aided programming environment on Multi-PSI, called MENDELS ZONE, that adopts this compositional adjustment. Adjusted programs can be compiled into KL1 programs and executed in MENDELS ZONE."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel programming (Computer science)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Arami, Mikako</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">741</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">741</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007329900</subfield></datafield></record></collection> |
| id | DE-604.BV010957954 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:40Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007329900 |
| oclc_num | 27807749 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 14 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| 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 Compositional adjustment of concurrent processes to satisfy temporal logic constraints in MENDELS ZONE by N. Uchihira, M. Arami & S. Honiden Tokyo, Japan 1992 14 S. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 741 Abstract: "In this paper, we examine 'program adjustment', a practical approach to the automatic programming and program synthesis for concurrent programs, which automatically reforms a roughly-made program to satisfy given contraints. The model of concurrent programs used is the finite state process, and program adjustment to satisfy temporal logic constraints is formalized as synthesis of an arbiter process which controls a target process (a roughly-made program). Compositional adjustment is also proposed for large-scale compound target processes, using process equivalence theory. We have developed a computer-aided programming environment on Multi-PSI, called MENDELS ZONE, that adopts this compositional adjustment. Adjusted programs can be compiled into KL1 programs and executed in MENDELS ZONE." Logic programming Parallel programming (Computer science) Arami, Mikako Verfasser aut Honiden, Shinichi Verfasser aut Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 741 (DE-604)BV010923438 741 |
| spellingShingle | Uchihira, Naoshi Arami, Mikako Honiden, Shinichi Compositional adjustment of concurrent processes to satisfy temporal logic constraints in MENDELS ZONE Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Logic programming Parallel programming (Computer science) |
| title | Compositional adjustment of concurrent processes to satisfy temporal logic constraints in MENDELS ZONE |
| title_auth | Compositional adjustment of concurrent processes to satisfy temporal logic constraints in MENDELS ZONE |
| title_exact_search | Compositional adjustment of concurrent processes to satisfy temporal logic constraints in MENDELS ZONE |
| title_full | Compositional adjustment of concurrent processes to satisfy temporal logic constraints in MENDELS ZONE by N. Uchihira, M. Arami & S. Honiden |
| title_fullStr | Compositional adjustment of concurrent processes to satisfy temporal logic constraints in MENDELS ZONE by N. Uchihira, M. Arami & S. Honiden |
| title_full_unstemmed | Compositional adjustment of concurrent processes to satisfy temporal logic constraints in MENDELS ZONE by N. Uchihira, M. Arami & S. Honiden |
| title_short | Compositional adjustment of concurrent processes to satisfy temporal logic constraints in MENDELS ZONE |
| title_sort | compositional adjustment of concurrent processes to satisfy temporal logic constraints in mendels zone |
| topic | Logic programming Parallel programming (Computer science) |
| topic_facet | Logic programming Parallel programming (Computer science) |
| volume_link | (DE-604)BV010923438 |
| work_keys_str_mv | AT uchihiranaoshi compositionaladjustmentofconcurrentprocessestosatisfytemporallogicconstraintsinmendelszone AT aramimikako compositionaladjustmentofconcurrentprocessestosatisfytemporallogicconstraintsinmendelszone AT honidenshinichi compositionaladjustmentofconcurrentprocessestosatisfytemporallogicconstraintsinmendelszone |