Formal Verification of an Application Domain using MDA and OWL

Abstract— The applications conceptual models, during the requirements identification phase, uses an independent platform model for abstract a great part of the system specification without a formal verification, be either syntactic or semantic. This paper proposes an architecture for constructing MDA models using OWL (Ontology Web Language) formalizing concepts about application domain and reducing the time of models.

Full paper here!!

Follow @jaguaracisilva