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 Oliveira, Hyggo Almeida, Angelo Perkusich
Copyright: © 2009 |Pages: 15
ISBN13: 9781605662787|ISBN10: 160566278X|EISBN13: 9781605662794
DOI: 10.4018/978-1-60566-278-7.ch013
Cite Chapter Cite Chapter

MLA

Dias da Silva, Leandro, et al. "An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems." Innovations in Information Systems Modeling: Methods and Best Practices, edited by Terry Halpin, et al., IGI Global, 2009, pp. 254-268. https://doi.org/10.4018/978-1-60566-278-7.ch013

APA

Dias da Silva, L., da Silva Oliveira, E. A., Almeida, H., & Perkusich, A. (2009). An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems. In T. Halpin, J. Krogstie, & E. Proper (Eds.), Innovations in Information Systems Modeling: Methods and Best Practices (pp. 254-268). IGI Global. https://doi.org/10.4018/978-1-60566-278-7.ch013

Chicago

Dias da Silva, Leandro, et al. "An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems." In Innovations in Information Systems Modeling: Methods and Best Practices, edited by Terry Halpin, John Krogstie, and Erik Proper, 254-268. Hershey, PA: IGI Global, 2009. https://doi.org/10.4018/978-1-60566-278-7.ch013

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.