IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Milano.
AIR nasce in UNIMI nel 2006 con lo scopo di raccogliere, documentare e conservare le informazioni sulla produzione scientifica dell'Università degli Studi di Milano e costituisce di fatto l'Anagrafe della ricerca dell'Ateneo.
EnglishWe 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 |
http://hdl.handle.net/2434/72748
Copyright © 2021