Language features for flexible handling of exceptions in information systems
ACM Transactions on Database Systems (TODS)
Modeling class hierarchies with contradictions
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
Object-oriented systems analysis: a model-driven approach
Object-oriented systems analysis: a model-driven approach
Cardinality constraints in semantic data models
Data & Knowledge Engineering
Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
CoLan: a functional constraint language and its implementation
Data & Knowledge Engineering
CDOL: a comprehensive declarative object language
Data & Knowledge Engineering
“…And nothing else changes”: the frame problem in procedure specifications
ICSE '93 Proceedings of the 15th international conference on Software Engineering
DICE: declarative integrity constraint embedding into the object database standard ODMG-93
Data & Knowledge Engineering
T_Chimera: a temporal object-oriented data model
Theory and Practice of Object Systems
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Description logics for conceptual data modeling
Logics for databases and information systems
A general treatment of dynamic integrity constraints
Data & Knowledge Engineering
Information modeling and relational databases: from conceptual analysis to logical design
Information modeling and relational databases: from conceptual analysis to logical design
Entity-Relationship Modeling: Foundations of Database Technology
Entity-Relationship Modeling: Foundations of Database Technology
Exception handling in object-oriented databases
Advances in exception handling techniques
Integrity Constraints Checking In Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Semantic Modeling of Object Oriented Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Objects with Multiple Most Specific Classes
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
On the Transformation of Object-Oriented Conceptual Models to Logical Theories
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Modelling Constraints with Exceptions in Object-Oriented Databases
ER '94 Proceedings of the13th International Conference on the Entity-Relationship Approach
Derivation rules in object-oriented conceptual modeling languages
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
An approach to testing conceptual schemas
Data & Knowledge Engineering
Extending conceptual schemas with business process information
Advances in Software Engineering
Editorial: A complete set of guidelines for naming UML conceptual schema elements
Data & Knowledge Engineering
Hi-index | 0.00 |
We propose a new method that eases the definition of integrity constraints in object-oriented conceptual modeling languages. The essence of the method is to represent constraints by special operations that we call constraint operations. The formal specification of these operations is the definition of the corresponding constraints. The method allows the specialization of constraints and the definition of exceptions. The main application of the method is for static constraints. However, a variant of it can also be applied for creation-time and deletion-time constraints, two particular classes of temporal constraints. The method can be adapted to any object-oriented language, and we show its adaptation to the UML. We also show that our method has several advantages over existing methods.