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...
| Main Author: | |
|---|---|
| Format: | Thesis |
| Language: | English |
| Published: |
2008
|
| Subjects: | |
| Online Access: | http://eprints.utm.my/9533/ http://eprints.utm.my/9533/1/HosseinNematzadehBalagatabiMFSKSM2008.pdf |
| _version_ | 1848891872368394240 |
|---|---|
| author | Balagatabi, Hossein Nematzadeh |
| author_facet | Balagatabi, Hossein Nematzadeh |
| author_sort | Balagatabi, Hossein Nematzadeh |
| building | UTeM Institutional Repository |
| collection | Online Access |
| description | 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 software. It consists of many important benefits, yet it has weaknesses too. One important thing which the current Activity Diagram is unable to do it is that it can not be validated and verified. The current Activity Diagram is a functional diagram and to extract non functional parameters from functional diagram is impossible but through modeling it to colored Petri net and by using the formalism of colored Petri net we may able to verify and validate the Activity Diagram. The ultimate outcome of this study would be handful information to manage the current mentioned Activity Diagram's weakness. Moreover a computer tool is provided called ADET to validate and verify the activity diagram. |
| first_indexed | 2025-11-15T21:04:52Z |
| format | Thesis |
| id | utm-9533 |
| institution | Universiti Teknologi Malaysia |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-15T21:04:52Z |
| publishDate | 2008 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | utm-95332018-06-29T21:50:51Z http://eprints.utm.my/9533/ Modeling activity diagram to colored petri net for validation and verification based on non functional parameters Balagatabi, Hossein Nematzadeh QA75 Electronic computers. Computer science 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 software. It consists of many important benefits, yet it has weaknesses too. One important thing which the current Activity Diagram is unable to do it is that it can not be validated and verified. The current Activity Diagram is a functional diagram and to extract non functional parameters from functional diagram is impossible but through modeling it to colored Petri net and by using the formalism of colored Petri net we may able to verify and validate the Activity Diagram. The ultimate outcome of this study would be handful information to manage the current mentioned Activity Diagram's weakness. Moreover a computer tool is provided called ADET to validate and verify the activity diagram. 2008-11 Thesis NonPeerReviewed application/pdf en http://eprints.utm.my/9533/1/HosseinNematzadehBalagatabiMFSKSM2008.pdf Balagatabi, Hossein Nematzadeh (2008) Modeling activity diagram to colored petri net for validation and verification based on non functional parameters. Masters thesis, Universiti Teknologi Malaysia, Faculty of Computer Science and Information System. |
| spellingShingle | QA75 Electronic computers. Computer science Balagatabi, Hossein Nematzadeh Modeling activity diagram to colored petri net for validation and verification based on non functional parameters |
| title | Modeling activity diagram to colored petri net for validation and verification based on non functional parameters |
| title_full | Modeling activity diagram to colored petri net for validation and verification based on non functional parameters |
| title_fullStr | Modeling activity diagram to colored petri net for validation and verification based on non functional parameters |
| title_full_unstemmed | Modeling activity diagram to colored petri net for validation and verification based on non functional parameters |
| title_short | Modeling activity diagram to colored petri net for validation and verification based on non functional parameters |
| title_sort | modeling activity diagram to colored petri net for validation and verification based on non functional parameters |
| topic | QA75 Electronic computers. Computer science |
| url | http://eprints.utm.my/9533/ http://eprints.utm.my/9533/1/HosseinNematzadehBalagatabiMFSKSM2008.pdf |