(Enter summary)
Abstract: In this paper we propose a number of extensions for object-oriented models in order to describe
dynamic aspects of applications. These extensions enable the specification of objects that modify
their behavior dynamically and the control of the dynamic evolution of objects by means of
constraints expressed in the language of propositional temporal logic. We shall point out what
differentiates our proposal from existing models and give examples to illustrate our arguments.
We also present an... (Update)
Context of citations to this paper: More
.... model that have been proposed for varying the interface and behavior of an object [10] such as perspectives [7] views [22] and contexts [2]. He notes that the extensions can be characterized in terms of: Static Class Def. Static Class Definition Class Equipment void...
...predefined views adds an additional layer of information hiding. Others factor an objects interface into subsets called Roles [20, 1], where a role represents a discrete stage in an object s life cycle. The behavior of one or all participants of a Contract can be...
Cited by: More
System Design by Composing Structures of Interacting Objects - Andersen, Reenskaug (1992)
(Correct)
Applying Object-Oriented Modelling To Support Process.. - Shams-Aliee, Warboys
(Correct)
Roles Represent Patterns - Aliee, Warboys (1995)
(Correct)
Active bibliography (related documents): More All
0.5: Ode as an Active Database: Constraints and Triggers - Gehani, Jagadish (1991)
(Correct)
0.4: MultiPerspectives: Object Evolution and Schema Modification.. - Odberg (1995)
(Correct)
0.3: Autonomy over Ubiquity: Coping with the Complexity .. - Kemper.. (1990)
(Correct)
Similar documents based on text: More All
0.1: Object Behavior Composition: A Temporal Logic Based Approach - Arapis
(Correct)
0.0: The Maximum Principle, Bellman's Equation, and.. - Pesch, Bulirsch
(Correct)
0.0: "Temporal" Integrity Constraints in Temporal Databases - Gertz, Lipeck (1995)
(Correct)
Related documents from co-citation: More All
7: Contracts: Specifying behavioral compositions in object-oriented systems (context) - Helm, Holland et al. - 1990
5: Designing reusable classes (context) - Johnson, Foote - 1988
5: Object Oriented Design with Applications (context) - Booch - 1991
BibTeX entry: (Update)
Constantin Arapis, "Specifying Object Life-Cycles," Object Management, 1990. 15 http://citeseer.ist.psu.edu/arapis90specifying.html More
@techreport{ arapis90specifying,
author = "Costas Arapis",
title = "Specifying Object Life-Cycles",
editor = "D. Tsichritzis",
pages = "197--225",
year = "1990",
url = "citeseer.ist.psu.edu/arapis90specifying.html" }
Citations (may not include all citations):
1274
Object-Oriented Software Construction (context) - Meyer - 1988
637
The entity-relationship model: Toward a unified view of data (context) - Chen - 1976
283
A Relational Model of Data for Large Shared Data Banks (context) - Codd - 1970
163
the temporal analysis of fairness (context) - Gabbay, Pnueli et al. - 1980
135
Object-Oriented Programming An Evolutionary Approach (context) - Cox - 1987
134
Extending the Database Relational Model to Capture More Mean.. (context) - Codd - 1979
125
Object-Oriented Database Systems (context) - Bancilhon - 1988
122
Data model issues for object-oriented applications (context) - Banerjee, Chou et al. - 1987
122
Applications of Temporal Logic to the Specification and Veri.. (context) - Pnueli - 1986
120
Object Identity (context) - Khoshafian, Copeland - 1986
85
Development of an Object-Oriented DBMS (context) - Maier, Stein et al. - 1986
68
Specifying Concurrent Program Modules (context) - Lamport - 1983
66
Object with Roles (context) - Pernici - 1990
59
the Relation of Programs and Computations to Models of Tempo.. (context) - Wolper - 1987
50
Galileo: A Strongly-Typed, Interactive Conceptual Language
- Albano, Cardeli et al. - 1985
43
A Language Facility for Designing DatabaseIntensive Applicat.. (context) - Mylopoulos, Berstein et al. - 1980
36
Class Management for Software Communities
- Gibbs, Tsichritzis et al. - 1990
22
O 2 , an Object-Oriented Data Model (context) - Lecluse, Richard et al. - 1988
21
the Design and Specification of Database Transactions (context) - Brodie, Ridjanovic - 1984
11
KNOs: knowledge acquisition, dissemination and manipulation ..
- Tsichritzis, Fiume et al. - 1987
11
An Object Oriented System Implementing KNOs
- Casais - 1988
8
Database Description with SDM: A Semantic Data Model (context) - Hammer, McLeod - 1981
6
Enhancement for multiple-inheritance (context) - Hendler - 1986
5
Efficient Temporal Reasoning (context) - Emerson, Sadler et al. - 1989
5
Stepwise Specification of Dynamic Database Behaviour (context) - Lipeck - 1986
4
Application Development Using Objects (context) - Tsichritzis, Nierstrasz - 1988
4
On Structural and Behavioral Modelling of Reality (context) - Solvberg, Kung - 1985
4
Directions in Object-Oriented Research
- Tsichritzis, Nierstrasz - 1988
4
Type Conversion and Enhancement in Object-Oriented Systems (context) - Arapis - 1989
2
OZ+: An Object-Oriented Database System (context) - Weiser, Lochovsky - 1989
1
Iris: An Object-Oriented Database Management System (context) - Fishmann - 1987
1
Synthesis of Communicating Process (context) - Manna, Wolper - 1984
1
Monitoring Dynamic Integrity Constraints on Temporal Logic (context) - Lipeck, Saake - 1987
1
Un modele de traitements pour les bases de donnees: un forma.. (context) - Guyot - 1986
1
Temporal Aspects in Office Information Systems (context) - Oberweis, Laussen - 1986
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://iamwww.unibe.ch/cgi-bin/oobib?ftp): More
Object-Oriented Type Inference - Palsberg, Schwartzbach (1991)
(Correct)
A Denotational Semantics of Inheritance and its Correctness - Cook, Palsberg (1994)
(Correct)
pi-Calculus Semantics for the Concurrent Configuration.. - Eisenbach, Paterson (1993)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC