The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems
|
|
Author(s): Leandro Dias da Silva (Federal University of Campina Grande, Brazil), Elthon Allex da Silva Oliveiro (Federal University of Campina Grande, Brazil), Hyggo Almeida (Federal University of Campina Grande, Brazil)and Angelo Perkusich (Federal University of Campina Grande, Brazil)
Copyright: 2007
Pages: 16
Source title:
Artificial Intelligence and Integrated Intelligent Information Systems: Emerging Technologies and Applications
Source Author(s)/Editor(s): Xuan Zha (National Institute of Standards and Technology, University of Maryland, USA & Shanghai JiaoTong University, China)
DOI: 10.4018/978-1-59904-249-7.ch015
Purchase
|
Abstract
In this chapter a formal agent based approach for the modeling and verification of intelligent information systems using Coloured Petri Nets is presented. The use of a formal method allows analysis techniques such as automatic simulation and verification, increasing the confidence on the system behavior. The agent based modelling allows separating distribution, integration and intelligent features of the system, improving model reuse, flexibility and maintenance. As a case study an intelligent information control system for parking meters price is presented.
Related Content
|
Frederic Andres.
© 2027.
14 pages.
|
|
Kalsoom Safdar, Khairul Najmy Abdul Rani, Mohd Aminudin Jamlos, Siti Julia Rosli, Muhammad Usman Younus, Zanab Safdar.
© 2027.
27 pages.
|
|
Bani Adam, Binastya Anggara Sekti, Muhammad Adi Zacky Zahran.
© 2027.
24 pages.
|
|
Swetha Margaret T. A., Renuka Devi D..
© 2027.
31 pages.
|
|
Maurice Saluschke, Michael Schulz.
© 2027.
30 pages.
|
|
Mirjam Sepesy Maučec, Gregor Donaj.
© 2027.
16 pages.
|
|
Jorge A. Ruiz-Vanoye, Ocotlan Diaz-Parra, Ricardo A. Barrera-Cámara, Alejandro Fuentes-Penna, Francisco R. Trejo-Macotela, Jaime Aguilar-Ortiz, Eric Simancas-Acevedo.
© 2027.
21 pages.
|
|
|