A tool based on DL for UML model consistency checking

International Journal of Software Engineering and Knowledge Engineering

Volumn 18, Issue 6, 2008, Pages 713-735

  Simmonds, Jocelyn ^a   Bastarrica, María Cecilia ^b   Hitschfeld Kahler, Nancy ^b   Rivas, Sebastián ^b  

^a UNIVERSITY OF TORONTO   (Canada)

^b UNIVERSITY OF CHILE   (Chile)

Author keywords

Description logics; Model consistency checking; UML modeling

Indexed keywords

DATA DESCRIPTION; UNIFIED MODELING LANGUAGE; XML;

AS MODELS; CONSISTENCY PROBLEMS; DESCRIPTION LOGICS; DESIGNED MODELS; INTEROPERABLE; MESHING TOOLS; MODEL CONSISTENCIES; MODEL CONSISTENCY CHECKING; MODELING TOOLS; REAL WORLDS; REASONING ENGINES; SCALABLE SOLUTIONS; SYSTEM DESIGNERS; UML META MODELS; UML MODELING; UML MODELS;

MODEL CHECKING;

EID: 58149260380     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194008003829     Document Type: Article

References (32)

1. F. Baader, D. L. McGuinness, D. Nardi, and P. F, Patel-Schneider, The Description Logic Handbook: Theory, Implementation and Applications (Cambridge University Press, 2003).
2. M. C. Bastarrica and N. Hitschfeld-Kahler, Designing a product family of meshing tools, Advances in Engineering Software 37(1) (2006) 1-10.
3. M. C. Bastarrica, N. Hitschfeld-Kahler, and P. O. Rossel, Product line architecture for a family of meshing tools, in Proc. 9th Int. Conf. Software Reuse (ICSR 2006), LNCS 4039, Turin, Italy, June 2006.
4. D. Berardi, D. Calvanese, and G. De Giacomo, Reasoning on UML class diagrams is EXPTIME-hard, in Proc. 2003 Description Logic Workshop (DL 2003), CEUR Electronic Workshop Proceedings, 2003, pp. 28-37.
5. R. Bjork, Atm simulation links, 2000, http://www.math-cs.gordon.edu/ courses/ cs211/ATMExample/Links.html.
6. A. Call, D. Calvanese, G. De Giacomo, and M. Lenzerini, A formal framework for reasoning on UML class diagrams, in Proc. 13th Int. Syrap. Methodologies for Intelligent Systems (ISMIS 2002), LNCS Vol. 2366, Springer, 2002, pp. 503-513.
7. P. Clements, F. Bachman, I. Bass, D. Garlan, J. Ivers, R. Little, R. Nord, and J. Stofferd, Documenting Software Architectures. Views and Beyond (Addison-Wesley, 2002).
8. Comsol, Comsol, 2006, http://www.comsol.com/.
9. H. Ehrig and A. Tsiolakis, Consistency analysis of UML class and sequence diagrams using attributed graph grammars, in ETAPS 2000 Workshop on Graph Transformation Systems, eds. H. Ehrig and G. Taentzer, March 2000, pp. 77-86.
10. A. H. ElSheikh, W. S. Smith, and S. E. Chidiac, Semi-formal design of reliable mesh generation systems, Advances in Engineering Software 35(12) (2004) 827-841.
11. G. Engels, R. Heckel, and J. M. Küster, Rule-based specification of behavioral consistency based on the UML meta-model, in Proc. Int. Conf. UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools, eds. M. Gogolla and C. Kobryn, LNCS Vol. 2185, Springer-Verlag, 2001, pp. 272-286.
12. J. C. Grundy, J. G. Hosking, and W. B. Mugridge, Inconsistency management for multiple-view software development environments, IEEE Trans. Software Engineering 24(11) (1998) 960-981.
13. V. Haarslev and R. Möller, High performance reasoning with very large knowledge bases: A practical case sttudy, in Proc. 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), 2001, pp. 161-168.
14. V. Haarslev and R. Möller, RACER, April 8 2003, http://www.fh-wedel. de0/ -mo/racer/.
15. V. Haarslev, R. Möller, R. Van Der Straeten, and M. Wessel, Extended query facilities for RACER and an application to software-engineering problems, in Proc. Int. Workshop in Description Logics 2004 (DL 2004), 2004.
16. G. J. Holzmann, The model checker spin, IEEE Trans. Software Engineering 23(5) (1997) 279-295.
17. I. Horrocks, FaCT, September 2004, http://www.cs.man.ac.uk/-horrocks/ FaCT/.
18. IBM, Rational Software, October 2004, http://www-306.ibm.com/software/ rational/.
19. ISI, Loom, April 2003, http://www.isi.edu/isd/LOOM/LOOM-HOME.html.
20. B. Litvak, S. Tyszberowicz, and A. Yehudai, Consistency validation of UML diagrams, in Correctness of Model-Based Software Composition (CMC) Workshop (ECOOP), 2003.
21. M. Moors, Rose Model Checker, October 2004, http://www.rationalrose.com/ modelchecker/index.htm.
22. Object Management Group, UML 2.0 Infrastructure Specification, September 2003, http: //www.omg.org/docs/ptc/03-09-15.pdf.
23. Object Management Group, UML 2.0 Superstructure Specification. 04-05-02.pdf, May 2004, http://www.omg.org/docs/ptc/.
24. HP Labs Semantic Web Programme, Jena - a semantic web framework for Java, November 2006, http://jena.sourceforge.net/.
25. T. Schäfer, A. Knapp, and S. Merz, Model checking UML state machines and collaborations, Electronic Notes in Theoretical Computer Science 47 (2001) 1-13.
26. J. Simmonds, Consistency Maintenance of UML Models with Description Logics, Master's thesis, Vrije Universiteit Brussel, Belgium and Ecole des Mines de Nantes, France, 2003.
27. J. Simmonds and M. C. Bastarrica, A tool for automatic UML model consistency checking, in Proc. 20th IEEE/ACM Int. Conf. on Automated Software Engineering (ASE'2005), Long Beach, CA, November 2005, pp. 431-432. Tool demonstration track.
28. R. Van Der Straeten, Inconsistency detection between UML models using RACER and nRQL, in Proc. KI-2004 Workshop on Applications of Description Logics (ADL'04), University of Ulm, Germany, September 2004.
29. R. Van Der Straeten, Inconsistency Management in Model-Driven Engineering, PhD thesis, Vrije Universiteit Brussel, September 2005.
30. R. Van Der Straeten, T. Mens, and J. Simmonds, Maintaining consistency between UML models with description logic tools, in ECOOP Workshop on Object-Oriented Reengineering, Darmstadt, Germany, July 2003.
31. R. Van Der Straeten, T. Mens, J. Simmonds, and V. Jonckers, Using description logics to maintain consistency between UML models, in Proc. Unified Modeling Language: Modeling Languages and Applications (UML 2003), LNCS Vol. 2863, Springer-Verlag, Heidelberg, October 2003, pp. 326-340.
32. R. Van Der Straeten, J. Simmonds, and T. Mens, Detecting inconsistencies between UML models using description logic, in Proc. 2003 Int. Workshop on Description Logics (DL 2003), September 2003.