Dynamic evolution of object behavior and object cooperation:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Undetermined |
| Published: |
1992
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Genève, Univ., Diss. |
| Physical Description: | XX, 142 S. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009008583 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940206s1992 d||| m||| 00||| und d | ||
| 035 | |a (OCoLC)633631192 | ||
| 035 | |a (DE-599)BVBBV009008583 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | |a und | ||
| 049 | |a DE-29T | ||
| 100 | 1 | |a Arapis, Constantin |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Dynamic evolution of object behavior and object cooperation |c par Constantin Arapis |
| 264 | 1 | |c 1992 | |
| 300 | |a XX, 142 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Genève, Univ., Diss. | ||
| 650 | 0 | 7 | |a Dynamische Modellierung |0 (DE-588)4139122-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Objektorientierte Programmierung |0 (DE-588)4233947-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Objektorientierte Programmierung |0 (DE-588)4233947-9 |D s |
| 689 | 0 | 1 | |a Dynamische Modellierung |0 (DE-588)4139122-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005955127&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005955127 | ||
Record in the Search Index
| _version_ | 1804123355765276672 |
|---|---|
| adam_text | University de Genbve
Faculty des sciences
Dypartement d’informatique
Prof D Tsichritzis et C Pellegrini
DYNAMIC EVOLUTION OF
OBJECT BEHAVIOR
AND
OBJECT COOPERATION
THESE
presentee ä la Faculte des Sciences de l’Universite de Genyve
pour obtenir le grade de Docteur es Sciences mention Informatique
par
Constantin ARAPIS
dp
Fachber®!^JjSQ^JniSla^| n^0rm
atik
These No 2529
Geneve
Technische Universität Darmstadt
FACHBEREICH INFORMATIK
BIBLIOTHEK
Inventar-Nr : QQ~ OO ______
Sachgebiete: 1 v xv- ^ cV pAqj,
Standort: A ^
CONTENTS
ACKNOWLEDGEMENTS vü
REMERCIEMENTS vüi
ABSTRACT ix
RESUME SUCCINT ix
RESUME x
I Motivation x
II Objets et messages xii
III Roles et de contextes pour ob jets elementaires xii
IV Röles et contextes pour objets complexes xv
V Verification des specifications xix
VI Contributions xx
1 INTRODUCTION 1
1 1 Motivation 1
1 2 Overview 3
1 3 Contributions 4
2 MODELLING THE REAL WORLD 5
2 1 Design and development of database applications 5
2 2 Static data models 7
2 3 Integrated models 10
2 4 Object-oriented data models 12
241 Classes and types 13
242 Object identity 14
iii
iv CONTENTS
243 Encapsulation 15
244 Inheritance, late binding and overriding 15
245 Object-oriented development 17
2 5 Modelling dynamic aspects 18
3 INFORMAL PRESENTATION OF TLOOM 21
3 1 Fundamental notions of TLOOM 21
311 Objects and messages 21
312 Contexts and roles for elementary objects 22
313 Contexts and roles for composite objects 26
314 Public and component constraints 29
3 2 Contrasting TLOOM and basic notions of object-oriented models 31
321 Classes 31
322 Object identity 32
323 Inheritance 32
324 Encapsulation 34
325 Late binding and overriding 35
3 3 The choice of a formalism 35
4 ELEMENTARY OBJECTS 38
4 1 Roles for elementary objects 38
411 Abstract states 39
412 Public constraints 39
413 Ingoing and outgoing messages 42
4 2 Contexts for elementary objects 43
421 Role playing 43
422 The semantics of the notions of context and role 47
4 3 More on constraints associated with contexts 49
431 Examples of constraints associated with contexts 49
432 Constraints between messages and role playing 49
433 Constraints between messages of distinct roles 51
4 4 Summary of shorthand expressions 52
CONTENTS
5 VERIFICATION OF ELEMENTARY OBJECT SPECIFICATIONS 54
5 1 The basic principles of the satisfiability algorithm 54
511 Looking into the future 55
512 Looking into the past 60
5 2 The satisfiability algorithm 64
521 Decomposition procedure 64
522 The graph construction procedure 67
523 Elimination procedure 69
524 Infinite paths 69
5 3 Verification of elementary object specifications 70
531 Starting and stopping roles 70
532 Creating and deleting instances of contexts 71
533 Universalization of constraints associated with roles 71
5 4 Monitoring elementary object specifications 72
541 The monitoring process 73
542 Monitoring infinite paths 75
6 COMPOSITE OBJECTS 77
6 1 Roles and contexts of composite objects 77
611 Roles for composite objects 77
612 Contexts for composite objects 81
6 2 Further modelling aspects of composite objects 82
6 3 Semantics of roles and contexts for components 87
631 Adapting the notion of role for components 87
632 Adapting the notion of context for components 88
6 4 Semantics of roles and contexts for composite objects 89
6 5 Controlling the replacement of “in” and “out” messages 92
6 6 Summary of shorthand expressions 94
661 Shorthand expressions for components 94
662 Shorthand expressions for composite objects 96
vi CONTENTS
7 VERIFICATION OF COMPOSITE OBJECT SPECIFICATIONS 97
7 1 Transformations of component specifications 97
711 Starting and stopping roles 97
712 Creating and deleting a component 98
713 Universalization of a component’s role constraints 98
714 Universalization of a component’s context constraints 99
715 Replacing public messages with “in” and “out” messages 99
7 2 Transformations of composite object specifications 102
721 Universalization of component constraints of roles 103
722 Universalization of component constraints of contexts 103
7 3 The correspondence property 104
7 4 Monitoring specifications of composite objects 105
7 5 Component instantiations Ill
8 RELATED WORK 114
81A model for synthesizing communicating processes 114
8 2 Modelling life cycles with Augmented Petri nets 116
8 3 An approach based on temporal logic 120
8 4 Rule based specifications 122
8 5 Object evolution in object-oriented systems 125
9 CONCLUSIONS AND FUTURE RESEARCH DIRECTIONS 127
9 1 Conclusions 127
9 2 Future research directions 128
APPENDIX: PROPOSITIONAL TEMPORAL LOGIC 130
A Temporal operators of PTL 130
B Syntax of PTL 131
C Semantics of PTL 132
D Some valid temporal formulas 134
REFERENCES
|
| any_adam_object | 1 |
| author | Arapis, Constantin |
| author_facet | Arapis, Constantin |
| author_role | aut |
| author_sort | Arapis, Constantin |
| author_variant | c a ca |
| building | Verbundindex |
| bvnumber | BV009008583 |
| ctrlnum | (OCoLC)633631192 (DE-599)BVBBV009008583 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01336nam a2200337 c 4500</leader><controlfield tag="001">BV009008583</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1992 d||| m||| 00||| und d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633631192</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009008583</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=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Arapis, Constantin</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Dynamic evolution of object behavior and object cooperation</subfield><subfield code="c">par Constantin Arapis</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 142 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="500" ind1=" " ind2=" "><subfield code="a">Genève, Univ., Diss.</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Dynamische Modellierung</subfield><subfield code="0">(DE-588)4139122-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Objektorientierte Programmierung</subfield><subfield code="0">(DE-588)4233947-9</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">Objektorientierte Programmierung</subfield><subfield code="0">(DE-588)4233947-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Dynamische Modellierung</subfield><subfield code="0">(DE-588)4139122-6</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</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=005955127&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-005955127</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV009008583 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:28:27Z |
| institution | BVB |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005955127 |
| oclc_num | 633631192 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | XX, 142 S. graph. Darst. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| record_format | marc |
| spelling | Arapis, Constantin Verfasser aut Dynamic evolution of object behavior and object cooperation par Constantin Arapis 1992 XX, 142 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Genève, Univ., Diss. Dynamische Modellierung (DE-588)4139122-6 gnd rswk-swf Objektorientierte Programmierung (DE-588)4233947-9 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Objektorientierte Programmierung (DE-588)4233947-9 s Dynamische Modellierung (DE-588)4139122-6 s DE-604 HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005955127&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Arapis, Constantin Dynamic evolution of object behavior and object cooperation Dynamische Modellierung (DE-588)4139122-6 gnd Objektorientierte Programmierung (DE-588)4233947-9 gnd |
| subject_GND | (DE-588)4139122-6 (DE-588)4233947-9 (DE-588)4113937-9 |
| title | Dynamic evolution of object behavior and object cooperation |
| title_auth | Dynamic evolution of object behavior and object cooperation |
| title_exact_search | Dynamic evolution of object behavior and object cooperation |
| title_full | Dynamic evolution of object behavior and object cooperation par Constantin Arapis |
| title_fullStr | Dynamic evolution of object behavior and object cooperation par Constantin Arapis |
| title_full_unstemmed | Dynamic evolution of object behavior and object cooperation par Constantin Arapis |
| title_short | Dynamic evolution of object behavior and object cooperation |
| title_sort | dynamic evolution of object behavior and object cooperation |
| topic | Dynamische Modellierung (DE-588)4139122-6 gnd Objektorientierte Programmierung (DE-588)4233947-9 gnd |
| topic_facet | Dynamische Modellierung Objektorientierte Programmierung Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005955127&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT arapisconstantin dynamicevolutionofobjectbehaviorandobjectcooperation |