Paper Info
Title
A Useful Logical Semantics of UML for Querying and Checking UML Class Diagram
Abstract
In Knowledge Engineering, UML class diagram is the defacto standard for modeling object oriented systems. We propose a way for logical reasoning on UML class diagram, concerning querying and checking class diagram. First, we define an original logical semantics to UML class diagram. Our approach differs from other existing works, because we use a same set of predicates to translate any class diagram instead of other "ad hoc" approaches. Second, we extend UML, especially with variable and bicoloration, to express query and constraint into the visual environment of (extended-)UML.
Year
Venue
Keywords
2009
ICAART 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE
UML,First Order Logic,Knowledge Representation and Reasoning,Model-Based Reasoning,Knowledge Engineering,Visual Quering,Visual Checking,Positive Constraints,Negative Constrains
Field
DocType
Citations 
Data mining,Programming language,UML state machine,Unified Modeling Language,Object-oriented programming,UML tool,Computer science,UML state machine,Communication diagram,Applications of UML,Class diagram
Conference
2
PageRank 
References 
Authors
0.46
5
3
Name
Order
Citations
PageRank
Thomas Raimbault196.37
David Genest28715.47
Stéphane Loiseau36216.72