Sciweavers

Share
LPNMR
2009
Springer

Applying ASP to UML Model Validation

9 years 8 months ago
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 “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.
Mario Ornaghi, Camillo Fiorentini, Alberto Momigli
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where LPNMR
Authors Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, Francesco Pagano
Comments (0)
books