Modeling activity diagram to colored petri net for validation and verification based on non functional parameters
UML is one of the modeling tools which gains wide area of usage in developing softwares. It consists of many diagrams which help developers of a software to produce better product. One of its diagrams is called Activity Diagram. It is a deliverable which is usually produced in the analysis phase of...
Saved in:
Main Author: | Balagatabi, Hossein Nematzadeh |
---|---|
Format: | Thesis |
Language: | English |
Published: |
2008
|
Subjects: | |
Online Access: | http://eprints.utm.my/id/eprint/9533/1/HosseinNematzadehBalagatabiMFSKSM2008.pdf http://eprints.utm.my/id/eprint/9533/ |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters
by: Balagatabi, Hossein Nematzadeh
Published: (2008) -
QoS measurement of workflow-based web service compositions using colored petri net
by: Nematzadeh, Hossein, et al.
Published: (2014) -
Single and Replicated Simulations for Colored Petri Nets Nondeterministic Network
by: Adhipta, D., et al.
Published: (2010) -
Transforming polymorphic process model to petri net: a formal way for validating workflow-based web service composition
by: Mohamad, Radziah, et al.
Published: (2011) -
Grammars controlled by Petri Nets
by: Dassow, Juergen, et al.
Published: (2012)