Semantic integration of heterogeneous software specifications:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2004
|
| Schriftenreihe: | Monographs in theoretical computer science
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | IX, 327 S. graph. Darst. |
| ISBN: | 3540402578 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV017159489 | ||
| 003 | DE-604 | ||
| 005 | 20040130 | ||
| 007 | t | ||
| 008 | 030520s2004 gw d||| |||| 00||| eng d | ||
| 016 | 7 | |a 967572789 |2 DE-101 | |
| 020 | |a 3540402578 |9 3-540-40257-8 | ||
| 035 | |a (OCoLC)53814506 | ||
| 035 | |a (DE-599)BVBBV017159489 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-824 |a DE-634 | ||
| 050 | 0 | |a QA76.76.D47 | |
| 082 | 0 | |a 005 |2 22 | |
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 100 | 1 | |a Große-Rhode, Martin |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Semantic integration of heterogeneous software specifications |c Martin Große-Rhode |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2004 | |
| 300 | |a IX, 327 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Monographs in theoretical computer science | |
| 650 | 4 | |a Informatique | |
| 650 | 4 | |a Logiciels - Développement | |
| 650 | 4 | |a Logiciels - Spécifications | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer software |x Development | |
| 650 | 4 | |a Computer software |x Specifications | |
| 650 | 0 | 7 | |a Semantikerhaltende Transformation |0 (DE-588)4615977-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 0 | 2 | |a Semantikerhaltende Transformation |0 (DE-588)4615977-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010344103&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-010344103 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804130023208124416 |
|---|---|
| adam_text | MARTIN GROFIE-RHODE SEMANTIC INTEGRATION OF HETEROGENEOUS SOFTWARE
SPECIFICATIONS WITH 78 FIGURES SPRINGER CONTENTS INTRODUCTION 1 1.1 THE
VIEWPOINT MODEL OF SOFTWARE SYSTEMS DEVELOPMENT 2 1.2 INTEGRATION OF
SPECIFICATIONS 5 1.2.1 ADMISSIBLE INTERPRETATIONS, CORRESPONDENCES, AND
CONSISTENCY 10 1.2.2 LANGUAGE- AND METHOD-INDEPENDENT INTEGRATION 13 1.3
REQUIREMENTS OF REFERENCE MODELS AND THEIR USAGE 16 1.4 THE
TRANSFORMATION SYSTEMS REFERENCE MODEL 17 1.4.1 TRANSFORMATION SYSTEMS
18 1.4.2 DEVELOPMENT OPERATIONS AND RELATIONS 20 1.4.3 COMPOSITION 22
1.4.4 GRANULARITY 25 1.5 ORGANISATION OF THE BOOK 27 TRANSFORMATION
SYSTEMS 29 2.1 TRANSITION GRAPHS AND DATA SPACES 30 2.2 EXAMPLES 38 2.3
DATA SPACES FROM OTHER SPECIFICATION FRAMEWORKS 49 2.4 OBJECTS AND
OBJECT REFERENCES 52 2.5 DISCUSSION 57 SPECIFICATION OF PROPERTIES 63
3.1 DATA SPACE SPECIFICATION 64 3.2 CONTROL FLOW SPECIFICATION 71 3.3
EXAMPLES 78 3.4 REWRITING ALGEBRAS WITH TRANSFORMATION RULES 85 3.5
SPECIFICATION WITH OTHER FORMULAE 95 3.6 DISCUSSION 99 VIII CONTENTS 4
DEVELOPMENT OF TRANSFORMATION SYSTEMS 103 4.1 DEVELOPMENT OPERATIONS 105
4.2 EXTENSION AND REDUCTION 112 4.3 CATEGORICAL STRUCTURE 119 4.4
REFINEMENT AND IMPLEMENTATION 122 4.5 EXAMPLES 132 4.6 PRESERVATION OF
PROPERTIES 140 4.7 THE INSTITUTION OF TRANSFORMATION SYSTEMS 144 4.8
DEVELOPMENT W.R.T. OTHER SPECIFICATION FRAMEWORKS 146 4.9 DISCUSSION 157
5 COMPOSITION OF TRANSFORMATION SYSTEMS 161 5.1 BINARY COMPOSITION VIA
CONNECTION RELATIONS 163 5.2 CATEGORICAL STRUCTURE 174 5.3
COMPOSITION-BY-LIMITS 180 5.4 COMPOSITIONAL SEMANTICS 184 5.5
COMPOSITIONALITY OF PROPERTIES 186 5.6 COMPOSITIONALITY OF DEVELOPMENTS
187 5.7 MORPHISMS OF TRANSFORMATION SYSTEMS WITH DISTRIBUTED DATA . 195
5.8 CONSTRUCTION OF GENERAL COMPOSITIONS BY GLOBAL LIMITS 202 5.9
SEQUENTIAL COMPOSITION 213 5.10 COMPOSITION W.R.T. OTHER SPECIFICATION
FRAMEWORKS 217 5.11 DISCUSSION 224 6 APPLICATIONS TO UML SOFTWARE
SPECIFICATIONS 229 6.1 CLASS DIAGRAM SEMANTICS 230 6.1.1 ARCHITECTURE:
CLASS GRAPHS AND OBJECT GRAPHS 232 6.1.2 INTERNAL STRUCTURE: CLASS
SIGNATURES AND OBJECT STATES . 236 6.1.3 SIGNATURE DIAGRAMS AND SYSTEM
STATES 238 6.1.4 A LANGUAGE FOR OBJECT SYSTEMS 242 6.1.5 EVALUATION OF
EXPRESSIONS 246 6.1.6 FURTHER STATIC FEATURES OF CLASS DIAGRAMS 249
6.1.7 STATE TRANSFORMATIONS 250 6.2 STATE MACHINE SEMANTICS 251 6.2.1
CONTROL AND DATA STATES 252 6.2.2 TRANSITIONS AND TRANSFORMATIONS 254
6.3 COMPOSITION OF STATE MACHINES 258 6.3.1 ASYNCHRONOUS COMMUNICATION
259 6.3.2 SYNCHRONOUS COMMUNICATION 261 6.4 INTEGRATION OF CLASS
DIAGRAMS AND STATE MACHINES 266 6.5 SEQUENCE DIAGRAM SEMANTICS 268 6.6
DISCUSSION 271 CONTENTS IX 7 CONCLUSION 277 7.1 SUMMARY 278 7.2 FURTHER
DEVELOPMENTS AND APPLICATIONS 282 7.2.1 UML INTEGRATION 282 7.2.2
INTEGRATION METHODS 285 7.2.3 ARCHITECTURE DESCRIPTION 286 7.3 RELATED
APPROACHES 287 7.3.1 INTEGRATION OF STATIC STATES AND DYNAMIC CHANGES
287 7.3.2 CATEGORICAL COMPOSITION OF THEORIES AND MODELS 291 7.3.3
CONSISTENCY AND INTEGRATION OF VIEWPOINT SPECIFICATIONS 293 7.3.4
SEMANTIC UNIFICATION OF PROGRAMMING LANGUAGES 294 7.4 METHODOLOGICAL
REMARKS 296 A PARTIAL ALGEBRAS AND THEIR SPECIFICATION 303 REFERENCES
311 INDEX 325
|
| any_adam_object | 1 |
| author | Große-Rhode, Martin |
| author_facet | Große-Rhode, Martin |
| author_role | aut |
| author_sort | Große-Rhode, Martin |
| author_variant | m g r mgr |
| building | Verbundindex |
| bvnumber | BV017159489 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.D47 |
| callnumber-search | QA76.76.D47 |
| callnumber-sort | QA 276.76 D47 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 233 |
| ctrlnum | (OCoLC)53814506 (DE-599)BVBBV017159489 |
| dewey-full | 005 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005 |
| dewey-search | 005 |
| dewey-sort | 15 |
| 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>02087nam a2200529 c 4500</leader><controlfield tag="001">BV017159489</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040130 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">030520s2004 gw d||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">967572789</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540402578</subfield><subfield code="9">3-540-40257-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)53814506</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017159489</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-824</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.D47</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Große-Rhode, Martin</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Semantic integration of heterogeneous software specifications</subfield><subfield code="c">Martin Große-Rhode</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">IX, 327 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">Monographs in theoretical computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels - Développement</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels - Spécifications</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Specifications</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantikerhaltende Transformation</subfield><subfield code="0">(DE-588)4615977-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><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">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Semantikerhaltende Transformation</subfield><subfield code="0">(DE-588)4615977-0</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">HEBIS Datenaustausch Darmstadt</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=010344103&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-010344103</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV017159489 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T19:14:26Z |
| institution | BVB |
| isbn | 3540402578 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010344103 |
| oclc_num | 53814506 |
| open_access_boolean | |
| owner | DE-824 DE-634 |
| owner_facet | DE-824 DE-634 |
| physical | IX, 327 S. graph. Darst. |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Springer |
| record_format | marc |
| series2 | Monographs in theoretical computer science |
| spelling | Große-Rhode, Martin Verfasser aut Semantic integration of heterogeneous software specifications Martin Große-Rhode Berlin [u.a.] Springer 2004 IX, 327 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Monographs in theoretical computer science Informatique Logiciels - Développement Logiciels - Spécifications Informatik Computer science Computer software Development Computer software Specifications Semantikerhaltende Transformation (DE-588)4615977-0 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Softwareentwicklung (DE-588)4116522-6 s Softwarespezifikation (DE-588)4056186-0 s Semantikerhaltende Transformation (DE-588)4615977-0 s DE-604 HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010344103&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Große-Rhode, Martin Semantic integration of heterogeneous software specifications Informatique Logiciels - Développement Logiciels - Spécifications Informatik Computer science Computer software Development Computer software Specifications Semantikerhaltende Transformation (DE-588)4615977-0 gnd Softwareentwicklung (DE-588)4116522-6 gnd Softwarespezifikation (DE-588)4056186-0 gnd |
| subject_GND | (DE-588)4615977-0 (DE-588)4116522-6 (DE-588)4056186-0 (DE-588)4113937-9 |
| title | Semantic integration of heterogeneous software specifications |
| title_auth | Semantic integration of heterogeneous software specifications |
| title_exact_search | Semantic integration of heterogeneous software specifications |
| title_full | Semantic integration of heterogeneous software specifications Martin Große-Rhode |
| title_fullStr | Semantic integration of heterogeneous software specifications Martin Große-Rhode |
| title_full_unstemmed | Semantic integration of heterogeneous software specifications Martin Große-Rhode |
| title_short | Semantic integration of heterogeneous software specifications |
| title_sort | semantic integration of heterogeneous software specifications |
| topic | Informatique Logiciels - Développement Logiciels - Spécifications Informatik Computer science Computer software Development Computer software Specifications Semantikerhaltende Transformation (DE-588)4615977-0 gnd Softwareentwicklung (DE-588)4116522-6 gnd Softwarespezifikation (DE-588)4056186-0 gnd |
| topic_facet | Informatique Logiciels - Développement Logiciels - Spécifications Informatik Computer science Computer software Development Computer software Specifications Semantikerhaltende Transformation Softwareentwicklung Softwarespezifikation Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010344103&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT großerhodemartin semanticintegrationofheterogeneoussoftwarespecifications |