An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems

An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems

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)
DOI: 10.4018/978-1-59904-249-7.ch015
OnDemand PDF Download:
$30.00
List Price: $37.50

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.

Complete Chapter List

Search this Book:
Reset