Common modeling language for model checkers
Problem statement: There are many different model checkers that have been developed. Each of the model checkers is based on different input languages and they are suitable for model checking different types of systems. Thus it is important for us to choose the right model checker or modeling and ver...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Science Publications
2012
|
Online Access: | http://psasir.upm.edu.my/id/eprint/22511/1/Common%20modeling%20language%20for%20model%20checkers.pdf |
_version_ | 1796970175186075648 |
---|---|
author | Abdul Samad, Pathiah Mohd Zin, Abdullah |
author_facet | Abdul Samad, Pathiah Mohd Zin, Abdullah |
author_sort | Abdul Samad, Pathiah |
collection | UPM |
description | Problem statement: There are many different model checkers that have been developed. Each of the model checkers is based on different input languages and they are suitable for model checking different types of systems. Thus it is important for us to choose the right model checker or modeling and verifying a given system. However, moving from one model checker to another is not an easy task since we have to deal with different input languages. Approach: In order to solve the problem we propose a common modeling language that is based on UML state chart. Some translation rules for translating the model described in the common modeling language into the input languages of model checkers are also presented. Results: The result of the case study shows that our approach has been successfully applied in modeling the control system through the process of transformation and translation. Conclusion: Common modeling language can be used as a front end to help users to properly model a system before it is translated into input language of model checkers. |
first_indexed | 2024-03-06T07:54:09Z |
format | Article |
id | upm.eprints-22511 |
institution | Universiti Putra Malaysia |
language | English |
last_indexed | 2024-03-06T07:54:09Z |
publishDate | 2012 |
publisher | Science Publications |
record_format | dspace |
spelling | upm.eprints-225112015-10-13T02:10:59Z http://psasir.upm.edu.my/id/eprint/22511/ Common modeling language for model checkers Abdul Samad, Pathiah Mohd Zin, Abdullah Problem statement: There are many different model checkers that have been developed. Each of the model checkers is based on different input languages and they are suitable for model checking different types of systems. Thus it is important for us to choose the right model checker or modeling and verifying a given system. However, moving from one model checker to another is not an easy task since we have to deal with different input languages. Approach: In order to solve the problem we propose a common modeling language that is based on UML state chart. Some translation rules for translating the model described in the common modeling language into the input languages of model checkers are also presented. Results: The result of the case study shows that our approach has been successfully applied in modeling the control system through the process of transformation and translation. Conclusion: Common modeling language can be used as a front end to help users to properly model a system before it is translated into input language of model checkers. Science Publications 2012 Article PeerReviewed application/pdf en http://psasir.upm.edu.my/id/eprint/22511/1/Common%20modeling%20language%20for%20model%20checkers.pdf Abdul Samad, Pathiah and Mohd Zin, Abdullah (2012) Common modeling language for model checkers. Journal of Computer Science, 8 (1). pp. 99-106. ISSN 1549-3636; ESSN: 1552-6607 http://thescipub.com/html/10.3844/jcssp.2012.99.106 10.3844/jcssp.2012.99.106 |
spellingShingle | Abdul Samad, Pathiah Mohd Zin, Abdullah Common modeling language for model checkers |
title | Common modeling language for model checkers |
title_full | Common modeling language for model checkers |
title_fullStr | Common modeling language for model checkers |
title_full_unstemmed | Common modeling language for model checkers |
title_short | Common modeling language for model checkers |
title_sort | common modeling language for model checkers |
url | http://psasir.upm.edu.my/id/eprint/22511/1/Common%20modeling%20language%20for%20model%20checkers.pdf |
work_keys_str_mv | AT abdulsamadpathiah commonmodelinglanguageformodelcheckers AT mohdzinabdullah commonmodelinglanguageformodelcheckers |