Attributed algebraic specifications:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
München
Utz, Wiss.
1996
|
| Schriftenreihe: | Informatik
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Zugl.: München, Techn. Univ., Diss., 1996 |
| Beschreibung: | IV, 222 S. graph. Darst. |
| ISBN: | 3896751476 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011146375 | ||
| 003 | DE-604 | ||
| 005 | 20120914 | ||
| 007 | t | ||
| 008 | 970107s1996 gw d||| m||| 00||| ger d | ||
| 016 | 7 | |a 949406503 |2 DE-101 | |
| 020 | |a 3896751476 |c brosch. : DM 118.00 (freier Pr.) |9 3-89675-147-6 | ||
| 035 | |a (OCoLC)645791135 | ||
| 035 | |a (DE-599)BVBBV011146375 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 |a DE-91 | ||
| 100 | 1 | |a Bauer, Bernhard |e Verfasser |0 (DE-588)1025972589 |4 aut | |
| 245 | 1 | 0 | |a Attributed algebraic specifications |c Bernhard Bauer |
| 264 | 1 | |a München |b Utz, Wiss. |c 1996 | |
| 300 | |a IV, 222 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Informatik | |
| 500 | |a Zugl.: München, Techn. Univ., Diss., 1996 | ||
| 650 | 0 | 7 | |a Attributierte Grammatik |0 (DE-588)4003464-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 0 | 1 | |a Attributierte Grammatik |0 (DE-588)4003464-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 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=007471317&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007471317 | ||
Datensatz im Suchindex
| _version_ | 1804125640096481280 |
|---|---|
| adam_text | BERNHARD
BAUER
ATTRIBUTED
ALGEBRAIC
SPECIFICATIONS
UTZ
HERBERT
UTZ
VEHAG
WISSENSCHAFT
MUNCHEN
1996
TABLE
OF
CONTENTS
ABSTRACT
ACKNOWLEDGEMENT
TABLEOF
CONTENTS
I
1
INTRODUCTION
1
1.1
EXTENSIONS
OF
ALGEBRAIC
SPECIFICATIONS
2
1.2
NOTION
OF
BEHAVIOUR
3
1.3
ATTRIBUTE
DEPENDENCIES
AND
ATTRIBUTE
EVALUATION
3
1.4
CALCULI
4
1.5
REFINEMENTS
5
1.6
RELATED
WORK
5
1.7
CASE
STUDIES
7
1.8
FURTHER
RESEARCH
8
1.9
RESUME
9
1.10
ORGANIZATION
OF
THE
THESIS
10
2
BASIC
NOTIONS
13
2.1
ALGEBRAIC
SPECIFICATIONS
13
2.2
ATTRIBUTE
GRAMMARS
15
3
ATTRIBUTED
ALGEBRAIC
SPECIFICATIONS
17
3.1
MOTIVATION
17
3.2
SYNTAX
21
3.3
SEMANTICS
27
3.4
BEHAVIOURAL
ATTRIBUTED
ALGEBRAIC
SPECIFICATIONS
30
3.4.1
BACKGROUND
AND
MOTIVATION
30
3.4.2
SYNTAX
31
3.4.3
SEMANTICS
33
3.5
STRUCTURED
ATTRIBUTED
ALGEBRAIC
SPECIFICATIONS
34
3.5.1
STRUCTURING
MECHANISMS
34
3.5.2
NORMALIZATION
36
3.6
ATTRIBUTED
SIGNATURE
FLOW
ANALYSIS
43
4
ATTRIBUTE
DEPENDENCIES
AND
ATTRIBUTE
EVALUATION
47
4.1
ATTRIBUTE
DEPENDENCIES
47
4.2
ATTRIBUTE
EVALUATION
59
4.2.1
INTRODUCTION
TO
ATTRIBUTE
EVALUATION
59
4.2.2
DYNAMIC
ATTRIBUTE
EVALUATION
FOR
UNDIRECTED
ATTRIBUTE
EQUATIONS
60
4.2.2.1
ABSTRACT
ALGORITHM
60
4.2.3
ATTRIBUTE
EVALUATION
ORDERING
64
4.2.4
SUBORDINATEAND
SUPERIOR
CHARACTERISTIC
SET
68
5
CALCULI
FOR
ATTRIBUTED
ALGEBRAIC
SPECIFICATIONS
71
5.1
UNIFICATION
CALCULUS
71
5.2
UNIVERSALLY
QUANTIFIED
FORMULAE
82
5.2.1
ATTRIBUTED
EQUATIONAL
CALCULUS
82
5.2.2
ATTRIBUTED
TERM
INDUCTION
84
5.2.3
INDUCTION
ORDERINGS
91
5.2.4
SEMI-ALGORITHM
98
5.2.5
HEURISTICS
103
5.3
EXISTENTIALLY
QUANTIFIED
FORMULAE
104
5.3.1
SOLVING
EQUATIONS
WITH
SUBTERM
IDENTIFIERS
105
5.3.1.1
MOTIVATION
AND
APPLICATION
AREAS
105
5.3.1.2
SMALL
EXAMPLE
106
5.3.2
ATTRIBUTED
NARROWING
107
5.3.2.1
ATTRIBUTED
NARROWING
CALCULUS
107
5.3.2.2
ATTRIBUTE
VALUE
CALCULATION
ILL
6
REFINEMENTS
113
6.1
AIMS
113
6.2
STANDARD
IMPLEMENTATIONS
114
6.3
BEHAVIOURAL
IMPLEMENTATIONS
116
6.4
EXAMPLE
OF
A
BEHAVIOURAL
IMPLEMENTATION
PROOF
118
6.5
PROPERTIES
OF
THE
IMPLEMENTATION
RELATIONS
119
7
RELATED
WORK
125
7.1
ATTRIBUTE
GRAMMARS
125
7.1.1
HIGHER-ORDER
ATTRIBUTE
GRAMMARS
AND
ATTRIBUTE
COUPLED
GRAMMARS
125
7.1.2
TREE
TRANSFORMATIONS
126
7.1.3
PROOF
PRINCIPLES
FOR
ATTRIBUTE
GRAMMARS
127
7.1.4
OBJECT-ORIENTED
EXTENSIONS
127
7.1.5
MAX
SYSTEM
AND
ITS
THEORY
128
7.1.6
MODULARITY
AND
REUSABILITY
IN
ATTRIBUTE
GRAMMARS
129
7.1.7
CYCLIC
ATTRIBUTE
DEPENDENCIES
AND
INCREMENTAL
ATTRIBUTE
EVALUATION
130
7.2
ALGEBRAIC
SPECIFICATIONS
130
7.2.1
GRAMMARS
AS
SIGNATURES
AND
ATTRIBUTE
GRAMMARS
AS
ALGEBRAS
130
7.2.2
CONTEXT
INDUCTION
131
7.2.3PRIMITIVE
RECURSIVE
SCHEMES
AND
ASF+SDF
131
7.2.4
HIGHER-ORDER
ALGEBRAIC
SPECIFICATIONS
132
8
CASE
STUDIES
135
8.1
SPECIFYING
USER
INTERFACES
.137
8.1.1
INTUITIVE
ACCESS
TO
THE
SPECIFICATION
OF
USER
INTERFACES
138
8.1.2
USER
INTERFACE
SPECIFICATION
OF
AN
ISDN
TELEPHONE
140
8.1.3
PROVING
PROPERTIES
OF
USER
INTERFACE
SPECIFICATIONS
144
8.1.4
DERIVING
INTELLIGENT
HELP
147
8.1.5
MORE
ABOUT
USER
INTERFACES:
GENERATING
USER
INTERFACES
FROM
FORMAL
SPECIFICATIONS
OF
THE
APPLICATION
148
8.1.5.1
THE
PROBLEM
149
8.1.5.2
GENERATION
IDEA
OF
THE
DIALOGUE
SPECIFICATION
151
8.1.5.3
GENERATING
A
SPECIFICATION
OF
THE
PERFORMABLE
DIALOGUES
156
8.1.6
REMARKS
158
8.2
SPECIFYING
COMPILERS
158
8.2.1
SYNTAX
AND
SEMANTICS
OF
THE
SOURCE
LANGUAGE
159
8.2.2
COMPILING
EXPRESSIONS
INTO
STACK
MACHINE
CODE
160
8.2.3
COMPILING
EXPRESSIONS
INTO
REGISTERCODE
162
8.2.4
INVERSE
ATTRIBUTION
168
8.3
SPECIFYING
DOCUMENT
ARCHITECTURE
SYSTEMS
168
9
FURTHER
RESEARCH
DIRECTIONS
175
9.1
PROTOTYPICAL
IMPLEMENTATIONS
175
9.2
STATE-BASED
REWRITING
175
9.3
COMMUNICATION
BETWEEN
DIFFERENT
PROCESSES
AND
CONDITIONAL
EQUATIONS
...176
II
9.4
USER
INTERFACES
179
9.5
FURTHER
CASE
STUDIES
179
9.6
ATTRIBUTE
EVALUATION
AND
CALCULI
179
9.7
..SPECIFICATION
SUGAR
180
10
CONCLUSIONS
.-........-.
..
.
.
.
.-...-181
TABLE
OF
FIGURES
183
TABLE
OF
NOTATIONS
AND
ABBREVIATIONS
185
REFERENCES
187
A
BASIC
SPECIFICATIONS
195
B
EXAMPLES
197
B.L
INSTANTIATED
LOCAL
DEPENDENCY
SET
197
B.2
BEHAVIOURAL
IMPLEMENTATION
PROOF
198
B.3
SOLVING
EXISTENTIALLY
QUANTIFIED
FORMULAE
203
B.4
PROVING
THE
CORRECTNESS
OF
THE
COMPILER
SPECIFICATIONS
206
INDEX
217
III
|
| any_adam_object | 1 |
| author | Bauer, Bernhard |
| author_GND | (DE-588)1025972589 |
| author_facet | Bauer, Bernhard |
| author_role | aut |
| author_sort | Bauer, Bernhard |
| author_variant | b b bb |
| building | Verbundindex |
| bvnumber | BV011146375 |
| ctrlnum | (OCoLC)645791135 (DE-599)BVBBV011146375 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01517nam a2200385 c 4500</leader><controlfield tag="001">BV011146375</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120914 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">970107s1996 gw d||| m||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">949406503</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3896751476</subfield><subfield code="c">brosch. : DM 118.00 (freier Pr.)</subfield><subfield code="9">3-89675-147-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)645791135</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011146375</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">ger</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-91</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bauer, Bernhard</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1025972589</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Attributed algebraic specifications</subfield><subfield code="c">Bernhard Bauer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Utz, Wiss.</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IV, 222 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="0" ind2=" "><subfield code="a">Informatik</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: München, Techn. Univ., Diss., 1996</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Attributierte Grammatik</subfield><subfield code="0">(DE-588)4003464-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-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)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Attributierte Grammatik</subfield><subfield code="0">(DE-588)4003464-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</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=007471317&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007471317</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV011146375 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:04:46Z |
| institution | BVB |
| isbn | 3896751476 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007471317 |
| oclc_num | 645791135 |
| open_access_boolean | |
| owner | DE-12 DE-91 DE-BY-TUM |
| owner_facet | DE-12 DE-91 DE-BY-TUM |
| physical | IV, 222 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Utz, Wiss. |
| record_format | marc |
| series2 | Informatik |
| spelling | Bauer, Bernhard Verfasser (DE-588)1025972589 aut Attributed algebraic specifications Bernhard Bauer München Utz, Wiss. 1996 IV, 222 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Informatik Zugl.: München, Techn. Univ., Diss., 1996 Attributierte Grammatik (DE-588)4003464-1 gnd rswk-swf Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Algebraische Spezifikation (DE-588)4207192-6 s Attributierte Grammatik (DE-588)4003464-1 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007471317&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Bauer, Bernhard Attributed algebraic specifications Attributierte Grammatik (DE-588)4003464-1 gnd Algebraische Spezifikation (DE-588)4207192-6 gnd |
| subject_GND | (DE-588)4003464-1 (DE-588)4207192-6 (DE-588)4113937-9 |
| title | Attributed algebraic specifications |
| title_auth | Attributed algebraic specifications |
| title_exact_search | Attributed algebraic specifications |
| title_full | Attributed algebraic specifications Bernhard Bauer |
| title_fullStr | Attributed algebraic specifications Bernhard Bauer |
| title_full_unstemmed | Attributed algebraic specifications Bernhard Bauer |
| title_short | Attributed algebraic specifications |
| title_sort | attributed algebraic specifications |
| topic | Attributierte Grammatik (DE-588)4003464-1 gnd Algebraische Spezifikation (DE-588)4207192-6 gnd |
| topic_facet | Attributierte Grammatik Algebraische Spezifikation Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007471317&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT bauerbernhard attributedalgebraicspecifications |