چكيده
Abstra ct
Nowadays, there are many analytic, formal and simulation techniques for modeling and analysis of
systems. Formal methods are used for analysis and verification of systems. In modeling large and
complex systems, it is necessary to use different formal languages for modeling subsystems.
Therefore, it is required to have a framework to compose the submodels to build the whole model
of the system.
In this thesis, we have introduced a modeling framework named unified modeling framework
(UMF) for modeling and analyzing based on Petri nets and their related formalisms. The framework
is defined based on a three layered model. Such a structure gives a flexibility of defining different
formalisms and using them in an integrated environment in the framework. We use object-oriented
techniques for handling complexity and relationships in the framework. It is possible to define a
new formalism in the framework and create models based on the defined formalism and use
instances of the defined models several times with different initialization in an atomic or a
composed model. We can create a composed model of a non-homogenous models defined based on
different formalisms. There is a solver manager and a result manager, which are using native and
non-native solvers to solve models.
We have developed a graphical integrated environment (UMF-IE1) using Java™ programming
language. We have implemented the basic functionalities of the framework including defining and
saving formalisms, creating models in an interactive graphical environment, storing and retrieving
them, constructing composed models and etc. XML2 is the data infrastructure of the framework and
SVG3 is used for graphical structures of the framework.
