Simulation of traffic flow during emergency evacuations: a microcomputer based modeling system
WSC '93 Proceedings of the 25th conference on Winter simulation
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
A system for multi-agent coordination in uncertain environments
Proceedings of the fifth international conference on Autonomous agents
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Introduction to Multiagent Systems
Introduction to Multiagent Systems
Software Approach To Hazard Detection Using On-Line Analysis Of Safety Constraints
SRDS '97 Proceedings of the 16th Symposium on Reliable Distributed Systems
Trend of Autonomous Decentralized Systems
FTDCS '04 Proceedings of the 10th IEEE International Workshop on Future Trends of Distributed Computing Systems
Managing Multi-Agent Coordination, Planning, and Scheduling
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Support for feedback and change in self-adaptive systems
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Conflicts in teamwork: hybrids to the rescue
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Scalable fault tolerant Agent Grooming Environment: SAGE
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
An HLA-based multiagent system for optimized resource allocation after strong earthquakes
Proceedings of the 38th conference on Winter simulation
A Formal Approach for Design of Agent Based Earthquake Management System (EMS)
SNPD '08 Proceedings of the 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing
An agent-based self risk assessment and monitoring system for cardiovascular disease patients
Telehealth '07 The Third IASTED International Conference on Telehealth
Soundness verification of business processes specified in the Pi-calculus
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
BioWar: scalable agent-based model of bioattacks
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
The Journal of Supercomputing
| Hi-index | 0.00 |
Disaster management systems are complex applications due to their distributed and decentralized nature. Various components execute in parallel with high need of coordination with each other. In such applications, interaction and communication issues are difficult to model and implement. In this paper, we have proposed agent-based Earthquake Management System (EMS) which is modeled and analyzed using formal approach. Traditionally, such systems undergo through various transformations starting from requirement models and specification to analysis, design and implementation. A variety of formal approaches are available to specify systems for analyzing their structure and behavior; however, there are certain limitations in using these techniques due to their expressiveness and behavior requirements. We have adopted combination of Pi-calculus and Pi-ADL formal languages to model EMS from analysis to design. The formal approach helps to enhance reliability and flexibility of the system by reducing the redundant information. It reduces chances of errors by explicitly mentioning working flow of information. Additionally, a prototype application is presented as proof of concept in EMS context. We have also evaluated our formal specification by using ArchWare and ABC tools; also, comparison of prototype application with major existing techniques is highlighted.