Model-based testing in practice
Proceedings of the 21st international conference on Software engineering
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development (3rd Edition)
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
External sources of knowledge and value invention in logic programming
Annals of Mathematics and Artificial Intelligence
Towards a Type Discipline for Answer Set Programming
Types for Proofs and Programs
Extensive validation of OCL models by integrating SAT solving into USE
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
From UML and OCL to relational logic and back
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |
We apply ASP to model validation in a CASE setting, where models are UML class diagrams and object diagrams are called "snapshots". We present the design and implementation of MSG, a snapshot generator for UML models that employs DLV-Complex as a generator engine, the answer sets representing the legal snapshots.