Constraint Logic Programming using Eclipse
Constraint Logic Programming using Eclipse
Analysing Graph Transformation Rules through OCL
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Verifying Action Semantics Specifications in UML Behavioral Models
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Parsing SBVR-Based Controlled Languages
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
From UML/OCL to SBVR specifications: A challenging transformation
Information Systems
Verification-driven slicing of UML/OCL models
Proceedings of the IEEE/ACM international conference on Automated software engineering
Object constraint language (OCL): past, present and future
ACM SIGSOFT Software Engineering Notes
Generating operation specifications from UML class diagrams: A model transformation approach
Data & Knowledge Engineering
UOST: UML/OCL aggressive slicing technique for efficient verification of models
SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
Assessing the Kodkod model finder for resolving model inconsistencies
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
An MDE-based approach for solving configuration problems: an application to the eclipse platform
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Checking the behavioral conformance of web services with symbolic testing and an SMT solver
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Semantically configurable consistency analysis for class and object diagrams
Proceedings of the 14th international conference on Model driven engineering languages and systems
Constraint-based model refactoring
Proceedings of the 14th international conference on Model driven engineering languages and systems
CD2Alloy: class diagrams analysis using alloy revisited
Proceedings of the 14th international conference on Model driven engineering languages and systems
Evaluation of tools and slicing techniques for efficient verification of UML/OCL class diagrams
Advances in Software Engineering
On validation of ATL transformation rules by transformation models
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Model search: formalizing and automating constraint solving in MDE platforms
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Dynamic constraint satisfaction problems over models
Software and Systems Modeling (SoSyM)
Lightweight string reasoning for OCL
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
MADES: a tool chain for automated verification of UML models of embedded systems
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Specification-Driven test generation for model transformations
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Object constraint language (OCL): a definitive guide
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
An Algebraic Semantics for QVT-Relations Check-only Transformations
Fundamenta Informaticae
UMLtoCSP (UOST): a tool for efficient verification of UML/OCL class diagrams through model slicing
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Verification of ATL transformations using transformation models and model finders
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Finite satisfiability of UML class diagrams with constrained class hierarchy
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
| Hi-index | 0.00 |
We present UMLtoCSP, a tool for the formal verification of UML/OCL models. Given a UML class diagram annotated with OCL constraints, UMLtoCSP is able to automatically check several correctness properties, such as the strong and weak satisfiability of the model or the lack of redundant constraints. The tool uses Constraint Logic Programming as the underlying formalism and the constraint solver ECLiPSe as the verification engine.