Applying ASP to UML model validation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5753 LNAI, Issue , 2009, Pages 457-463

  Ornaghi, Mario ^a   Fiorentini, Camillo ^a   Momigliano, Alberto ^a   Pagano, Francesco ^a  

^a UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET; GENERATOR ENGINES; MODEL VALIDATION; OBJECT DIAGRAMS; UML CLASS DIAGRAMS; UML MODEL;

LOGIC PROGRAMMING;

EID: 70349850651     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04238-6_42     Document Type: Conference Paper

References (9)

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)
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)
3. Calimeri, F., Cozza, S., Ianni, G., Leone, N.: DLV-Complex, http://www.mat.unical.it/dlv-complex
4. Dalal, S.R., et al.: Model-based testing in practice. In: ICSE 1999, pp. 285-294 (1999)
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)
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)
7. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)
8. Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development. Prentice Hall, Upper Saddle River (2004)
9. Leone, N., et al.: The DLV system for knowledge representation and reasoning. ACM TOCL 7(3), 499-562 (2006)