A runtime approach to verify scenario in multi-agent systems

Trinh T.-B., Pham Q.-T., Truong N.-T., Nguyen V.-H. University of Engineering and Technology, Vietnam National University, Hanoi, 144 Xuan Thuy, Cau Giay,Hanoi, Viet Nam Abstract: A scenario is a synthetic description of an event or series of actions and events. It plays animportant role in software analysis and design, as well as verification and validation. In this paper, wepropose an approach to verify the correctness of execution scenario in a multiagent system. In this approach,scenarios are specified by Protocol Diagrams in AUML (Agent Unified Modeling Language), we formalizepre and postconditions of the scenarios and define an extension property class in JPF (Java PathFinder)model checker to verify if the execution of scenarios satisfies their constraints. We use a well-knownscenario of a book trading multi-agent system to illustrate our approach. © 2010 IEEE. Index Keywords: Agent unified modeling languages; Execution scenario; Extension properties; JavaPathFinder; Model checker; Protocol diagrams; Runtime approach; Software analysis; Verification andvalidation; Intelligent agents; Java programming language; Model checking; Systems engineering; UnifiedModeling Language; Multi agent systems Year: 2010 Source title: Proceedings - 2nd International Conference on Knowledge and Systems Engineering, KSE2010 Art. No.: 5632132 Page : 161-166 Link: Scorpus Link Correspondence Address: Trinh, T.-B.; University of Engineering and Technology, Vietnam NationalUniversity, Hanoi, 144 Xuan Thuy, Cau Giay, Hanoi, Viet Nam; email: binhtt@vnu.edu.vn Conference name: 2nd International Conference on Knowledge and Systems Engineering, KSE 2010 Conference date: 7 October 2010 through 9 October 2010 Conference location: Hanoi Conference code: 83923 ISBN: 9.78077E+12 DOI: 10.1109/KSE.2010.13 Language of Original Document: English Abbreviated Source Title: Proceedings - 2nd International Conference on Knowledge and SystemsEngineering, KSE 2010 Document Type: Conference Paper Source: Scopus Authors with affiliations: