Modelling UML 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:

書目詳細資料
主要作者:	Balagatabi, Hossein Nematzadeh
格式:	Thesis
語言:	English
出版:	2008
主題:	QA75 Electronic computers Computer science
在線閱讀:	http://eprints.utm.my/id/eprint/18069/1/HosseinNematzadehBalagatabiMFC2008.pdf
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

id	my-utm-ep.18069
record_format	uketd_dc
spelling	my-utm-ep.180692018-06-29T21:51:19Z Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters 2008-11 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 http://eprints.utm.my/id/eprint/18069/ http://eprints.utm.my/id/eprint/18069/1/HosseinNematzadehBalagatabiMFC2008.pdf application/pdf en public http://dms.library.utm.my:8080/vital/access/manager/Repository/vital:870?queryType=vitalDismax&query=Modelling+UML+activity+diagram+to+colored+petri+net+for+validation+and+verification+based+on+non+functional+parameters&public=true masters Universiti Teknologi Malaysia, Faculty of Computer Science and Information System Faculty of Computer Science and Information System
institution	Universiti Teknologi Malaysia
collection	UTM Institutional Repository
language	English
topic	QA75 Electronic computers Computer science
spellingShingle	QA75 Electronic computers Computer science Balagatabi, Hossein Nematzadeh Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters
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.
format	Thesis
qualification_level	Master's degree
author	Balagatabi, Hossein Nematzadeh
author_facet	Balagatabi, Hossein Nematzadeh
author_sort	Balagatabi, Hossein Nematzadeh
title	Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters
title_short	Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters
title_full	Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters
title_fullStr	Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters
title_full_unstemmed	Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters
title_sort	modelling uml activity diagram to colored petri net for validation and verification based on non functional parameters
granting_institution	Universiti Teknologi Malaysia, Faculty of Computer Science and Information System
granting_department	Faculty of Computer Science and Information System
publishDate	2008
url	http://eprints.utm.my/id/eprint/18069/1/HosseinNematzadehBalagatabiMFC2008.pdf
_version_	1747815185173708800

Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters

相似書籍