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. Ornaghi;C. Fiorentini;A. Momigliano;F. Pagano
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.
Settore INF/01 - Informatica
Book Part (author)
File in questo prodotto:
File Dimensione Formato  
uml.pdf

accesso aperto

194.39 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2434/72748
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 2
social impact