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 - 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)
DOI: 10.4018/978-1-60566-278-7.ch013
OnDemand PDF Download:


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.
Chapter Preview


Intelligent information systems (IIS) have been used in several different domains such as communication, sensor networks, decision-making processes, traffic control, business, and manufacturing systems, among others. Most IIS are distributed because the data is collected, processed, and used at different locations by different entities. These entities are autonomous and communicate among them to perform specific tasks. This scenario of an integrated IIS (IIIS) gives rise to several problems and difficulties to be addressed by the development team. Communication, scheduling, synchronization, databases, workflow, and real-time systems are some of the fields that usually have to be addressed in the development of an IIIS.

The agent-based development has been successfully applied to develop information systems with the characteristics mentioned (Jennings, 2001). Agents are intelligent entities, which are distributed and integrated to other agents. Therefore, developing information systems using the agent abstraction is quite convenient.

On the other hand, there are some features related to IIIS which are not explicitly addressed by the agent approach, such as dependability. Within this context, formal methods have been successfully used to promote confidence on the system behavior. More specifically, the coloured Petri nets (CPN) formal method (Jensen 1992, 1997) is pointed out as suitable for distributed and concurrent systems, which are inherent features of IIIS.

This chapter presents an agent-based approach for formal specification and verification of IIIS using coloured Petri nets. A generic agent-based skeleton CPN model comprising integration and distribution functionalities has been defined. Using this model, it is possible to model and verify agent-based IIIS by only modeling the intelligent functionalities. Distribution, integration and intelligent features are well encapsulated in CPN sub models. Thus, the proposed approach simplifies the IIIS modeling activity and improves its flexibility and maintenance. In order to illustrate the usage of the proposed approach, the modeling and verification of a control parking system is presented.

The remainder of the chapter is organized as follows. In the Background, some related works are discussed and background concepts are presented informally. After, the agent-based formal approach for modeling and verifying IIIS is presented. Next, the modeling and verification of a parking meter control system is presented and some verification results are discussed. In Future Trends, there are some insights and suggestions for future work. In the last section, the chapter is concluded and summarized.

Complete Chapter List

Search this Book:
Editorial Advisory Board
Table of Contents
Chapter 1
Terry Halpin
When modeling information systems, one often encounters subtyping aspects of the business domain that can prove challenging to implement in either... Sample PDF
Enriched Conceptualization of Subtyping
Chapter 2
Alessandro Artale, C. Maria Keet
This chapter focuses on formally representing life cycle semantics of part-whole relations in conceptual data models by utilizing the temporal... Sample PDF
Essential, Mandatory, and Shared Parts in Conceptual Data Models
Chapter 3
Peter Bollen
In this chapter the authors extend the ORM conceptual modeling language with constructs for capturing the relevant parts of an application ontology... Sample PDF
Extending the ORM Conceptual Schema Language and Design Procedure with Modeling Constructs for Capturing the Domain Ontology
Chapter 4
Janis Stirna, Anne Persson
This chapter presents experiences and reflections from using the EKD Enterprise Modeling method in a number of European organizations. The EKD... Sample PDF
EKD: An Enterprise Modeling Approach to Support Creativity and Quality in Information Systems and Business Development
Chapter 5
Anders Carstensen, Lennart Holmberg, Kurt Sandkuhl, Janis Stirna
This chapter discusses how an Enterprise Modeling approach, namely C3S3P1, has been applied in an automotive supplier company. The chapter... Sample PDF
Integrated Requirement and Solution Modeling: An Approach Based on Enterprise Models
Chapter 6
John Krogstie, Frank Lillehagen
Innovative design is the most important competitive factor for global engineering and manufacturing. Critical challenges include cutting lead times... Sample PDF
Methodologies for Active Knowledge Modeling
Chapter 7
Peretz Shoval, Mark Last, Avihai Yampolsky
In the analysis phase of the information system development, the user requirements are studied, and analysis models are created. In most UML-based... Sample PDF
Data Modeling and Functional Modeling: Examining the Preferred Order of Using UML Class Diagrams and Use Cases
Chapter 8
Mauri Leppänen
A large number of strategies, approaches, meta models, techniques and procedures have been suggested to support method engineering (ME). Most of... Sample PDF
OntoFrame: An Ontological Framework for Method Engineering
Chapter 9
Patrick van Bommel, Stijn Hoppenbrouwers, Erik Proper, Jeroen Roelofs
A process-oriented framework (QoMo) is presented that aims to further the study of analysis and support of processes for modeling. The framework is... Sample PDF
Concepts and Strategies for Quality of Modeling
Chapter 10
John Erickson, Keng Siau
This chapter presents the basic ideas underlying Service Oriented Architecture as well as a brief overview of current research into the phenomena... Sample PDF
Service Oriented Architecture: A Research Review from the Software and Applications Perspective
Chapter 11
Vítor Estêvão Silva Souza, Ricardo de Almeida Falbo, Giancarlo Guizzardi
In the Web Engineering area, many methods and frameworks to support Web Information Systems (WISs) development have already been proposed.... Sample PDF
Designing Web Information Systems for a Framework-Based Construction
Chapter 12
Tony Elliman, Tally Hatzakis, Alan Serrano
This paper discusses the idea that even though information systems development (ISD) approaches have long advocated the use of integrated... Sample PDF
Business Process Simulation: An Alternative Modelling Technique for the Information System Development Process
Chapter 13
Leandro Dias da Silva, Elthon Allex da Silva Oliveira, Hyggo Almeida, Angelo Perkusich
In this chapter a formal agent based approach for the modeling and verification of intelligent information systems using Coloured Petri Nets is... Sample PDF
An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems
Chapter 14
Jan vom Brocke
With the design of reference models, an increase in the efficiency of information systems engineering is intended. This is expected to be achieved... Sample PDF
Design Principles for Reference Modelling: Reusing Information Models by Means of Aggregation, Specialisation, Instantiation and Analogy
Chapter 15
Eleni Berki
Information systems development methodologies and associated CASE tools have been considered as cornerstones for building quality in an information... Sample PDF
Examining the Quality of Evaluation Frameworks and Metamodeling Paradigms of Information Systems Development Methodologies
About the Contributors