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.