Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.