Definition libraries for conceptual modelling
Conceptual modelling is a fundamental phase in the design of information systems in which knowledge about the Universe of...
Generalization/specialization and role in object oriented conceptual modeling
The "IS A"-relationship and the mechanism of inheritance are powerful concepts that help to reduce complexity of models and...
Generating operation specifications from UML class diagrams: A model transformation approach
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations...
Extending the conceptual graph approach for data conceptual modelling
Information Systems design methodologies include a phase called data conceptual modelling which corre- sponds to a true knowledge engineering...
An approach to testing conceptual schemas
Conceptual schemas of information systems can be tested. The testing of conceptual schemas may be an important and practical...
Grammatical specification of domain ontologies
This paper presents a formalism supporting the analysis and specification of domain ontologies. Themethod is founded theoretically on conventional...
A generic model for 3-dimensional conceptual modelling
This article discusses two highly intertwined issues. Firstly, we discuss the lack of top-down abstraction mechanisms in data modelling...
Methodological guidelines for reusing general ontologies
Currently, there is a great deal of well-founded explicit knowledge formalizing general notions,such as time concepts and thepart_ofrelation. Yet,...
A Unified Modelling Language without referential redundancy
The paper argues that, as a language for representing concrete problem domains, the quality of the UMLis compromised by...
Variable set semantics for keyed generalized sketches:formal semantics for object identity and abstract syntaxfor...
We introduce a mathematical framework where a formal semantics for object identity can be built ir-respectively to computer related...
