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.

• Type: Conference
• Year: 2009
• Where: LPNMR
• Authors: Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, Francesco Pagano
• Keywords: Artificial Intelligence, LPNMR 2009, Snapshot Generator, UML Class Diagrams, UML Models