xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
Journal of Automated Reasoning
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Proceedings of the Workshop on Object-Oriented Technology
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
A Formal Semantics of UML Statecharts by Model Transition Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
ACM Transactions on Software Engineering and Methodology (TOSEM)
IEEE Software
Consistency Check in Modelling Multi-Agent Systems
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
A tool for automatic UML model consistency checking
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
UML-B: Formal modeling and design aided by UML
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generalizing Consistency Checking between Software Views
WICSA '05 Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture
Instant consistency checking for the UML
Proceedings of the 28th international conference on Software engineering
Reasoning on UML class diagrams
Artificial Intelligence
Comparison of formalisation approaches of UML class constructs in Z and object-Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Modeling issues: a survival guide for a non-expert modeler
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
| Hi-index | 0.00 |
This paper proposes a novel approach to the formal definition of UML semantics. We distinguish descriptive semantics from functional semantics of modelling languages. The former defines which system is an instance of a model while the later defines the basic concepts underlying the models. In this paper, the descriptive semantics of class diagram, interaction diagram and state machine diagram are defined by first order logic formulas. A translation tool is implemented and integrated with the theorem prover SPASS to enable automated reasoning about models. The formalisation and reasoning of models is then applied to model consistency checking.