Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communications of the ACM
Object oriented design with applications
Object oriented design with applications
Object-oriented modeling and design
Object-oriented modeling and design
Building an object-oriented database system: the story of 02
Building an object-oriented database system: the story of 02
Object-oriented database management: applications in engineering and computer science
Object-oriented database management: applications in engineering and computer science
Making object-oriented schemas more expressive
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Covariance and contravariance: conflict without a cause
ACM Transactions on Programming Languages and Systems (TOPLAS)
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
An efficient method for checking object-oriented database schema correctness
ACM Transactions on Database Systems (TODS)
Description logics for conceptual data modeling
Logics for databases and information systems
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Inheritance hierarchy design in object-oriented databases
Data & Knowledge Engineering
The object data standard: ODMG 3.0
The object data standard: ODMG 3.0
Consistency Checking in Complex Object Database Schemata with Integrity Constraints
IEEE Transactions on Knowledge and Data Engineering
Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas
IEEE Transactions on Knowledge and Data Engineering
Deriving Relationships between Integrity Constraints for Schema Comparison
ADBIS '98 Proceedings of the Second East European Symposium on Advances in Databases and Information Systems
COOPIS '98 Proceedings of the 3rd IFCIS International Conference on Cooperative Information Systems
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
eclipse '03 Proceedings of the 2003 OOPSLA workshop on eclipse technology eXchange
Towards automatization of domain modeling
Data & Knowledge Engineering
Hi-index | 0.00 |
Object-oriented (OO) modeling and design methodologies have been receiving a significant attention since they allow a quick and easy-to-gasp overview about a complex model. However, in the literature there are no formal frameworks that allow designers to verify the consistency (absence of contradictions) of both the static and dynamic components of the specified models, that are often assumed to be consistent. In this paper, a unifying formal framework is proposed that allows the consistency checking of both the static and dynamic components of a simplified OO model.