Information systems validation using formal models
During the past few years, there has been growing interest to use unified modeling language (UML) to consider the functional requirements. However, lacking a tool to detect the accuracy and the logic of diagrams in this language makes a formal model indispensable. In this study, conversion of primar...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Growing Science
2014-03-01
|
| Series: | Management Science Letters |
| Subjects: | |
| Online Access: | http://www.growingscience.com/msl/Vol4/msl_2014_12.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850167329303822336 |
|---|---|
| author | Azadeh Sarram Ali Harounabadi |
| author_facet | Azadeh Sarram Ali Harounabadi |
| author_sort | Azadeh Sarram |
| collection | DOAJ |
| description | During the past few years, there has been growing interest to use unified modeling language (UML) to consider the functional requirements. However, lacking a tool to detect the accuracy and the logic of diagrams in this language makes a formal model indispensable. In this study, conversion of primary UML model of a system to a colored Petri net has been accomplished in order to examine the precision of the model. For this purpose, first the definition of priority and implementation tags for UML activity diagram are provided; then it is turned into colored Petri net. Second, the proposed model provides translated tags in terms of net transitions and some monitoring are used to control the system characteristics. Finally, an executable model of UML activity diagram is provided so that the designer could simulate the model by using the simulation results to detect and to refine the problems of the model. In addition, by checking the results, we find out the proposed method enhances authenticity and accuracy of early models and the ratio of system validation increases compared with previous methods. |
| format | Article |
| id | doaj-art-e21ead3ccc3d4752a3861cf183b61066 |
| institution | OA Journals |
| issn | 1923-2934 1923-9343 |
| language | English |
| publishDate | 2014-03-01 |
| publisher | Growing Science |
| record_format | Article |
| series | Management Science Letters |
| spelling | doaj-art-e21ead3ccc3d4752a3861cf183b610662025-08-20T02:21:13ZengGrowing ScienceManagement Science Letters1923-29341923-93432014-03-014353354210.5267/j.msl.2014.1.012Information systems validation using formal modelsAzadeh Sarram Ali Harounabadi During the past few years, there has been growing interest to use unified modeling language (UML) to consider the functional requirements. However, lacking a tool to detect the accuracy and the logic of diagrams in this language makes a formal model indispensable. In this study, conversion of primary UML model of a system to a colored Petri net has been accomplished in order to examine the precision of the model. For this purpose, first the definition of priority and implementation tags for UML activity diagram are provided; then it is turned into colored Petri net. Second, the proposed model provides translated tags in terms of net transitions and some monitoring are used to control the system characteristics. Finally, an executable model of UML activity diagram is provided so that the designer could simulate the model by using the simulation results to detect and to refine the problems of the model. In addition, by checking the results, we find out the proposed method enhances authenticity and accuracy of early models and the ratio of system validation increases compared with previous methods.http://www.growingscience.com/msl/Vol4/msl_2014_12.pdfUnified Modeling Language (UML)Activity diagramValidationExecutable modelColored Petri nets |
| spellingShingle | Azadeh Sarram Ali Harounabadi Information systems validation using formal models Management Science Letters Unified Modeling Language (UML) Activity diagram Validation Executable model Colored Petri nets |
| title | Information systems validation using formal models |
| title_full | Information systems validation using formal models |
| title_fullStr | Information systems validation using formal models |
| title_full_unstemmed | Information systems validation using formal models |
| title_short | Information systems validation using formal models |
| title_sort | information systems validation using formal models |
| topic | Unified Modeling Language (UML) Activity diagram Validation Executable model Colored Petri nets |
| url | http://www.growingscience.com/msl/Vol4/msl_2014_12.pdf |
| work_keys_str_mv | AT azadehsarram informationsystemsvalidationusingformalmodels AT aliharounabadi informationsystemsvalidationusingformalmodels |