Applying ASP to UML Model Validation

  • Mario Ornaghi
  • Camillo Fiorentini
  • Alberto Momigliano
  • Francesco Pagano
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5753)


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.


Class Diagram Concrete Syntax Generator Engine Intermediate Language Object Diagram 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Aydal, E.G., Utting, M., Woodcock, J.: A comparison of state-based modelling tools for model validation. In: Paige, R.F., Meyer, B. (eds.) TOOLS (46). LNBIP, vol. 11, pp. 278–296. Springer, Heidelberg (2008)Google Scholar
  2. 2.
    Calimeri, F., Cozza, S., Ianni, G.: External sources of knowledge and value invention in logic programming. Ann. Math. Artif. Intell. 50(3-4), 333–361 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Calimeri, F., Cozza, S., Ianni, G., Leone, N.: DLV-Complex,
  4. 4.
    Dalal, S.R., et al.: Model-based testing in practice. In: ICSE 1999, pp. 285–294 (1999)Google Scholar
  5. 5.
    Fiorentini, C., Momigliano, A., Ornaghi, M.: Towards a type discipline for answer set programming. In: Berardi, S., Damiani, F., de Liguoro, U. (eds.) TYPES 2008 Post-Proceedings. LNCS, vol. 5497, pp. 117–135. Springer, Heidelberg (2009)Google Scholar
  6. 6.
    Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL models in USE by automatic snapshot generation. Software and System Modeling 4(4), 386–398 (2005)CrossRefGoogle Scholar
  7. 7.
    Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)Google Scholar
  8. 8.
    Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development. Prentice Hall, Upper Saddle River (2004)Google Scholar
  9. 9.
    Leone, N., et al.: The DLV system for knowledge representation and reasoning. ACM TOCL 7(3), 499–562 (2006)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Mario Ornaghi
    • 1
  • Camillo Fiorentini
    • 1
  • Alberto Momigliano
    • 1
  • Francesco Pagano
    • 1
  1. 1.Dipartimento di Scienze dell’InformazioneUniversità degli Studi di MilanoItaly

Personalised recommendations