Abstract
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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Advanced National Seismic System (2008) www.anss.org
AGENTLINK (2005) Multi-agent systems in crisis management: the combined systems – case study. Dec. 2005
Ahmad HF, Suguri H, Ali A, Malik S, Mugal M, Shafiq O, Tariq A, Basharat A (2005) Scalable fault tolerant agent grooming environment—SAGE agent platform. In: 4th International joint conference on autonomous agents and multi agent systems (AAMAS). Demo, Utrecht, Netherlands, 2005
Ali A, Ahmad HF, Abbas Z, Ghafoor A, Mujahid R, Suguri H (2004) SAGE: next generation multi-agent system. In: Proceedings of the international conference on parallel and distributed processing techniques and applications, USA, 2004
Another Bisimilarity Checker (ABC) (2008) Online: http://lamp.epfl.ch/~sbriais/abc/abc_ug.pdf
ArchWare (2008) Architecting evolvable software. European RTD Project www.architecture-ware.org
Balasubramaniam D, Morrison R, Kirby GNC, Mickan K, Norcross S (2004) ArchWare ADL release 1 user reference manual. ArchWare Project IST-2001-32360 Report D4.3
Balasubramaniam D, Morrison R, Mickan K, Kirby G, Warboys B, Robertson I, Snowdon B, Greenwood RM, Seet W (2004) Support for feedback and change in self-adaptive systems. In: Proceedings of the 1st ACM SIGSOFT workshop on self-managed systems, USA, 2004
Carley M, Fridsma KM, Casman DB, Yahja E, Altman A, Chen NL-C, Kaminsky B, Nave D (2006) BioWar scalable agent-based model of bioattacks. IEEE Trans Syst Man Cybern (March)
Castillo L, Fdez-Olivares J, Gonz’alez A (2002) Shifting AI planning technology from automated manufacturing to autonomous operation and control in space missions. In: Workshop on AI planning and scheduling for autonomy in space applications, 2002
Chen W, Decker KS (2004) Managing multi-agent coordination, planning, and scheduling. In: AAMAS’04, 2004
Earthquake Management (2008) www.earthquakemanagement.net/
Fiedrich F (2006) An HLA-based multi-agent system for optimized resource allocation after strong earthquakes. In: Proceedings of the winter simulation conference, USA, 2006
FIPA Ontology Service Specification (2008) http://www.fipa.org/specs/fipa00086/XC00086C.html
FIPA (2009) Foundation for Intelligent & Physical Agents. http://www.fipa.org
Geology Labs Online (2008) http://www.sciencecourseware.org/VirtualEarthquake/VQuakeExecute.html
Jena (2007) http://jena.sourceforge.net/ 2007
Kashcroft J, Daniels D, Hart S (1970) Crisis Information Management Software (CIMS) Feature Comparison Report. NIJ Special Report. http://www.ncjrs.gov/pdffiles1/nij/197065.pdf
Lita L, Schulte J, Thrun S (2001) A multi-agent system for agent coordination in uncertain environments. In: Proceedings of the fifth international conference on autonomous agents, Canada, 2001
Milner R (1980) A calculus of communicating systems. In: LNCS, vol 92. Springer, Berlin
Milner R (1999) Communicating and mobile systems: the Pi-calculus. Cambridge University Press, Cambridge
Mobility Workbench (2008) Online: http://www.it.uu.se/research/group/mobility/mwb
Mori K (2004) Trend of autonomous decentralized systems. In: Proceedings of 10th IEEE international workshop on future trends of distributed computing systems (FTDCS), China, 2004
Mori K (2007) Autonomous decentralized systems for service assurance and its application. In: LNCS, vol 4526. Springer, Berlin.
Pan JI, Huang KJ, Lee YH, Yang CK, Shih S-Y (2007) An agent-based self-risk assessment and monitoring system for cardiovascular disease patients. In: Proceeding of Telehealth, 2007
Parrow J (2001) An introduction to the Pi-calculus, Handbook of process algebra. Elsevier, Amsterdam
Peña-Mora F, Mathias C (2004) AVSAR: a collaboration system for disaster search and rescue operations using autonomous vehicles. Int J IT Archit Eng Constr
Protégé (2007) http://protege.stanford.edu/ 2007
Puhlmann F (2007) Soundness verification of business processes specified in the Pi-calculus. In: LNCS, vol 4803. Springer, Berlin.
Rathi AK, Solanki RS (1993) Simulation of traffic flow during emergency evacuations: a microcomputer based modeling system. In: Proceedings of the winter simulation conference, 1993
Sadik S, Ahmad HF, Ali A, Suguri H (2007) Policy-based ontology framework for mobile agents. In: 6th IEEE international conference on computer and information science (ICIS07), Australia, July 2007
Sadik S, Rahman A, Ali A, Ahmad HF, Suguri H (2008) A formal approach for design of agent-based earthquake management system. In: Proceedings of the ninth ACIS international conference on software engineering, artificial intelligence, networking, and parallel/distributed computing (SNPD2008), Thailand
Sadik S, Pasha M, Ali A, Ahmad HF, Suguri H (2006) Policy based migration of mobile agents in disaster management systems. In: Proceedings of IEEE international conference on emerging technologies, Pakistan, 2006
Sahana (2008) IBM Sahana is open source software available on Sourceforge.net. http://www.sahana.lk/
Scalem M, Bandyopadhyay S, Sinha S, Sircar A (2005) Decentralised Disaster Management Information Network (DDMIN): research discussions on the inherent technological and strategic implementation issues and proposed solutions. In: CISTM, India, 2005
Scaruffi P (2008) The worst natural disasters ever. Online www.scaruffi.com/politics/disaster.html
Schroeder BA, Schwan K, Aggarwal S (1997) Software approach to hazard detection using on-line analysis of safety constraints. In: Proc. IEEE symposium on reliable distributed systems, Oct. 1997, pp 80–87
Smathers DC, Goldsmith SY (2001) Agent concept for intelligent distributed coordination in the electric power grid, 2001. Online: http://certs.lbl.gov/pdf/sand00-1005.pdf. Accessed 2008
Tambe M, Bowring E, Jung H, Kaminka G, Maheswaran R, Marecki J, Modi PJ, Nair R, Okamoto S, Pearce JP, Paruchuri P, Pynadath D, Scerri P, Scerri N, Schurr N, Varakantham P (2005) Conflicts in teamwork: hybrids to the rescue. In: Proceedings of the fourth international joint conference on autonomous agents and multiagent systems (AAMAS), Netherlands, 2005
W3C (2007) http://www.w3.org/ 2007
Walle B, Turoff M (2007) Emergency response information systems: emerging Z-trends and technologies. Commun ACM (March)
Wing JM (2002) FAQ on Pi-calculus, December 2002. http://www.cs.cmu.edu/~wing/publications/Wing02a.pdf
Wooldridge M (2002) An introduction to multi-agent systems. Wiley, New York
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Sadik, S., Rahman, A., Ali, A. et al. Modeling high assurance agent-based Earthquake Management System using formal techniques. J Supercomput 52, 97–118 (2010). https://doi.org/10.1007/s11227-009-0266-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11227-009-0266-9