Semantic Integration of Heterogeneous Software Specifications:
In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Because of the unavoidable heterogeneity of the viewpoint models, a semantic integration is required, to establish the correspondences of the models and al...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2004
|
| Ausgabe: | 1st ed. 2004 |
| Schriftenreihe: | Monographs in Theoretical Computer Science. An EATCS Series
|
| Schlagworte: | |
| Online-Zugang: | UBY01 Volltext |
| Zusammenfassung: | In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Because of the unavoidable heterogeneity of the viewpoint models, a semantic integration is required, to establish the correspondences of the models and allow checking of their relative consistency. The integration approach introduced in this book is based on a common semantic domain of abstract systems, their composition and development. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches. These range from formal specification techniques like process calculi, Petri nets and rule-based formalisms to semiformal software modeling languages like those in the UML family |
| Beschreibung: | 1 Online-Ressource (IX, 330 p) |
| ISBN: | 9783662098530 |
| DOI: | 10.1007/978-3-662-09853-0 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV047064734 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 201216s2004 |||| o||u| ||||||eng d | ||
| 020 | |a 9783662098530 |9 978-3-662-09853-0 | ||
| 024 | 7 | |a 10.1007/978-3-662-09853-0 |2 doi | |
| 035 | |a (ZDB-2-SCS)978-3-662-09853-0 | ||
| 035 | |a (OCoLC)1227481548 | ||
| 035 | |a (DE-599)BVBBV047064734 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 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 by Martin Große-Rhode |
| 250 | |a 1st ed. 2004 | ||
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 2004 | |
| 300 | |a 1 Online-Ressource (IX, 330 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Monographs in Theoretical Computer Science. An EATCS Series | |
| 520 | |a In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Because of the unavoidable heterogeneity of the viewpoint models, a semantic integration is required, to establish the correspondences of the models and allow checking of their relative consistency. The integration approach introduced in this book is based on a common semantic domain of abstract systems, their composition and development. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches. These range from formal specification techniques like process calculi, Petri nets and rule-based formalisms to semiformal software modeling languages like those in the UML family | ||
| 650 | 4 | |a Software Engineering/Programming and Operating Systems | |
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 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 |
| 650 | 0 | 7 | |a Semantikerhaltende Transformation |0 (DE-588)4615977-0 |2 gnd |9 rswk-swf |
| 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 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783642073069 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783540402572 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783662098547 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-09853-0 |x Verlag |z URL des Eerstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2000/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032471846 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-662-09853-0 |l UBY01 |p ZDB-2-SCS |q ZDB-2-SCS_2000/2004 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804182063160492032 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| 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 | BV047064734 |
| classification_rvk | ST 233 |
| collection | ZDB-2-SCS |
| ctrlnum | (ZDB-2-SCS)978-3-662-09853-0 (OCoLC)1227481548 (DE-599)BVBBV047064734 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/978-3-662-09853-0 |
| edition | 1st ed. 2004 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03198nmm a2200613zc 4500</leader><controlfield tag="001">BV047064734</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">201216s2004 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662098530</subfield><subfield code="9">978-3-662-09853-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-09853-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-3-662-09853-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1227481548</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047064734</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="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</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">by Martin Große-Rhode</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2004</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (IX, 330 p)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Monographs in Theoretical Computer Science. An EATCS Series</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Because of the unavoidable heterogeneity of the viewpoint models, a semantic integration is required, to establish the correspondences of the models and allow checking of their relative consistency. The integration approach introduced in this book is based on a common semantic domain of abstract systems, their composition and development. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches. These range from formal specification techniques like process calculi, Petri nets and rule-based formalisms to semiformal software modeling languages like those in the UML family</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering/Programming and Operating Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</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="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="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="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9783642073069</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9783540402572</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9783662098547</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-09853-0</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Eerstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032471846</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-09853-0</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="q">ZDB-2-SCS_2000/2004</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV047064734 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T16:12:23Z |
| indexdate | 2024-07-10T09:01:35Z |
| institution | BVB |
| isbn | 9783662098530 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032471846 |
| oclc_num | 1227481548 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 1 Online-Ressource (IX, 330 p) |
| psigel | ZDB-2-SCS ZDB-2-SCS_2000/2004 ZDB-2-SCS ZDB-2-SCS_2000/2004 |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | Monographs in Theoretical Computer Science. An EATCS Series |
| spelling | Große-Rhode, Martin Verfasser aut Semantic Integration of Heterogeneous Software Specifications by Martin Große-Rhode 1st ed. 2004 Berlin, Heidelberg Springer Berlin Heidelberg 2004 1 Online-Ressource (IX, 330 p) txt rdacontent c rdamedia cr rdacarrier Monographs in Theoretical Computer Science. An EATCS Series In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Because of the unavoidable heterogeneity of the viewpoint models, a semantic integration is required, to establish the correspondences of the models and allow checking of their relative consistency. The integration approach introduced in this book is based on a common semantic domain of abstract systems, their composition and development. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches. These range from formal specification techniques like process calculi, Petri nets and rule-based formalisms to semiformal software modeling languages like those in the UML family Software Engineering/Programming and Operating Systems Theory of Computation Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Software engineering Computers Computer programming Programming languages (Electronic computers) Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Semantikerhaltende Transformation (DE-588)4615977-0 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 s Softwarespezifikation (DE-588)4056186-0 s Semantikerhaltende Transformation (DE-588)4615977-0 s DE-604 Erscheint auch als Druck-Ausgabe 9783642073069 Erscheint auch als Druck-Ausgabe 9783540402572 Erscheint auch als Druck-Ausgabe 9783662098547 https://doi.org/10.1007/978-3-662-09853-0 Verlag URL des Eerstveröffentlichers Volltext |
| spellingShingle | Große-Rhode, Martin Semantic Integration of Heterogeneous Software Specifications Software Engineering/Programming and Operating Systems Theory of Computation Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Software engineering Computers Computer programming Programming languages (Electronic computers) Softwareentwicklung (DE-588)4116522-6 gnd Softwarespezifikation (DE-588)4056186-0 gnd Semantikerhaltende Transformation (DE-588)4615977-0 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4056186-0 (DE-588)4615977-0 |
| 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_exact_search_txtP | Semantic Integration of Heterogeneous Software Specifications |
| title_full | Semantic Integration of Heterogeneous Software Specifications by Martin Große-Rhode |
| title_fullStr | Semantic Integration of Heterogeneous Software Specifications by Martin Große-Rhode |
| title_full_unstemmed | Semantic Integration of Heterogeneous Software Specifications by Martin Große-Rhode |
| title_short | Semantic Integration of Heterogeneous Software Specifications |
| title_sort | semantic integration of heterogeneous software specifications |
| topic | Software Engineering/Programming and Operating Systems Theory of Computation Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Software engineering Computers Computer programming Programming languages (Electronic computers) Softwareentwicklung (DE-588)4116522-6 gnd Softwarespezifikation (DE-588)4056186-0 gnd Semantikerhaltende Transformation (DE-588)4615977-0 gnd |
| topic_facet | Software Engineering/Programming and Operating Systems Theory of Computation Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Software engineering Computers Computer programming Programming languages (Electronic computers) Softwareentwicklung Softwarespezifikation Semantikerhaltende Transformation |
| url | https://doi.org/10.1007/978-3-662-09853-0 |
| work_keys_str_mv | AT großerhodemartin semanticintegrationofheterogeneoussoftwarespecifications |