Roel Wieringa, Wiebren de Jonge, Paul Spruit  Home/Search
Context Related
| cs.utwente.nl/pub/...assesAndRoles.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: lsi.upc.es/~aabello/references (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we argue that object-oriented models must be able to represent three kinds of taxonomic structures: static classes, dynamic classes, and role classes, that behave differently with respect to object migration. If CAR is a static subclass of V EHICLE, then a vehicle that is not a car can never migrate to the CAR subclass. On the other hand, if EMP loyee is a dynamic subclass of PERSON object class, then a PERSON that is not an employee may migrate to EMP . In both cases, an... (Update)
Context of citations to this paper: More
...of the problems related to the evaluation of information models. Most of the corresponding publications ( KrLi95] Lin94] MoSh94] [Wie95]) have in common that they consider the evaluation of models to be a multi faceted problem. It requires to take into account the...
Cited by: More
Catalysis Frameworks in First-Order Logic - Shui-Ming Ho And (2003) (Correct)
An Ontologically Well-Founded Profile for UML - Giancarlo (2004) (Correct)
Views and Concerns and Interrelationships - Lessons Learned from .. - Herrmann (2002) (Correct)
Similar documents (at the sentence level):
31.2%: Roles and Dynamic Subclasses: A Modal Logic Approach - Wieringa, de Jonge, Spruit (1994) (Correct)
Active bibliography (related documents): More All
1.2: A Comparison of the Notations Used in the Shlaer-Mellor.. - Wieringa, Saake (1995) (Correct)
1.0: The University Library Document Circulation System Specified.. - Wieringa, Feenstra (1993) (Correct)
0.8: The identification of objects and roles - Object.. - Wieringa, de Jonge (1991) (Correct)
Similar documents based on text: More All
0.7: Object Identifiers, Keys, and Surrogates - Object.. - Wieringa, de Jonge (1995) (Correct)
0.2: A Modal Temporal Dynamic Logic - Doing The Deadline (Correct)
0.2: Atomic Recovery Units: Failure Atomicity for Logical Disks - Grimm, Hsieh, Kaashoek.. (1996) (Correct)
Related documents from co-citation: More All
6: Executable Object Modeling with Statecharts - Harel - 1996
6: Dynamic Constraints and Object Migration - Su - 1991
6: An object data model with roles - Albano, Bergamini et al. - 1993
BibTeX entry: (Update)
R.J. Wieringa, W. de Jonge, and P.A. Spruit. Using dynamic classes and role classes to model object migration. Theory and Practice of Object Systems, 1(1):61--83, 1995. ftp://ftp.cs.utwente.nl/pub/doc/MAICS/95-DynamicClassesAndRoles.ps.Z. http://citeseer.ist.psu.edu/wieringa95using.html More
@article{ wieringa95using,
author = "Roel Wieringa and Wiebren de Jonge and Paul Spruit",
title = "Using Dynamic Classes and Role Classes to Model Object Migration",
journal = "Theory and Practice of Object Systems",
volume = "1",
number = "1",
pages = "61-83",
year = "1995",
url = "citeseer.ist.psu.edu/wieringa95using.html" }
Citations (may not include all citations):1286 Object-oriented modeling and design (context) - Rumbaugh, Blaha et al. - 1991
1174 Statecharts: a visual formalism for complex systems - Harel - 1987
388 The Frame Problem in the Situation Calculus: A Simple Soluti.. (context) - Reiter - 1991
369 A semantics of multiple inheritance - Cardelli - 1984
362 Dynamic logic - Harel - 1984
271 Object-Oriented Analysis (context) - Coad, Yourdon - 1990
266 Cambridge Tracts in Theoretical Computer Science (context) - Baeten, Weijland - 1990
173 Order-sorted algebra I: Equational deduction for multiple in.. - Goguen, Meseguer - 1992
143 Logics of programs (context) - Kozen, Tiuryn - 1990
139 Using prototypical objects to implement shared behavior in o.. - Lieberman - 1986
134 Extending the database relational model to capture more mean.. (context) - Codd - 1979
120 Object identity (context) - Khoshafian, Copeland - 1986
114 Regular types for active objects - Nierstrasz - 1993
112 System Development (context) - Jackson - 1983
99 Object Lifecycles: Modeling the World in States (context) - Shlaer, Mellor - 1992
91 Inheritance as an incremental modification mechanism (context) - Wegner, Zdonik - 1988
82 Special Issue on Action and Processes (context) - Lin, Reiter et al. - 1994
78 Aspects: Extending objects to support multiple (context) - Richardson, Schwartz - 1991
76 An object data model with roles - Albano, Bergamini et al. - 1993
72 Extending object-oriented systems with roles - Gottlob, Schrefl et al.
66 Objects with roles (context) - Pernici - 1990
64 Object-oriented specification of information systems: The TR.. - Jungclaus, Saake et al. - 1991
52 object-oriented and relational programming with logical sema.. (context) - Goguen, Meseguer - 1987
52 Solving the inheritance anomaly in concurrent object-oriente.. (context) - Meseguer - 1993
49 An ontology of meta-level categories - Guarino, Carrara et al. - 1994
48 and generic modules for logic programming (context) - Goguen, Meseguer et al. - 1986
45 Operational semantics of order-sorted algebra (context) - Goguen, Jouannaud et al. - 1985
43 Completeness of many-sorted equational logic (context) - Goguen, Meseguer - 1982
43 a knowledge representation language (context) - Bobrow, Winograd et al. - 1977
41 Models and equality for logical programming (context) - Goguen, Meseguer - 1987
40 Instituto Superior T'ecnico (context) - Costa, Sernadas et al. - 1989
40 Revised version of the modelling language TROLL (context) - Hartmann, Saake et al. - 1994
38 Algebraische Spezifikation abstrakter Datentypen (context) - Ehrich, Gogolla et al. - 1989
38 The role concept in data models (context) - Bachman, Daya - 1977
33 Faculty of Mathematics and Computer Science (context) - Feenstra, Wieringa et al. - 1993
32 Algebraic Foundations for Dynamic Conceptual Models (context) - Wieringa - 1990
31 ACM Transactions on Information Systems (context) - Sciore - 1989
29 Dynamic constraints and object migration - Su - 1991
26 Roles and dynamic subclasses: a modal logic approach - Wieringa, de Jonge et al. - 1994
26 Sharing actions and attributes in modal action logic - Ryan, Fiadeiro et al. - 1991
24 Relations and entities (context) - Hall, Owlett et al. - 1976
23 Clovers: the dynamic behavior of types and instances - Stein, Zdonik - 1989
21 OBLOG --- Object-Oriented Logic: an informal introduction (context) - Sernadas, Sernadas et al. - 1991
20 A formalization of objects using equational dynamic logic - Wieringa - 1991
19 declarative semantics and operational semantics of passive a.. (context) - Spruit, Wieringa et al. - 1992
18 Object-oriented programming with modes (context) - Taivalsaari - 1993
16 Semantics of temporal data in an extended er model (context) - Elmasri, El-Assal et al. - 1991
15 Dynamic database logic: The first-order case (context) - Spruit, Wieringa et al. - 1993
14 A method for building and evaluating formal specifications o.. (context) - Wieringa - 1993
14 A logical semantics for object-oriented databases - Meseguer, Qian - 1993
13 Order-sorted algebra solves the constructor-selector (context) - Meseguer, Goguen - 1993
11 Behavior modeling by stepwise refining behavior diagrams (context) - Schrefl - 1991
10 Annals of Mathematics and Artificial Intelligence (context) - Wieringa, Ch et al. - 1993
10 Fundamental object concepts and constructions (context) - Ehrich, Sernadas - 1991
9 Steps towards a method for the formal modeling of dynamic ob.. - Wieringa - 1991
9 A modal system of algebras for database specification and qu.. (context) - Golshani, Maibaum et al. - 1983
9 A mode transfer operator (context) - Bergstra - 1988
9 Structural and behavioural views on omt-classes (context) - Ebert, Engels - 1994
9 Database specification (context) - Khosla, Maibaum et al. - 1986
7 logic for requirements specification (context) - Jeremaes, Khosla et al. - 1986
6 An Introduction to Logic (context) - Joseph - 1916
6 Object roles and phases (context) - Ehrich, Jungclaus et al. - 1993
5 Faculty of Mathematics and Computer Science (context) - Spruit, Database et al. - 1994
4 Introduction to Logic (context) - Rescher - 1964
3 A temporal query language based on conceptual entities and r.. (context) - Elmasri, Kouramajian - 1992
3 Sameness and individuation (context) - Gabbay, Moravcsik - 1973
3 Function symbols in dynamic database logic (context) - Spruit - 1993
2 Individuals and Sortal Concepts: An Essay in Logical Descrip.. (context) - van Leeuwen - 1991
2 To be published (context) - Wieringa, de Jonge et al. - 1993
2 Data and Knowledge Engineering (context) - Reimer, construct et al. - 1985
1 First-order dynamic database logic (context) - Spruit, Wieringa et al.
1 Identity and common nouns in intensional logic (context) - van Leeuwen, Zeevat - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.lsi.upc.es/~aabello/references.html): More
From Enterprise Models to Dimensional Models: A Methodology.. - Moody, Kortink (2000) (Correct)
A Conceptual Model and Algebra for On-Line Analytical.. - Datta, Thomas (1997) (Correct)
Conceptual Data Warehouse Design - Husemann, Lechtenbörger, Vossen (2000) (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