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.
Titolo: | Applying ASP to UML model validation |
Autori: | ORNAGHI, MARIO (Primo) FIORENTINI, CAMILLO (Secondo) MOMIGLIANO, ALBERTO (Penultimo) PAGANO, FRANCESCO (Ultimo) |
Autori: | M. Ornaghi, C. Fiorentini, A. Momigliano, F. Pagano |
Numero degli autori: | 4 |
Lingua: | English |
Settore Scientifico Disciplinare: | Settore INF/01 - Informatica |
Tipo: | Intervento a convegno |
Titolo del libro: | Logic programming and nonmonotonic reasoning : 10th international conference, LPNMR 2009 : Potsdam, Germany, september 14-18, 2009 : proceedings |
Tutti i curatori: | E. Erdem, F. Lin, T. Schaub |
Luogo di pubblicazione: | Berlin |
Editore: | Springer |
Data di pubblicazione: | 2009 |
Pagina iniziale: | 457 |
Pagina finale: | 463 |
ISBN: | 9783642042379 |
Rilevanza: | Volume a diffusione internazionale |
Nome del convegno: | Logic Programming and Nonmonotonic Reasoning |
Luogo del convegno: | Potsdam |
Anno del convegno: | 2009 |
Numero del convegno: | 10 |
Tipo di convegno: | Convegno internazionale |
Sezione: | Intervento inviato |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/978-3-642-04238-6_42 |
Tipologia: | Book Part (author) |
Full-text (pubblici): | open |
Tipologia MIUR: | 273 |
Citazione: | 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. |
Codice identificativo ISI: | WOS:000270533000039 |
Codice identificativo Scopus: | 2-s2.0-70349850651 |
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. |
Appare nelle tipologie: | 03 - Contributo in volume |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
uml.pdf | Publisher's version/PDF | Open Access Visualizza/Apri |