Universiti Teknologi Malaysia Institutional Repository

Testing and verification of UML activity diagram via petri net theory

Nematzadeh, Hossein and Deris, Safaai (2008) Testing and verification of UML activity diagram via petri net theory. In: Advances in software engineering : research & practice. Penerbit UTM, Johor, pp. 273-290. ISBN 978-983-52-0620-7

Full text not available from this repository.

Official URL: http://www.penerbit.utm.my/bookchapterdoc/FSKSM/bo...


UML is known as one of the most common methods in software engineering. Since this language is semi formal, many researches and effort have been done to transform this language in to formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and non functional parameters could be achieved with more ability. This work is an attempt to transform activity diagrams created in UML into fuzzy Petri net. So that the verification and performance evaluation operation could be performed formally, rather than exact visual analysis. There is a limitation for verification operations and predicting nonfunctional parameters of the software, especially in the first cycle of the software production. This problem is more critical for control, critical, reactive and real time systems. Several researches have been performed to tackle with the semi-formal problem of UML. Some of these researches have only used a transformation algorithm, which transforms the created UML model into a Petri net as a mathematical and formal model that, in turn, contains the visual aspect of modeling and pursues the verification operations with further ability (Faul, 2004; Shin et al., 2003; Bernardi et al., 2002; Eshuis, 2002; Pettit, and Gomaa, 2000; Saldhana, and Shatz, 2000; Elkoutbi and Keller, 1998; Bernardinello De Cindio, 1992).

Item Type:Book Section
Uncontrolled Keywords:software, transformation algorithm,
Subjects:Q Science > Q Science (General)
Q Science > QA Mathematics > QA76 Computer software
ID Code:27769
Deposited By: Fazli Masari
Deposited On:08 Aug 2012 05:40
Last Modified:05 Feb 2017 01:39

Repository Staff Only: item control page