Object oriented specification of distributed systems:
Abstract: "Since object-oriented languages model worlds of interacting, independent objects, admitting concurrency in such languages seems to be straightforward. But the integration of concurrency and object-oriented structuring concepts, especially inheritance, induces a new object model and c...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
Passau
1997
|
| Schriftenreihe: | Universität <Passau> / Fakultät für Mathematik und Informatik: MIP
1997,17 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "Since object-oriented languages model worlds of interacting, independent objects, admitting concurrency in such languages seems to be straightforward. But the integration of concurrency and object-oriented structuring concepts, especially inheritance, induces a new object model and calls for new formal techniques and a new design method. We aim at the design of safety-critical systems in a high-level object- oriented language, whose correctness can only be ensured by the formal techniques of refinement and verification. Our work is based on the object-oriented concurrent specification language Maude. Maude's distinctive features are its abstract and simple object model and its abstract synchronization and communication mechanisms. We develop concepts for designing, structuring and reusing object-oriented specifications in Maude, and techniques for verifying and for refining these specifications In verification, we provide abstraction techniques and develop notions of invariants appropriate for Maude specifications. In refinement, we develop concepts and techniques appropriate for the refinement of classes, of communication and synchronization patterns and of specifications. A focal point is the reuse of Maude specifications. We develop a set of concepts for structuring and reuse: states as classes, inheritance, subconfigurations and message algebras. We gain a higher degree of code reusability and demonstrate this with examples. We establish the connection between the reuse constructs of Maude and relations between classes of models, and characterize the classes of properties that can be inherited via the different reuse concepts. Maude is our main specification language. We employ algebraic and coalgebraic specifications and the modal [mu]-calculus, for covering facets of concurrent objects and levels of abstraction not represented in Maude We instantiate our object model and our structuring and reuse concepts at various levels of abstraction. The bounded buffer and a specification of an airport are the running examples. All specifications have been implemented in CafeOBJ. |
| Beschreibung: | IV, 276, 5 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011583244 | ||
| 003 | DE-604 | ||
| 005 | 20100715 | ||
| 007 | t | ||
| 008 | 971020s1997 d||| m||| 00||| eng d | ||
| 035 | |a (OCoLC)38860356 | ||
| 035 | |a (DE-599)BVBBV011583244 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-706 |a DE-634 |a DE-739 |a DE-154 | ||
| 084 | |a SS 5600 |0 (DE-625)143571: |2 rvk | ||
| 100 | 1 | |a Lechner, Ulrike |d 1966- |e Verfasser |0 (DE-588)141815515 |4 aut | |
| 245 | 1 | 0 | |a Object oriented specification of distributed systems |c author: Ulrike Lechner |
| 264 | 1 | |a Passau |c 1997 | |
| 300 | |a IV, 276, 5 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Universität <Passau> / Fakultät für Mathematik und Informatik: MIP |v 1997,17 | |
| 502 | |a Zugl.: Passau, Univ., Diss., 1997 | ||
| 520 | 3 | |a Abstract: "Since object-oriented languages model worlds of interacting, independent objects, admitting concurrency in such languages seems to be straightforward. But the integration of concurrency and object-oriented structuring concepts, especially inheritance, induces a new object model and calls for new formal techniques and a new design method. We aim at the design of safety-critical systems in a high-level object- oriented language, whose correctness can only be ensured by the formal techniques of refinement and verification. Our work is based on the object-oriented concurrent specification language Maude. Maude's distinctive features are its abstract and simple object model and its abstract synchronization and communication mechanisms. We develop concepts for designing, structuring and reusing object-oriented specifications in Maude, and techniques for verifying and for refining these specifications | |
| 520 | 3 | |a In verification, we provide abstraction techniques and develop notions of invariants appropriate for Maude specifications. In refinement, we develop concepts and techniques appropriate for the refinement of classes, of communication and synchronization patterns and of specifications. A focal point is the reuse of Maude specifications. We develop a set of concepts for structuring and reuse: states as classes, inheritance, subconfigurations and message algebras. We gain a higher degree of code reusability and demonstrate this with examples. We establish the connection between the reuse constructs of Maude and relations between classes of models, and characterize the classes of properties that can be inherited via the different reuse concepts. Maude is our main specification language. We employ algebraic and coalgebraic specifications and the modal [mu]-calculus, for covering facets of concurrent objects and levels of abstraction not represented in Maude | |
| 520 | 3 | |a We instantiate our object model and our structuring and reuse concepts at various levels of abstraction. The bounded buffer and a specification of an airport are the running examples. All specifications have been implemented in CafeOBJ. | |
| 650 | 4 | |a Object-oriented programming (Computer science) | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a System design | |
| 650 | 0 | 7 | |a Spezifikationssprache |0 (DE-588)4182217-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Objektorientierung |0 (DE-588)4346172-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Spezifikationssprache |0 (DE-588)4182217-1 |D s |
| 689 | 0 | 1 | |a Objektorientierung |0 (DE-588)4346172-4 |D s |
| 689 | 0 | 2 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 810 | 2 | |a Fakultät für Mathematik und Informatik: MIP |t Universität <Passau> |v 1997,17 |w (DE-604)BV000905393 |9 1997,17 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007800891 | ||
Datensatz im Suchindex
| _version_ | 1804126110160519168 |
|---|---|
| any_adam_object | |
| author | Lechner, Ulrike 1966- |
| author_GND | (DE-588)141815515 |
| author_facet | Lechner, Ulrike 1966- |
| author_role | aut |
| author_sort | Lechner, Ulrike 1966- |
| author_variant | u l ul |
| building | Verbundindex |
| bvnumber | BV011583244 |
| classification_rvk | SS 5600 |
| ctrlnum | (OCoLC)38860356 (DE-599)BVBBV011583244 |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03817nam a2200457 cb4500</leader><controlfield tag="001">BV011583244</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100715 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">971020s1997 d||| m||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)38860356</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011583244</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="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-154</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 5600</subfield><subfield code="0">(DE-625)143571:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lechner, Ulrike</subfield><subfield code="d">1966-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)141815515</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Object oriented specification of distributed systems</subfield><subfield code="c">author: Ulrike Lechner</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Passau</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IV, 276, 5 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="1" ind2=" "><subfield code="a">Universität <Passau> / Fakultät für Mathematik und Informatik: MIP</subfield><subfield code="v">1997,17</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Passau, Univ., Diss., 1997</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Since object-oriented languages model worlds of interacting, independent objects, admitting concurrency in such languages seems to be straightforward. But the integration of concurrency and object-oriented structuring concepts, especially inheritance, induces a new object model and calls for new formal techniques and a new design method. We aim at the design of safety-critical systems in a high-level object- oriented language, whose correctness can only be ensured by the formal techniques of refinement and verification. Our work is based on the object-oriented concurrent specification language Maude. Maude's distinctive features are its abstract and simple object model and its abstract synchronization and communication mechanisms. We develop concepts for designing, structuring and reusing object-oriented specifications in Maude, and techniques for verifying and for refining these specifications</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a"> In verification, we provide abstraction techniques and develop notions of invariants appropriate for Maude specifications. In refinement, we develop concepts and techniques appropriate for the refinement of classes, of communication and synchronization patterns and of specifications. A focal point is the reuse of Maude specifications. We develop a set of concepts for structuring and reuse: states as classes, inheritance, subconfigurations and message algebras. We gain a higher degree of code reusability and demonstrate this with examples. We establish the connection between the reuse constructs of Maude and relations between classes of models, and characterize the classes of properties that can be inherited via the different reuse concepts. Maude is our main specification language. We employ algebraic and coalgebraic specifications and the modal [mu]-calculus, for covering facets of concurrent objects and levels of abstraction not represented in Maude</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">We instantiate our object model and our structuring and reuse concepts at various levels of abstraction. The bounded buffer and a specification of an airport are the running examples. All specifications have been implemented in CafeOBJ.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Object-oriented programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System design</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spezifikationssprache</subfield><subfield code="0">(DE-588)4182217-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Objektorientierung</subfield><subfield code="0">(DE-588)4346172-4</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">Spezifikationssprache</subfield><subfield code="0">(DE-588)4182217-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Objektorientierung</subfield><subfield code="0">(DE-588)4346172-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</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">Fakultät für Mathematik und Informatik: MIP</subfield><subfield code="t">Universität <Passau></subfield><subfield code="v">1997,17</subfield><subfield code="w">(DE-604)BV000905393</subfield><subfield code="9">1997,17</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007800891</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV011583244 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:12:14Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007800891 |
| oclc_num | 38860356 |
| open_access_boolean | |
| owner | DE-12 DE-706 DE-634 DE-739 DE-154 |
| owner_facet | DE-12 DE-706 DE-634 DE-739 DE-154 |
| physical | IV, 276, 5 S. graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| record_format | marc |
| series2 | Universität <Passau> / Fakultät für Mathematik und Informatik: MIP |
| spelling | Lechner, Ulrike 1966- Verfasser (DE-588)141815515 aut Object oriented specification of distributed systems author: Ulrike Lechner Passau 1997 IV, 276, 5 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Universität <Passau> / Fakultät für Mathematik und Informatik: MIP 1997,17 Zugl.: Passau, Univ., Diss., 1997 Abstract: "Since object-oriented languages model worlds of interacting, independent objects, admitting concurrency in such languages seems to be straightforward. But the integration of concurrency and object-oriented structuring concepts, especially inheritance, induces a new object model and calls for new formal techniques and a new design method. We aim at the design of safety-critical systems in a high-level object- oriented language, whose correctness can only be ensured by the formal techniques of refinement and verification. Our work is based on the object-oriented concurrent specification language Maude. Maude's distinctive features are its abstract and simple object model and its abstract synchronization and communication mechanisms. We develop concepts for designing, structuring and reusing object-oriented specifications in Maude, and techniques for verifying and for refining these specifications In verification, we provide abstraction techniques and develop notions of invariants appropriate for Maude specifications. In refinement, we develop concepts and techniques appropriate for the refinement of classes, of communication and synchronization patterns and of specifications. A focal point is the reuse of Maude specifications. We develop a set of concepts for structuring and reuse: states as classes, inheritance, subconfigurations and message algebras. We gain a higher degree of code reusability and demonstrate this with examples. We establish the connection between the reuse constructs of Maude and relations between classes of models, and characterize the classes of properties that can be inherited via the different reuse concepts. Maude is our main specification language. We employ algebraic and coalgebraic specifications and the modal [mu]-calculus, for covering facets of concurrent objects and levels of abstraction not represented in Maude We instantiate our object model and our structuring and reuse concepts at various levels of abstraction. The bounded buffer and a specification of an airport are the running examples. All specifications have been implemented in CafeOBJ. Object-oriented programming (Computer science) Software engineering System design Spezifikationssprache (DE-588)4182217-1 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf Objektorientierung (DE-588)4346172-4 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Spezifikationssprache (DE-588)4182217-1 s Objektorientierung (DE-588)4346172-4 s Verteiltes System (DE-588)4238872-7 s DE-604 Fakultät für Mathematik und Informatik: MIP Universität <Passau> 1997,17 (DE-604)BV000905393 1997,17 |
| spellingShingle | Lechner, Ulrike 1966- Object oriented specification of distributed systems Object-oriented programming (Computer science) Software engineering System design Spezifikationssprache (DE-588)4182217-1 gnd Verteiltes System (DE-588)4238872-7 gnd Objektorientierung (DE-588)4346172-4 gnd |
| subject_GND | (DE-588)4182217-1 (DE-588)4238872-7 (DE-588)4346172-4 (DE-588)4113937-9 |
| title | Object oriented specification of distributed systems |
| title_auth | Object oriented specification of distributed systems |
| title_exact_search | Object oriented specification of distributed systems |
| title_full | Object oriented specification of distributed systems author: Ulrike Lechner |
| title_fullStr | Object oriented specification of distributed systems author: Ulrike Lechner |
| title_full_unstemmed | Object oriented specification of distributed systems author: Ulrike Lechner |
| title_short | Object oriented specification of distributed systems |
| title_sort | object oriented specification of distributed systems |
| topic | Object-oriented programming (Computer science) Software engineering System design Spezifikationssprache (DE-588)4182217-1 gnd Verteiltes System (DE-588)4238872-7 gnd Objektorientierung (DE-588)4346172-4 gnd |
| topic_facet | Object-oriented programming (Computer science) Software engineering System design Spezifikationssprache Verteiltes System Objektorientierung Hochschulschrift |
| volume_link | (DE-604)BV000905393 |
| work_keys_str_mv | AT lechnerulrike objectorientedspecificationofdistributedsystems |