Skip to main content
Log in

Modeling high assurance agent-based Earthquake Management System using formal techniques

  • Published:
The Journal of Supercomputing Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Advanced National Seismic System (2008) www.anss.org

  2. AGENTLINK (2005) Multi-agent systems in crisis management: the combined systems – case study. Dec. 2005

  3. 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

  4. 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

  5. Another Bisimilarity Checker (ABC) (2008) Online: http://lamp.epfl.ch/~sbriais/abc/abc_ug.pdf

  6. ArchWare (2008) Architecting evolvable software. European RTD Project www.architecture-ware.org

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

  8. 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

  9. 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)

  10. 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

  11. Chen W, Decker KS (2004) Managing multi-agent coordination, planning, and scheduling. In: AAMAS’04, 2004

  12. Earthquake Management (2008) www.earthquakemanagement.net/

  13. 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

  14. FIPA Ontology Service Specification (2008) http://www.fipa.org/specs/fipa00086/XC00086C.html

  15. FIPA (2009) Foundation for Intelligent & Physical Agents. http://www.fipa.org

  16. Geology Labs Online (2008) http://www.sciencecourseware.org/VirtualEarthquake/VQuakeExecute.html

  17. Jena (2007) http://jena.sourceforge.net/ 2007

  18. 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

  19. 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

  20. Milner R (1980) A calculus of communicating systems. In: LNCS, vol 92. Springer, Berlin

    Google Scholar 

  21. Milner R (1999) Communicating and mobile systems: the Pi-calculus. Cambridge University Press, Cambridge

    MATH  Google Scholar 

  22. Mobility Workbench (2008) Online: http://www.it.uu.se/research/group/mobility/mwb

  23. 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

  24. Mori K (2007) Autonomous decentralized systems for service assurance and its application. In: LNCS, vol 4526. Springer, Berlin.

    Google Scholar 

  25. 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

  26. Parrow J (2001) An introduction to the Pi-calculus, Handbook of process algebra. Elsevier, Amsterdam

    Google Scholar 

  27. 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

  28. Protégé (2007) http://protege.stanford.edu/ 2007

  29. Puhlmann F (2007) Soundness verification of business processes specified in the Pi-calculus. In: LNCS, vol 4803. Springer, Berlin.

    Google Scholar 

  30. 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

  31. 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

  32. 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

  33. 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

  34. Sahana (2008) IBM Sahana is open source software available on Sourceforge.net. http://www.sahana.lk/

  35. 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

  36. Scaruffi P (2008) The worst natural disasters ever. Online www.scaruffi.com/politics/disaster.html

  37. 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

  38. 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

  39. 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

  40. W3C (2007) http://www.w3.org/ 2007

  41. Walle B, Turoff M (2007) Emergency response information systems: emerging Z-trends and technologies. Commun ACM (March)

  42. Wing JM (2002) FAQ on Pi-calculus, December 2002. http://www.cs.cmu.edu/~wing/publications/Wing02a.pdf

  43. Wooldridge M (2002) An introduction to multi-agent systems. Wiley, New York

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Sarmad Sadik.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11227-009-0266-9

Keywords

Navigation