Communicating sequential processes
Communicating sequential processes
Communications of the ACM
Object-oriented systems analysis: modeling the world in data
Object-oriented systems analysis: modeling the world in data
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Process algebra
Object-oriented software engineering
Object-oriented software engineering
Object-oriented systems analysis: a model-driven approach
Object-oriented systems analysis: a model-driven approach
Object lifecycles: modeling the world in states
Object lifecycles: modeling the world in states
Object-oriented modeling and design
Object-oriented modeling and design
Object-oriented analysis (2nd ed.)
Object-oriented analysis (2nd ed.)
Object-oriented system development
Object-oriented system development
Information modeling: an object-oriented approach
Information modeling: an object-oriented approach
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
M.E.R.O.DE.: a model-driven entity-relationship object-oriented Development method
ACM SIGSOFT Software Engineering Notes
Formal deadlock elimination in an object oriented conceptual schema
Data & Knowledge Engineering
Generalization/specialization and role in object oriented conceptual modeling
Data & Knowledge Engineering
A Calculus of Communicating Systems
A Calculus of Communicating Systems
The Theory of Parsing, Translation, and Compiling
The Theory of Parsing, Translation, and Compiling
Formal languages and their relation to automata
Formal languages and their relation to automata
A Logical Theory of Interfaces and Objects
IEEE Transactions on Software Engineering
Research Frontiers in Object Technology
Information Systems Frontiers
Domain Modelling and the Co-Design of Business Rules in the Telecommunication Business Area
Information Systems Frontiers
Distance Measures for Information System Reengineering
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Relationship Reification: A Temporal View
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Formalization of the Whole-Part Relationship in the Unified Modeling Language
IEEE Transactions on Software Engineering
Database integrity
An Operational Component Specification Method
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Experiences Teaching Eiffel as a First Programming Language to Economy Students
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Sequence constraints in business modelling and business process modelling
Enterprise information systems IV
Integration of third-party applications and web clients by means of an enterprise layer
Annals of cases on information technology
Action-oriented conceptual modelling
European Journal of Information Systems
Events as atomic contracts for component integration
Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context
Computer aided modelling exercises
Informatics in education
What's in a Relationship: An Ontological Analysis
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Conceptual data model-based software size estimation for information systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Improving the reuse possibilities of the behavioral aspects of object-oriented domain models
ER'00 Proceedings of the 19th international conference on Conceptual modeling
A layered software specification architecture
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Measures for assessing dynamic complexity aspects of object-oriented conceptual schemes
ER'00 Proceedings of the 19th international conference on Conceptual modeling
An event based approach to web service design and interaction
APWeb'03 Proceedings of the 5th Asia-Pacific web conference on Web technologies and applications
Representing wholes by structure
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
An iterative requirements engineering framework based on Formal Concept Analysis and C-K theory
Expert Systems with Applications: An International Journal
Object class or association class? testing the user effect on cardinality interpretation
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Journal of Database Management
GOtoGene: a method for determining the functional similarity among gene products
AusDM '12 Proceedings of the Tenth Australasian Data Mining Conference - Volume 134
Hi-index | 0.01 |
In object-oriented conceptual modeling, the generalization/specialization hierarchy and the whole/part relationship are prevalent classification schemes for object types. This paper presents an object-oriented conceptual model where, in the end, object types are classified according to two relationships only: existence dependency and generalization/specialization. Existence dependency captures some of the interesting semantics that are usually associated with the concept of aggregation (also called composition or Part Of relation), but in contrast with the latter concept, the semantics of existence dependency are very precise and its use clear cut. The key advantage of classifying object types according to existence dependency are the simplicity of the concept, its absolute unambiguity, and the fact that it enables to check conceptual schemes for semantic integrity and consistency. We will first define the notion of existence dependency and claim that it is always possible to classify objects according to this relationship, thus removing the necessity for the Part Of relation and other kinds of associations between object types. The second claim of this paper is that existence dependency is the key to semantic integrity checking to a level unknown to current object-oriented analysis methods. In other words: Existence dependency allows us to track and solve inconsistencies in an object-oriented conceptual schema.