2011
EMSS 2011 Proceeding
Formal Framework For The Devs-Driven Modeling Language
Authors: Ufuoma Ighoroje, Oumar Maïga, Mamadou Traoré
Abstract
The DEVS-Driven Modeling Language (DDML) is a graphical modeling language that is based on Discrete Event System Specification (DEVS). Models built with DDML are highly expressive and communicable and validation of model properties can be done by simulating these models following the DEVS simulator protocol. We can take advantage of the usefulness of formal methods and apply symbolic manipulation and reasoning to deduce properties of models that cannot be derived from simulation. Since DDML focuses on three levels of abstraction in the hierarchy of system specification, we propose to do formal reasoning at each level of abstraction by applying a semantic mapping function to formal methods that can capture the properties of the model at each level. We do this because we can gain more insight about a model by observing different perspectives. This formal framework for DDML is the focus of this paper.
I3M Scientific Sponsors
I3M Industrial Sponsors
I3M Media Sponsors
