CASL user manual: introduction to using the common algebraic specification language
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
2004
|
| Schriftenreihe: | Lecture notes in computer science
2900 : Tutorial |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIII, 240 S. CD-ROM (12 cm) |
| ISBN: | 354020766X |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV017828465 | ||
| 003 | DE-604 | ||
| 005 | 20181011 | ||
| 007 | t| | ||
| 008 | 040203s2004 gw |||| 00||| eng d | ||
| 016 | 7 | |a 969607571 |2 DE-101 | |
| 020 | |a 354020766X |9 3-540-20766-X | ||
| 035 | |a (OCoLC)54046553 | ||
| 035 | |a (DE-599)BVBBV017828465 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-706 |a DE-11 | ||
| 050 | 0 | |a QA76.73.C158 | |
| 082 | 0 | |a 005.13/3 |2 22 | |
| 084 | |a DAT 335f |2 stub | ||
| 084 | |a DAT 358f |2 stub | ||
| 100 | 1 | |a Bidoit, Michel |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a CASL user manual |b introduction to using the common algebraic specification language |c Michel Bidoit ; Peter D. Mosses |
| 264 | 1 | |a Berlin u.a. |b Springer |c 2004 | |
| 300 | |a XIII, 240 S. |e CD-ROM (12 cm) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 2900 : Tutorial | |
| 650 | 4 | |a CASL (Langage de programmation) | |
| 650 | 7 | |a CASL (Langage de programmation) |2 rasuqam | |
| 650 | 4 | |a CASL (Computer program language) | |
| 650 | 0 | 7 | |a CASL |0 (DE-588)4769218-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a CD-ROM |0 (DE-588)4139307-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a CASL |0 (DE-588)4769218-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a CASL |0 (DE-588)4769218-2 |D s |
| 689 | 1 | 1 | |a CD-ROM |0 (DE-588)4139307-7 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Mosses, Peter D. |d 1948- |e Verfasser |0 (DE-588)1089492286 |4 aut | |
| 830 | 0 | |a Lecture notes in computer science |v 2900 : Tutorial |w (DE-604)BV000000607 |9 2900 | |
| 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=010701558&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-010701558 | |
Datensatz im Suchindex
| _version_ | 1820874932205125632 |
|---|---|
| adam_text |
CONTENTS
PART I BACKGROUND
1 INTRODUCTION
.
3
1.1 COFI . 3
1.2 C
ASL
. 7
2 UNDERLYING CONCEPTS
.
11
2.1 BASICSPECIFICATIONS. 11
2.2 STRUCTUREDSPECIFICATIONS . 15
2.3 ARCHITECTURALSPECIFICATIONS. 19
2.4 LIBRARIESOFSPECIFICATIONS . 20
PART II C
ASL
SPECIFICATIONS
3 GETTING STARTED
.
23
3.1 LOOSESPECIFICATIONS . 24
3.2 GENERATEDSPECIFICATIONS . 33
3.3 FREESPECIFICATIONS. 36
4 PARTIAL FUNCTIONS
.
47
4.1 DECLARINGPARTIALFUNCTIONS. 47
4.2 SPECIFYINGDOMAINSOFDEFINITION . 50
4.3 PARTIALSELECTORSANDCONSTRUCTORS. 54
4.4 EXISTENTIALEQUALITY . 55
5 SUBSORTING
.
57
5.1 SUBSORT DECLARATIONS AND DEFINITIONS . . . . . . . . . . . . . . . .
. . . . . . 57
5.2 SUBSORTS AND OVERLOADING . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . 61
5.3 SUBSORTS AND PARTIALITY . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . 62
XII CONTENTS
6 STRUCTURING SPECIFICATIONS
.
67
6.1 UNIONANDEXTENSION . 67
6.2 RENAMING . 69
6.3 HIDING . 71
6.4 LOCALSPECIFICATIONS. 73
6.5 NAMEDSPECIFICATIONS . 75
7 GENERIC SPECIFICATIONS
.
77
7.1 PARAMETERSANDINSTANTIATION . 78
7.2 COMPOUNDSYMBOLS . 85
7.3 GENERICSPECIFICATIONSWITHIMPORTS. 88
7.4 VIEWS. 90
8 SPECIFYING THE ARCHITECTURE OF IMPLEMENTATIONS
.
93
8.1 ARCHITECTURALSPECIFICATIONS. 95
8.2 GENERICCOMPONENTS.100
8.3 WRITING MEANINGFUL ARCHITECTURAL SPECIFICATIONS . . . . . . . . . .
. . 106
9 LIBRARIES
.
111
9.1 LOCALLIBRARIES.112
9.2 DISTRIBUTEDLIBRARIES.116
9.3 VERSIONCONTROL .120
PART III CARRYING ON
10 FOUNDATIONS
.
125
11 TOOLS
.
131
11.1 THE HETEROGENEOUS TOOL SET (H
ETS
) .132
11.2 H
OL
-C
ASL
.138
11.3 A
SF
+S
DF
PARSERANDSYNTAX-DIRECTEDEDITOR .139
11.4 OTHERTOOLS .140
12 BASIC LIBRARIES
.
143
12.1 LIBRARY
BASIC/NUMBERS
.144
12.2 LIBRARY
BASIC/STRUCTUREDDATATYPES
.147
13 CASE STUDY: THE STEAM-BOILER CONTROL SYSTEM
.
155
13.1 INTRODUCTION.156
13.2 GETTINGSTARTED .157
13.3 CARRYINGON.161
13.4 SPECIFYINGTHEMODEOFOPERATION .163
13.5 SPECIFYING THE DETECTION OF EQUIPMENT FAILURES . . . . . . . . . .
. . 167
13.6 PREDICTINGTHEBEHAVIOROFTHESTEAM-BOILER .176
13.7 SPECIFYINGTHEMESSAGESTOSEND.182
CONTENTS XIII
13.8 THESTEAM-BOILERCONTROLSYSTEMSPECIFICATION.183
13.9 VALIDATION OF THE C
ASL
REQUIREMENTS SPECIFICATION . . . . . . . . . . 184
13.10 DESIGNINGTHEARCHITECTURE .186
APPENDICES
AC
ASL
QUICK REFERENCE
.
193
A.1 BASICSPECIFICATIONS.194
A.2 STRUCTUREDSPECIFICATIONS .199
A.3 ARCHITECTURALSPECIFICATIONS.200
A.4 LIBRARIES .201
BPO
I
N
T
S
T
O
B
E
A
R
I
N
M
I
N
D
.
.
203
B.1 INTRODUCTION.203
B.2 UNDERLYINGCONCEPTS.203
B.3 GETTINGSTARTED .204
B.4 PARTIALFUNCTIONS.205
B.5 SUBSORTING . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . 206
B.6 STRUCTURINGSPECIFICATIONS .206
B.7 GENERICSPECIFICATIONS.207
B.8 SPECIFYINGTHEARCHITECTUREOFIMPLEMENTATIONS .207
B.9 LIBRARIES .208
B.10 FOUNDATIONS . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . 209
B.11 TOOLS .209
B.12 BASICLIBRARIES.210
C THE STEAM-BOILER CONTROL SPECIFICATION PROBLEM
.
211
C.1 INTRODUCTION.211
C.2 PHYSICALENVIRONMENT.212
C.3 THEOVERALLOPERATIONOFTHEPROGRAM.214
C.4 OPERATIONMODESOFTHEPROGRAM.214
C.5 MESSAGESSENTBYTHEPROGRAM.216
C.6 MESSAGES RECEIVED BY THE PROGRAM . . . . . . . . . . . . . . . . . .
. . . . . 217
C.7 DETECTIONOFEQUIPMENTFAILURES.219
REFERENCES
.
221
LIST OF NAMED SPECIFICATIONS
.
225
INDEX OF LIBRARY AND SPECIFICATION NAMES
.
231
CONCEPT INDEX
.
235 |
| any_adam_object | 1 |
| author | Bidoit, Michel Mosses, Peter D. 1948- |
| author_GND | (DE-588)1089492286 |
| author_facet | Bidoit, Michel Mosses, Peter D. 1948- |
| author_role | aut aut |
| author_sort | Bidoit, Michel |
| author_variant | m b mb p d m pd pdm |
| building | Verbundindex |
| bvnumber | BV017828465 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.73.C158 |
| callnumber-search | QA76.73.C158 |
| callnumber-sort | QA 276.73 C158 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 335f DAT 358f |
| ctrlnum | (OCoLC)54046553 (DE-599)BVBBV017828465 |
| dewey-full | 005.13/3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/3 |
| dewey-search | 005.13/3 |
| dewey-sort | 15.13 13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV017828465</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20181011</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">040203s2004 gw |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">969607571</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354020766X</subfield><subfield code="9">3-540-20766-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)54046553</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017828465</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</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-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.73.C158</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/3</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 335f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 358f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bidoit, Michel</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">CASL user manual</subfield><subfield code="b">introduction to using the common algebraic specification language</subfield><subfield code="c">Michel Bidoit ; Peter D. Mosses</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 240 S.</subfield><subfield code="e">CD-ROM (12 cm)</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">Lecture notes in computer science</subfield><subfield code="v">2900 : Tutorial</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">CASL (Langage de programmation)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">CASL (Langage de programmation)</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">CASL (Computer program language)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">CASL</subfield><subfield code="0">(DE-588)4769218-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">CD-ROM</subfield><subfield code="0">(DE-588)4139307-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">CASL</subfield><subfield code="0">(DE-588)4769218-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">CASL</subfield><subfield code="0">(DE-588)4769218-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">CD-ROM</subfield><subfield code="0">(DE-588)4139307-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mosses, Peter D.</subfield><subfield code="d">1948-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1089492286</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2900 : Tutorial</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2900</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=010701558&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010701558</subfield></datafield></record></collection> |
| id | DE-604.BV017828465 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:07:35Z |
| institution | BVB |
| isbn | 354020766X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010701558 |
| oclc_num | 54046553 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-706 DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-706 DE-11 |
| physical | XIII, 240 S. CD-ROM (12 cm) |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Bidoit, Michel Verfasser aut CASL user manual introduction to using the common algebraic specification language Michel Bidoit ; Peter D. Mosses Berlin u.a. Springer 2004 XIII, 240 S. CD-ROM (12 cm) txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2900 : Tutorial CASL (Langage de programmation) CASL (Langage de programmation) rasuqam CASL (Computer program language) CASL (DE-588)4769218-2 gnd rswk-swf CD-ROM (DE-588)4139307-7 gnd rswk-swf CASL (DE-588)4769218-2 s DE-604 CD-ROM (DE-588)4139307-7 s Mosses, Peter D. 1948- Verfasser (DE-588)1089492286 aut Lecture notes in computer science 2900 : Tutorial (DE-604)BV000000607 2900 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010701558&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Bidoit, Michel Mosses, Peter D. 1948- CASL user manual introduction to using the common algebraic specification language Lecture notes in computer science CASL (Langage de programmation) CASL (Langage de programmation) rasuqam CASL (Computer program language) CASL (DE-588)4769218-2 gnd CD-ROM (DE-588)4139307-7 gnd |
| subject_GND | (DE-588)4769218-2 (DE-588)4139307-7 |
| title | CASL user manual introduction to using the common algebraic specification language |
| title_auth | CASL user manual introduction to using the common algebraic specification language |
| title_exact_search | CASL user manual introduction to using the common algebraic specification language |
| title_full | CASL user manual introduction to using the common algebraic specification language Michel Bidoit ; Peter D. Mosses |
| title_fullStr | CASL user manual introduction to using the common algebraic specification language Michel Bidoit ; Peter D. Mosses |
| title_full_unstemmed | CASL user manual introduction to using the common algebraic specification language Michel Bidoit ; Peter D. Mosses |
| title_short | CASL user manual |
| title_sort | casl user manual introduction to using the common algebraic specification language |
| title_sub | introduction to using the common algebraic specification language |
| topic | CASL (Langage de programmation) CASL (Langage de programmation) rasuqam CASL (Computer program language) CASL (DE-588)4769218-2 gnd CD-ROM (DE-588)4139307-7 gnd |
| topic_facet | CASL (Langage de programmation) CASL (Computer program language) CASL CD-ROM |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010701558&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT bidoitmichel caslusermanualintroductiontousingthecommonalgebraicspecificationlanguage AT mossespeterd caslusermanualintroductiontousingthecommonalgebraicspecificationlanguage |