Welcome to the InfoSci Platform
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, Elthon Allex da Silva Oliveiro, Hyggo Almeida, Angelo Perkusich
Copyright: © 2007 |Pages: 16
ISBN13: 9781599042497|ISBN10: 1599042495|ISBN13 Softcover: 9781599042503|EISBN13: 9781599042510
DOI: 10.4018/978-1-59904-249-7.ch015
Cite Chapter Cite Chapter

MLA

Dias da Silva, Leandro, et al. "An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems." Artificial Intelligence and Integrated Intelligent Information Systems: Emerging Technologies and Applications, edited by Xuan Zha, IGI Global, 2007, pp. 287-302. https://doi.org/10.4018/978-1-59904-249-7.ch015

APA

Dias da Silva, L., da Silva Oliveiro, E. A., Almeida, H., & Perkusich, A. (2007). An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems. In X. Zha (Ed.), Artificial Intelligence and Integrated Intelligent Information Systems: Emerging Technologies and Applications (pp. 287-302). IGI Global. https://doi.org/10.4018/978-1-59904-249-7.ch015

Chicago

Dias da Silva, Leandro, et al. "An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems." In Artificial Intelligence and Integrated Intelligent Information Systems: Emerging Technologies and Applications, edited by Xuan Zha, 287-302. Hershey, PA: IGI Global, 2007. https://doi.org/10.4018/978-1-59904-249-7.ch015

Export Reference

Mendeley
Favorite

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.