Analyzing model checking approach for multi agent system verification
During requirement specification process of software development activities, many existing systems or business process requirements have been captured using natural language or specialized tools such as UML. However, the capturing of informal requirements into formalized properties has not been take...
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Published: |
2011
|
| _version_ | 1796858783141462016 |
|---|---|
| author | Selamat, Ali Abu Bakar, Najwa |
| author_facet | Selamat, Ali Abu Bakar, Najwa |
| author_sort | Selamat, Ali |
| collection | ePrints |
| description | During requirement specification process of software development activities, many existing systems or business process requirements have been captured using natural language or specialized tools such as UML. However, the capturing of informal requirements into formalized properties has not been taken into attention by software developers due to time and budget constraints. It is critical for the informally captured requirements to be formally specified in order to perform system verification. Formal verification checks whether a system model meets the formal specifications while validation checks whether the developed system fulfills its intended purpose. Therefore, in this paper, we present our studies of formal verification of multi agent system using model checking approach. We have utilized model checking tool in order to execute the formal verification procedures based on a particular basic theory to verify certain kind of properties of requirement specifications. We show an example of how model checking tool could support the verification of Universiti Teknologi Malaysia (UTM) multi agent online application system and conclude that the propose model checking approach will benefit multi agent system. |
| first_indexed | 2024-03-05T19:17:31Z |
| format | Conference or Workshop Item |
| id | utm.eprints-45592 |
| institution | Universiti Teknologi Malaysia - ePrints |
| last_indexed | 2024-03-05T19:17:31Z |
| publishDate | 2011 |
| record_format | dspace |
| spelling | utm.eprints-455922017-08-29T00:55:21Z http://eprints.utm.my/45592/ Analyzing model checking approach for multi agent system verification Selamat, Ali Abu Bakar, Najwa During requirement specification process of software development activities, many existing systems or business process requirements have been captured using natural language or specialized tools such as UML. However, the capturing of informal requirements into formalized properties has not been taken into attention by software developers due to time and budget constraints. It is critical for the informally captured requirements to be formally specified in order to perform system verification. Formal verification checks whether a system model meets the formal specifications while validation checks whether the developed system fulfills its intended purpose. Therefore, in this paper, we present our studies of formal verification of multi agent system using model checking approach. We have utilized model checking tool in order to execute the formal verification procedures based on a particular basic theory to verify certain kind of properties of requirement specifications. We show an example of how model checking tool could support the verification of Universiti Teknologi Malaysia (UTM) multi agent online application system and conclude that the propose model checking approach will benefit multi agent system. 2011 Conference or Workshop Item PeerReviewed Selamat, Ali and Abu Bakar, Najwa (2011) Analyzing model checking approach for multi agent system verification. In: 2011 5th Malaysian Software Engineering Conference (MYSEC). http://dx.doi.org/10.1109/MySEC.2011.6140650 |
| spellingShingle | Selamat, Ali Abu Bakar, Najwa Analyzing model checking approach for multi agent system verification |
| title | Analyzing model checking approach for multi agent system verification |
| title_full | Analyzing model checking approach for multi agent system verification |
| title_fullStr | Analyzing model checking approach for multi agent system verification |
| title_full_unstemmed | Analyzing model checking approach for multi agent system verification |
| title_short | Analyzing model checking approach for multi agent system verification |
| title_sort | analyzing model checking approach for multi agent system verification |
| work_keys_str_mv | AT selamatali analyzingmodelcheckingapproachformultiagentsystemverification AT abubakarnajwa analyzingmodelcheckingapproachformultiagentsystemverification |