论文信息 - An Online Platform for Semantic Validation of UML Models

An Online Platform for Semantic Validation of UML Models

The Web is becoming the development platform for applications, thus making desktop IDE and CASE tools obsolete. We propose a first example of online support to application designers, consisting in a tool for online validation of UML models based on semantic formalization and reasoning. We base our work on a formalization of the UML models and we exploit Web engineering methods and techniques, applied to Semantic Web technologies, for providing a set of components and patterns that allow management and verification of UML diagrams.

Marco Brambilla | Christina Tziviskou

[1] Emanuele Della Valle,et al. Model-driven design and development of semantic Web service applications , 2007, TOIT.

[2] Sergio Tessaris,et al. The new ICOM Ontology Editor , 2006, Description Logics.

[3] Ian Horrocks,et al. The Even More Irresistible SROIQ , 2006, KR.

[4] Jocelyn Simmonds,et al. A tool for automatic UML model consistency checking , 2005, ASE '05.

[5] Stefano Ceri,et al. Designing Data-Intensive Web Applications , 2002 .

[6] Carlos Mario Zapata Jaramillo,et al. A Rule-Based System for Assessing Consistency Between UML Models , 2007, MICAI.

[7] Yarden Katz,et al. Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..