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 |
Pubblicazioni consigliate
http://hdl.handle.net/2434/72748
Copyright © 2021