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.
Applying ASP to UML model validation / M. Ornaghi, C. Fiorentini, A. Momigliano, F. Pagano - In: Logic programming and nonmonotonic reasoning : 10th international conference, LPNMR 2009 : Potsdam, Germany, september 14-18, 2009 : proceedings / [a cura di] E. Erdem, F. Lin, T. Schaub. - Berlin : Springer, 2009. - ISBN 9783642042379. - pp. 457-463 (( Intervento presentato al 10. convegno Logic Programming and Nonmonotonic Reasoning tenutosi a Potsdam nel 2009.
Applying ASP to UML model validation
M. OrnaghiPrimo
;C. FiorentiniSecondo
;A. MomiglianoPenultimo
;F. PaganoUltimo
2009
Abstract
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.
| File | Dimensione | Formato | |
|---|---|---|---|
|
uml.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
194.39 kB
Formato
Adobe PDF
|
194.39 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
