A logical design methodology for relational databases using the extended entity-relationship model
ACM Computing Surveys (CSUR)
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
IFO: a formal semantic database model
ACM Transactions on Database Systems (TODS)
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
A formal approach to object-oriented databases
Data & Knowledge Engineering
Handbook of theoretical computer science (vol. B)
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Category theory for computing science, 2nd ed.
Category theory for computing science, 2nd ed.
CGOOD, a categorical graph-oriented object data model
Theoretical Computer Science
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
A graph-oriented object database model
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
Database description with SDM: a semantic database model
ACM Transactions on Database Systems (TODS)
Extending the database relational model to capture more meaning
ACM Transactions on Database Systems (TODS)
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
Seventh OOPSLA workshop on behavioral semantics of OO business and system specifications
Addendum to the 1998 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
A vision for management of complex models
ACM SIGMOD Record
Business Specifications: The Key to Successful Software Engineering
Business Specifications: The Key to Successful Software Engineering
Categories in Computer Science and Logic
Categories in Computer Science and Logic
Data Models
G-Log: A Graph-Based Query Language
IEEE Transactions on Knowledge and Data Engineering
Theoretical Aspects of Schema Merging
EDBT '92 Proceedings of the 3rd International Conference on Extending Database Technology: Advances in Database Technology
Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Heterogeneous View Integration via Sketches and Equations
ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
On Modeling, Mathematics, Category Theory and RM-ODP
WOODPECKER '01 Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation: In conjunction with ICEIS 2001
LCC '94 Selected Papers from the International Workshop on Logical and Computational Complexity
On the Value of Commutative Diagrams in Information Modelling
AMAST '93 Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
A graphical yet formalized framework for specifying view systems
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Fibrations and universal view updatability
Theoretical Computer Science
A Diagrammatic Logic for Object-Oriented Visual Modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
Model synchronization: mappings, tiles, and categories
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Mappings, maps and tables: towards formal semantics for associations in UML2
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |
We introduce a mathematical framework where a formal semantics for object identity can be built irrespectively to computer related things like object identifiers, memory allocations etc. Then, on this base, we build formal semantics for a few major constructs of conceptual modeling (CM) such as association, aggregation, generalization, isA- and isPartOf-relationships. We also give a formal meaning to the two fundamental dichotomies of CM: objects vs. values and entities vs. relationships.On the syntactical side, the language we use for specifying our formal semantic constructs is graph-based and brief: specifications are directed graphs consisting only of three kinds of items--nodes, arrows and marked diagrams. The latter are configurations of nodes and arrows closed in some technical sense and marked with predicate labels taken from a predefined signature. We show that this format does provide a universal abstract syntax for the entire CM-field. Then any particular CM-notation appears as a particular visualization superstructure (concrete syntax) over the same basic specification format as above.