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
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
|Deposited By:||Fazli Masari|
|Deposited On:||08 Aug 2012 05:40|
|Last Modified:||08 Aug 2012 05:40|
Repository Staff Only: item control page