(+234)07060722008 
sales@graciousnaija.com
Abstract
We
propose DEVS-Driven Modeling Language (DDML), a graphical notation for DEVS [1]
modeling and an Eclipse-based graphical editor, Eclipse-DDML. DDML attempts to
bridge the gap between expert modelers and domain experts making it easy to
model systems, and capture the static, dynamic, and functional aspects of a
system. At the same time, it unifies C-DEVS and P-DEVS models. DDML integrates
excellent modeling concepts from powerful formalisms and glues them in one
unique consistent framework. Eclipse-DDML provides enhanced graphical editing;
further simplifying model construction and promoting good modeling practices.
Integration with eclipse simplifies software development, installation, and
updates. This also makes the editor extensible.
Chapter
1. Introduction
1.1.
Motivation
To
model is to abstract from reality a description of a dynamic system. Modeling
serves as a language for describing systems at some level of abstraction, or
additionally, at multiple levels of abstraction. Modeling is a way of thinking
and reasoning about systems. Several methodologies and tools have been developed
for modeling of dynamic systems. Most of these tools require the modeler to be
an expert in programming and/or mathematics. Verifying models built with these
tools with domain experts is difficult because a wide knowledge gap exists
between the domain expert and the expert modeler. Also, modeling and simulation
activities are wide apart. Modeling involves developing multiple levels of
abstractions of a system and capturing these abstractions with algorithms that
represent the static, dynamic and functional aspects of the system under study.
The primary issues in simulation are timing aspects identification and time
management. A generic approach is recommended to integrate advanced modeling
into generic simulation methodologies. Hence, both simulation and software
engineering domain expertise should be integrated in the modeling and
simulation process. And since there is an underlying simulation operational
semantic, there is no need for paradigm/formalism transformation.
In
order to realize this solution, an intermediate level of abstraction has to be
adopted, which is high enough to be generalized (and accessible to a wide
community) and low enough to reduce complexity of code synthesis. This
representation needs to express the structural and behavioral characteristics
described by declarative and functional models and this must be inherently
coherent. This integrative approach should allow the use of a user-familiar
language/notation with a potential for formal specification of data and
operations, and therefore the simulation system. We
define the DEVS-Driven Modeling Language (DDML) to be such a notation. DDML
presents a graphical notation to effectively realize DEVS models. The concrete
syntax of DDML is based on the flowchart, State-Event-Chart, Flow-Trace,
State-Event-Trace, and abstract data structure graph [3]. All of these elements
are amenable to formal analysis and all of them have their exact DEVS
equivalent (which provides the operational semantics). DDML provides graphical
notations for defining coupled models and atomic models. Furthermore, atomic
models can be defined using state transition charts (internal and external
state transitions), while taking cognizance of simulation timing. To facilitate
defining simulation models using DDML, we leverage Eclipse’s very rich
infrastructure to develop a graphical editing tool that realizes the graphical
notations for DDML. Our editor provides a rich palette of tools, with drag and
drop facilities. Integration with Eclipse’s platform also eases software
development and makes our tool extensible while simplifying software
development, installation and updates.
Department: Computer Science (M.Sc Thesis)
Format: MS Word
Chapters: 1 - 5, Preliminary Pages, Abstract, References, Appendix.
No. of Pages: 67
Price: 20,000 NGN
In Stock
Our Customers are Happy!!!
No comments:
Post a Comment
Add Comment