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 - UFCG, Brazil), Elthon Allex da Silva Oliveira (Federal University of Campina Grande - UFCG, Brazil), Hyggo Almeida (Federal University of Campina Grande - UFCG, Brazil)and Angelo Perkusich (Federal University of Campina Grande, Brazil)
Copyright: 2009
Pages: 15
Source title:
Innovations in Information Systems Modeling: Methods and Best Practices
Source Author(s)/Editor(s): Terry Halpin (Neumont University, USA ), John Krogstie (SINTEF, Norway )and Erik Proper (Radboud University Nijmegen,The Netherlands)
DOI: 10.4018/978-1-60566-278-7.ch013
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
|
Babita Srivastava.
© 2024.
21 pages.
|
|
Sakuntala Rao, Shalini Chandra, Dhrupad Mathur.
© 2024.
27 pages.
|
|
Satya Sekhar Venkata Gudimetla, Naveen Tirumalaraju.
© 2024.
24 pages.
|
|
Neeta Baporikar.
© 2024.
23 pages.
|
|
Shankar Subramanian Subramanian, Amritha Subhayan Krishnan, Arumugam Seetharaman.
© 2024.
35 pages.
|
|
Charu Banga, Farhan Ujager.
© 2024.
24 pages.
|
|
Munir Ahmad.
© 2024.
27 pages.
|
|
|