A functional rephrasing of the assumption/commitment specification style:
Abstract: "The assumption/commitment (also called rely/guarantee) style has been advocated for the specification of interactive components of distributed systems. One of its motivations is to achieve modularity for state transition specifications of system components. It suggests the structurin...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
München
1994
|
| Series: | Technische Universität <München>: TUM-I
9417 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Summary: | Abstract: "The assumption/commitment (also called rely/guarantee) style has been advocated for the specification of interactive components of distributed systems. One of its motivations is to achieve modularity for state transition specifications of system components. It suggests the structuring of specifications into assumptions about the behavior of the component's environment and into commitments that are fulfilled by the component provided the environment fulfills these assumptions. We define the assumption/commitment formats for functional system specifications. In particular, we work out a canonical decomposition of system specifications following the assumption/commitment format into safety and liveness aspects. We demonstrate the format of assumption/commitment specifications by a number of examples. In particular, we discuss the methodological significance of the assumption/commitment format in the stepwise development of specifications." |
| Physical Description: | 37 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009967250 | ||
| 003 | DE-604 | ||
| 005 | 20040416 | ||
| 007 | t | ||
| 008 | 941219s1994 gw t||| 00||| eng d | ||
| 016 | 7 | |a 942877861 |2 DE-101 | |
| 035 | |a (OCoLC)64519759 | ||
| 035 | |a (DE-599)BVBBV009967250 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 |a DE-91G | ||
| 088 | |a TUM I 9417 | ||
| 100 | 1 | |a Broy, Manfred |d 1949- |e Verfasser |0 (DE-588)109602137 |4 aut | |
| 245 | 1 | 0 | |a A functional rephrasing of the assumption/commitment specification style |c Manfred Broy |
| 264 | 1 | |a München |c 1994 | |
| 300 | |a 37 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Technische Universität <München>: TUM-I |v 9417 | |
| 490 | 1 | |a Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht / A |v 1994,10 | |
| 520 | 3 | |a Abstract: "The assumption/commitment (also called rely/guarantee) style has been advocated for the specification of interactive components of distributed systems. One of its motivations is to achieve modularity for state transition specifications of system components. It suggests the structuring of specifications into assumptions about the behavior of the component's environment and into commitments that are fulfilled by the component provided the environment fulfills these assumptions. We define the assumption/commitment formats for functional system specifications. In particular, we work out a canonical decomposition of system specifications following the assumption/commitment format into safety and liveness aspects. We demonstrate the format of assumption/commitment specifications by a number of examples. In particular, we discuss the methodological significance of the assumption/commitment format in the stepwise development of specifications." | |
| 650 | 4 | |a Distributed parameter systems | |
| 650 | 4 | |a Functional programming (Computer science) | |
| 650 | 0 | 7 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4155043-2 |a Forschungsbericht |2 gnd-content | |
| 689 | 0 | 0 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 810 | 2 | |a A |t Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht |v 1994,10 |w (DE-604)BV004627888 |9 1994,10 | |
| 830 | 0 | |a Technische Universität <München>: TUM-I |v 9417 |w (DE-604)BV006185376 |9 9417 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006605741&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
Record in the Search Index
| _version_ | 1805067163863613440 |
|---|---|
| adam_text |
CONTENTS
2
CONTENTS
1
INTRODUCTION
3
2
CONCEPTS
OF
SPECIFICATION
5
3
A
FIRST
SIMPLE
APPROACH
7
3.1
STATE-BASED
ASSUMPTION/COMMITMENT
SPECIFICATIONS
.
7
3.2
A
SIMPLE
FUNCTIONAL
ASSUMPTION/COMMITMENT
FORMAT
.
9
3.3
ANALYSIS
OF
ASSUMPTION/COMMITMENT
SPECIFICATIONS
.
12
3
4
A
CANONICAL
ASSUMPTION/COMMITMENT
FORMAT
.
15
4
A
MORE
GENERAL
ASSUMPTION/COMMITMENT
FORMAT
16
4
1
ASSUMPTION
/
COMMITMENT
FORMATS
WITH
PROPHECIES
.
16
4
2
ANALYSIS
OF
THE
FORMAT
WITH
PROPHECIES
.
19
5
MORE
REFINED
SEMANTIC
CONCEPTS
21
5.1
ADDITIONAL
NOTATIONAL
CONCEPTS
.
21
5.2
INPUT
CHOICE
SPECIFICATIONS
.
22
5
3
ASSUMPTION
AND
COMMITMENT
SPECIFICATIONS
.
24
5.4
SAFETY
AND
LIVENESS
.
26
5.5
COMPONENT
SAFETY
AND
LIVENESS
.
27
6
ASSUMPTION/COMMITMENT
SPECIFICATIONS
30
7
GENERAL
ASSUMPTION/COMMITMENT
FORMAT
31
8
CONCLUSION
35 |
| any_adam_object | 1 |
| author | Broy, Manfred 1949- |
| author_GND | (DE-588)109602137 |
| author_facet | Broy, Manfred 1949- |
| author_role | aut |
| author_sort | Broy, Manfred 1949- |
| author_variant | m b mb |
| building | Verbundindex |
| bvnumber | BV009967250 |
| ctrlnum | (OCoLC)64519759 (DE-599)BVBBV009967250 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV009967250</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040416</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">941219s1994 gw t||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">942877861</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)64519759</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009967250</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">TUM I 9417</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Broy, Manfred</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)109602137</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A functional rephrasing of the assumption/commitment specification style</subfield><subfield code="c">Manfred Broy</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">37 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">Technische Universität <München>: TUM-I</subfield><subfield code="v">9417</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht / A</subfield><subfield code="v">1994,10</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The assumption/commitment (also called rely/guarantee) style has been advocated for the specification of interactive components of distributed systems. One of its motivations is to achieve modularity for state transition specifications of system components. It suggests the structuring of specifications into assumptions about the behavior of the component's environment and into commitments that are fulfilled by the component provided the environment fulfills these assumptions. We define the assumption/commitment formats for functional system specifications. In particular, we work out a canonical decomposition of system specifications following the assumption/commitment format into safety and liveness aspects. We demonstrate the format of assumption/commitment specifications by a number of examples. In particular, we discuss the methodological significance of the assumption/commitment format in the stepwise development of specifications."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Distributed parameter systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Functional programming (Computer science)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4155043-2</subfield><subfield code="a">Forschungsbericht</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">A</subfield><subfield code="t">Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht</subfield><subfield code="v">1994,10</subfield><subfield code="w">(DE-604)BV004627888</subfield><subfield code="9">1994,10</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Technische Universität <München>: TUM-I</subfield><subfield code="v">9417</subfield><subfield code="w">(DE-604)BV006185376</subfield><subfield code="9">9417</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006605741&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield></record></collection> |
| genre | (DE-588)4155043-2 Forschungsbericht gnd-content |
| genre_facet | Forschungsbericht |
| id | DE-604.BV009967250 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-20T03:29:51Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006605741 |
| oclc_num | 64519759 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM |
| owner_facet | DE-12 DE-91G DE-BY-TUM |
| physical | 37 S. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| record_format | marc |
| series | Technische Universität <München>: TUM-I |
| series2 | Technische Universität <München>: TUM-I Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht / A |
| spelling | Broy, Manfred 1949- Verfasser (DE-588)109602137 aut A functional rephrasing of the assumption/commitment specification style Manfred Broy München 1994 37 S. txt rdacontent n rdamedia nc rdacarrier Technische Universität <München>: TUM-I 9417 Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht / A 1994,10 Abstract: "The assumption/commitment (also called rely/guarantee) style has been advocated for the specification of interactive components of distributed systems. One of its motivations is to achieve modularity for state transition specifications of system components. It suggests the structuring of specifications into assumptions about the behavior of the component's environment and into commitments that are fulfilled by the component provided the environment fulfills these assumptions. We define the assumption/commitment formats for functional system specifications. In particular, we work out a canonical decomposition of system specifications following the assumption/commitment format into safety and liveness aspects. We demonstrate the format of assumption/commitment specifications by a number of examples. In particular, we discuss the methodological significance of the assumption/commitment format in the stepwise development of specifications." Distributed parameter systems Functional programming (Computer science) Parallelverarbeitung (DE-588)4075860-6 gnd rswk-swf (DE-588)4155043-2 Forschungsbericht gnd-content Parallelverarbeitung (DE-588)4075860-6 s DE-604 A Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht 1994,10 (DE-604)BV004627888 1994,10 Technische Universität <München>: TUM-I 9417 (DE-604)BV006185376 9417 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006605741&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Broy, Manfred 1949- A functional rephrasing of the assumption/commitment specification style Technische Universität <München>: TUM-I Distributed parameter systems Functional programming (Computer science) Parallelverarbeitung (DE-588)4075860-6 gnd |
| subject_GND | (DE-588)4075860-6 (DE-588)4155043-2 |
| title | A functional rephrasing of the assumption/commitment specification style |
| title_auth | A functional rephrasing of the assumption/commitment specification style |
| title_exact_search | A functional rephrasing of the assumption/commitment specification style |
| title_full | A functional rephrasing of the assumption/commitment specification style Manfred Broy |
| title_fullStr | A functional rephrasing of the assumption/commitment specification style Manfred Broy |
| title_full_unstemmed | A functional rephrasing of the assumption/commitment specification style Manfred Broy |
| title_short | A functional rephrasing of the assumption/commitment specification style |
| title_sort | a functional rephrasing of the assumption commitment specification style |
| topic | Distributed parameter systems Functional programming (Computer science) Parallelverarbeitung (DE-588)4075860-6 gnd |
| topic_facet | Distributed parameter systems Functional programming (Computer science) Parallelverarbeitung Forschungsbericht |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006605741&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV004627888 (DE-604)BV006185376 |
| work_keys_str_mv | AT broymanfred afunctionalrephrasingoftheassumptioncommitmentspecificationstyle |