Authors:
Fuqi Song
;
Gregory Zacharewicz
and
David Chen
Affiliation:
Univ. Bordeaux, France
Keyword(s):
Model-Driven Architecture, Model Verification, Ontology, DEVS, Simulation Interoperability.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Biomedical Engineering
;
Collaboration and e-Services
;
Complex Systems Modeling and Simulation
;
Data Engineering
;
e-Business
;
Enterprise Engineering
;
Enterprise Information Systems
;
Enterprise Ontologies
;
Formal Methods
;
Health Information Systems
;
Integration/Interoperability
;
Interoperability
;
Knowledge Management and Information Sharing
;
Knowledge-Based Systems
;
Ontologies
;
Ontologies and the Semantic Web
;
Sensor Networks
;
Simulation and Modeling
;
Software Agents and Internet Computing
;
Software and Architectures
;
Symbolic Systems
Abstract:
In order to automate the software development process and enhance interoperability and reusability of it, Model-Driven Architecture (MDA) was proposed aiming to achieving these goals. MDA mainly involves creating models and performing model transformation, it is a high model-intensive process. However, how to verify the models by respecting to the requirements becomes a concern in the automation process. In this paper, we describe the work of proposing a method using ontology as information exchange media to adapt simulation modeling to MDA towards this goal. Simulation is integrated loosely to MDA for verifying the models with the pre-defined requirements to check if expected goals are fulfilled. An illustrative case study is given to explain visually the method.