See this document in CiteSeerX!

Specifying Object Life-Cycles (1990)  (Make Corrections)  (9 citations)
Constantin Arapis



  Home/Search   Context   Related

 
View or download:
cuiwww.unige.ch/OS...jectLifeCycle.ps.Z
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  iamwww.unibe.ch/cgib...oobib?ftp (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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