loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.239.59.193

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Song, F.; Zacharewicz, G. and Chen, D. (2013). Adapting Simulation Modeling to Model-Driven Architecture for Model Requirement Verification. In Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - SIMULTECH; ISBN 978-989-8565-69-3; ISSN 2184-2841, SciTePress, pages 302-309. DOI: 10.5220/0004585603020309

@conference{simultech13,
author={Fuqi Song. and Gregory Zacharewicz. and David Chen.},
title={Adapting Simulation Modeling to Model-Driven Architecture for Model Requirement Verification},
booktitle={Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - SIMULTECH},
year={2013},
pages={302-309},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004585603020309},
isbn={978-989-8565-69-3},
issn={2184-2841},
}

TY - CONF

JO - Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - SIMULTECH
TI - Adapting Simulation Modeling to Model-Driven Architecture for Model Requirement Verification
SN - 978-989-8565-69-3
IS - 2184-2841
AU - Song, F.
AU - Zacharewicz, G.
AU - Chen, D.
PY - 2013
SP - 302
EP - 309
DO - 10.5220/0004585603020309
PB - SciTePress