8 research outputs found
Applying ASP to UML model validation
We apply ASP to model validation in a CASE setting, where models are UML class diagrams and object diagrams are called \u201csnapshots\u201d. 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