Object-oriented databases: a semantic data model approach
Object-oriented databases: a semantic data model approach
Object-oriented databases
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Integrity Maintenance in Object-Oriented Databases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Integrity Enforcement in Object-Oriented Databases
Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects: Modelling Database Dynamics
MDA Explained: The Model Driven Architecture: Practice and Promise
MDA Explained: The Model Driven Architecture: Practice and Promise
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
Model Driven Architecture with Executable UML(TM)
Model Driven Architecture with Executable UML(TM)
Data Refinement: Model-Oriented Proof Methods and their Comparison
Data Refinement: Model-Oriented Proof Methods and their Comparison
Formality, Evolution, and Model-driven Software Engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
The spec# programming system: an overview
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
From Predicates to Programs: The Semantics of a Method Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Domain-specific Semantics and Data Refinement of Object Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Behavioural specifications from class models
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
| Hi-index | 0.00 |
Many approaches to software specification and design make use of invariants: statements whose truth is preserved under various operations upon a system or component. Approaches that involve the construction of object-oriented or entity-relationship models require the expression of a particular kind of global invariant, concerning associations between objects or entities. This paper shows how association invariants can be expressed in a new, object-based formal language. It then explains how these expressions can be used to determine pre - and post-conditions for local operations, sufficient to ensure that the invariants are maintained. These conditions-and the program text to implement them can be generated automatically. This makes it easier to produce correct implementations of an objectoriented design.