Iran University of Science and Technology Department of Computer Engineering

A New Framework Based on Petri-Net and Related Formalisms for Modeling and Analysis of Systems By:

Hamid Mohammad Gholizadeh A Thesis Submitted in Partial Fulfillments of The Requirement for Degree of Master of Science in Information Technology Engineering

Supervisor: Dr. M. Abdollahi Azgomi

June 2008

Abstract 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.

Unified Modeling Framework Integrated Environment 1 eXtensible Markup Language 2 Scalable Vector Graphics 3