Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Object-oriented software engineering
Object-oriented software engineering
Attributive concept descriptions with complements
Artificial Intelligence
Coherent models for object-oriented analysis
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Conceptual database design: an Entity-relationship approach
Conceptual database design: an Entity-relationship approach
Object-oriented modeling and design
Object-oriented modeling and design
On taxonomic reasoning in conceptual design
ACM Transactions on Database Systems (TODS)
Boosting the correspondence between description logics and propositional dynamic logics
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
UML distilled: applying the standard object modeling language
UML distilled: applying the standard object modeling language
Reasoning in description logics
Principles of knowledge representation
On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Description logics for conceptual data modeling
Logics for databases and information systems
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Description Logics in Data Management
IEEE Transactions on Knowledge and Data Engineering
An Industrial Strength Description Logics-Based Configurator Platform
IEEE Intelligent Systems
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
Structured Objects: Modeling and Reasoning
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
The Metamodelling Language Calculus: Foundation Semantics for UML
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Engineering Modelling Languages: A Precise Meta-Modelling Approach
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Towards a formalization of UML class structures in Z
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
The UML as a Formal Modeling Notation
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Fundamentals of Cardinality Constraints
ER '92 Proceedings of the 11th International Conference on the Entity-Relationship Approach: Entity-Relationship Approach
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Handbook of automated reasoning
Handbook of automated reasoning
Reasoning in expressive description logics
Handbook of automated reasoning
Reasoning with UML Class Diagrams
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
The description logic handbook
The description logic handbook
Implementation and optimization techniques
The description logic handbook
Description logics for databases
The description logic handbook
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
Identification constraints and functional dependencies in description logics
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
High performance reasoning with very large knowledge bases: a practical case study
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Foundations of the unified modeling language
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Reasoning on temporal class diagrams: Undecidability results
Annals of Mathematics and Artificial Intelligence
Logical aspects of events: quantification, sorts, composition and disjointness
AOW '05 Proceedings of the 2005 Australasian Ontology Workshop - Volume 58
Evolving objects in temporal information systems
Annals of Mathematics and Artificial Intelligence
On marrying ontological and metamodeling technical spaces
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
On marrying ontological and metamodeling technical spaces
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Reusing relational sources for semantic information access
Proceedings of the ACM first Ph.D. workshop in CIKM
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
Data Complexity of Query Answering in Expressive Description Logics via Tableaux
Journal of Automated Reasoning
Representing and reasoning over a taxonomy of part-whole relations
Applied Ontology - Ontological Foundations of Conceptual Modelling
Applying UML 2.0 to design a botanical document warehouse
MUSP'08 Proceedings of the 8th WSEAS International Conference on Multimedia systems and signal processing
Reasoning with rough description logics: An approximate concepts approach
Information Sciences: an International Journal
Scalable satisfiability checking and test data generation from modeling diagrams
Automated Software Engineering
Reasoning within intuitionistic fuzzy rough description logics
Information Sciences: an International Journal
An object model for use in oral and written advocacy
Artificial Intelligence and Law
Complexity of Reasoning With Expressive Ontology Mappings
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
Reasoning within expressive fuzzy rough description logics
Fuzzy Sets and Systems
Verifying UML/OCL models using Boolean satisfiability
Proceedings of the Conference on Design, Automation and Test in Europe
Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach
International Journal of Information System Modeling and Design
Hi-index | 0.00 |
UML is the de-facto standard formalism for software design and analysis. To support the design of large-scale industrial applications, sophisticated CASE tools are available on the market, that provide a user-friendly environment for editing, storing, and accessing multiple UML diagrams. It would be highly desirable to equip such CASE tools with automated reasoning capabilities, such as those studied in Artificial Intelligence and, in particular, in Knowledge Representation and Reasoning. Such capabilities would allow to automatically detect relevant formal properties of UML diagrams, such as inconsistencies or redundancies. With regard to this issue, we consider UML class diagrams, which are one of the most important components of UML, and we address the problem of reasoning on such diagrams. We resort to several results developed in the field of Knowledge Representation and Reasoning, regarding Description Logics (DLs), a family of logics that admit decidable reasoning procedures. Our first contribution is to show that reasoning on UML class diagrams is EXPTIME-hard, even under restrictive assumptions; we prove this result by showing a polynomial reduction from reasoning in DLs. The second contribution consists in establishing EXPTIME-membership of reasoning on UML class diagrams, provided that the use of arbitrary OCL (first-order) constraints is disallowed. We get this result by using DLRifd, a very expressive EXPTIME-decidable DL that has been developed to capture typical features of conceptual and object-oriented data models. The last contribution has a more practical flavor, and consists in a polynomial encoding of UML class diagrams in the DL ALCQI, which essentially is the most expressive DL supported by current state-of-the-art DL-based reasoning systems. Though less expressive than DLRifd, the DL ALCQI preserves enough semantics to keep reasoning about UML class diagrams sound and complete. Exploiting such an encoding, one can use current DL-based reasoning systems as core reasoning engines for a next generation of CASE tools, that are equipped with reasoning capabilities on UML class diagrams.