Description Logics for consistency checking of architectural features in UML 2.0 models (original) (raw)
Related papers
Maintaining consistency between UML models with description logic tools
2003
Maintaining Consistency between UML Models Using Description Logic
Using Description Logic to Maintain Consistency between UML Models
Lecture Notes in Computer Science, 2003
Detecting inconsistencies between UML models using description logic
Proceedings of the 2003 …, 2003
A tool based on DL for UML model consistency checking
2008
Consistency checking in UML models
… . on Information System Modeling ( …, 2001
A contractual approach for the verification of UML2.0 software architectures
International Journal of Computer Applications in Technology
Workshop on Consistency Problems in UML-based Software Development II
Zbigniew Huzar, Miroslaw Staron
UML models consistency management: Guidelines for software quality manager
International Journal of Information Management, 2016
A Framework for Managing Consistency of Evolving UML Models
Jocelyn Simmonds, Ragnhild Van Der Straeten
2005
Toward a Unified Framework for Quality and Consistency Verification of UML Models
2000
Formal Verification of UML Profile
2011
Semantic Rules of UML Specification
Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs
Formal Techniques for Distributed Objects, Components, and Systems, 2014
Checking UML model consistency
Kuzniarz et al.[15], 2002
Dynamic Logic Semantics for UML Consistency
Formalization of UML Class Diagram Using Description Logics
Behavioral consistency validation of UML diagrams
Shmuel Tyszberowicz, Boris Litvak
First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings., 2003
Property specification and static verification of UML models
2008
Ensuring UML Models Consistency Using the OCL Environment
Electronic Notes in Theoretical Computer Science, 2004
Formal Consistency Verification of UML Requirement and Analysis Models
Transdisciplinary Models and Applications, 2014
A Formal Framework for Reasoning on UML Class Diagrams
Foundations of Intelligent …, 2002
Consistency Checking of UML Requirements
10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05), 2005
UML-Checker: An Approach for Verifying UML Behavioral Diagrams
Journal of Software, 2014
An Automated Translation of UML Class Diagrams into a Formal Specification to Detect Inconsistencies
ICSEA 2011, The Sixth …, 2011
Lightweight checking for UML based software development
2002
The UML as a formal modeling notation
Computer Standards & Interfaces, 1998
Bdl: a semantics backbone for uml dynamic diagrams
2000
A Tool for Checking Conformance of UML Specification
Proceedings of the 2009 World Academic of …, 2009