{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,10,6]],"date-time":"2022-10-06T12:10:11Z","timestamp":1665058211601},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,2,21]],"date-time":"2009-02-21T00:00:00Z","timestamp":1235174400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2010,5]]},"DOI":"10.1007\/s11227-009-0266-9","type":"journal-article","created":{"date-parts":[[2009,2,20]],"date-time":"2009-02-20T12:58:04Z","timestamp":1235134684000},"page":"97-118","source":"Crossref","is-referenced-by-count":4,"title":["Modeling high assurance agent-based Earthquake Management System using formal techniques"],"prefix":"10.1007","volume":"52","author":[{"given":"Sarmad","family":"Sadik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alade","family":"Rahman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arshad","family":"Ali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H. Farooq","family":"Ahmad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroki","family":"Suguri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,2,21]]},"reference":[{"key":"266_CR1","unstructured":"Advanced National Seismic System (2008) www.anss.org"},{"key":"266_CR2","unstructured":"AGENTLINK (2005) Multi-agent systems in crisis management: the combined systems \u2013 case study. Dec. 2005"},{"key":"266_CR3","unstructured":"Ahmad HF, Suguri H, Ali A, Malik S, Mugal M, Shafiq O, Tariq A, Basharat A (2005) Scalable fault tolerant agent grooming environment\u2014SAGE agent platform. In: 4th International joint conference on autonomous agents and multi agent systems (AAMAS). Demo, Utrecht, Netherlands, 2005"},{"key":"266_CR4","unstructured":"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"},{"key":"266_CR5","unstructured":"Another Bisimilarity Checker (ABC) (2008) Online: http:\/\/lamp.epfl.ch\/~sbriais\/abc\/abc_ug.pdf"},{"key":"266_CR6","unstructured":"ArchWare (2008) Architecting evolvable software. European RTD Project www.architecture-ware.org"},{"key":"266_CR7","unstructured":"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"},{"key":"266_CR8","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1145\/1075405.1075409"},{"key":"266_CR9","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/TSMCA.2005.851291"},{"key":"266_CR10","unstructured":"Castillo L, Fdez-Olivares J, Gonz\u2019alez 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"},{"key":"266_CR11","unstructured":"Chen W, Decker KS (2004) Managing multi-agent coordination, planning, and scheduling. In: AAMAS\u201904, 2004"},{"key":"266_CR12","unstructured":"Earthquake Management (2008) www.earthquakemanagement.net\/"},{"key":"266_CR13","unstructured":"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"},{"key":"266_CR14","unstructured":"FIPA Ontology Service Specification (2008) http:\/\/www.fipa.org\/specs\/fipa00086\/XC00086C.html"},{"key":"266_CR15","unstructured":"FIPA (2009) Foundation for Intelligent & Physical Agents. http:\/\/www.fipa.org"},{"key":"266_CR16","unstructured":"Geology Labs Online (2008) http:\/\/www.sciencecourseware.org\/VirtualEarthquake\/VQuakeExecute.html"},{"key":"266_CR17","unstructured":"Jena (2007) http:\/\/jena.sourceforge.net\/ 2007"},{"key":"266_CR18","unstructured":"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"},{"key":"266_CR19","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1145\/375735.375806"},{"key":"266_CR20","volume-title":"LNCS","author":"R Milner","year":"1980","unstructured":"Milner R (1980) A calculus of communicating systems. In: LNCS, vol 92. Springer, Berlin"},{"key":"266_CR21","volume-title":"Communicating and mobile systems: the Pi-calculus","author":"R Milner","year":"1999","unstructured":"Milner R (1999) Communicating and mobile systems: the Pi-calculus. Cambridge University Press, Cambridge"},{"key":"266_CR22","unstructured":"Mobility Workbench (2008) Online: http:\/\/www.it.uu.se\/research\/group\/mobility\/mwb"},{"key":"266_CR23","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1109\/FTDCS.2004.1316618"},{"key":"266_CR24","volume-title":"LNCS","author":"K Mori","year":"2007","unstructured":"Mori K (2007) Autonomous decentralized systems for service assurance and its application. In: LNCS, vol 4526. Springer, Berlin."},{"key":"266_CR25","unstructured":"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"},{"key":"266_CR26","volume-title":"An introduction to the Pi-calculus, Handbook of process algebra","author":"J Parrow","year":"2001","unstructured":"Parrow J (2001) An introduction to the Pi-calculus, Handbook of process algebra. Elsevier, Amsterdam"},{"key":"266_CR27","unstructured":"Pe\u00f1a-Mora F, Mathias C (2004) AVSAR: a collaboration system for disaster search and rescue operations using autonomous vehicles. Int J IT Archit Eng Constr"},{"key":"266_CR28","unstructured":"Prot\u00e9g\u00e9 (2007) http:\/\/protege.stanford.edu\/ 2007"},{"key":"266_CR29","volume-title":"LNCS","author":"F Puhlmann","year":"2007","unstructured":"Puhlmann F (2007) Soundness verification of business processes specified in the Pi-calculus. In: LNCS, vol 4803. Springer, Berlin."},{"key":"266_CR30","unstructured":"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"},{"key":"266_CR31","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1109\/ICIS.2007.149"},{"key":"266_CR32","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1109\/SNPD.2008.65"},{"key":"266_CR33","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1109\/ICET.2006.336007"},{"key":"266_CR34","unstructured":"Sahana (2008) IBM Sahana is open source software available on Sourceforge.net. http:\/\/www.sahana.lk\/"},{"key":"266_CR35","unstructured":"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"},{"key":"266_CR36","unstructured":"Scaruffi P (2008) The worst natural disasters ever. Online www.scaruffi.com\/politics\/disaster.html"},{"key":"266_CR37","doi-asserted-by":"crossref","unstructured":"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\u201387","DOI":"10.1109\/RELDIS.1997.632801"},{"key":"266_CR38","unstructured":"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"},{"key":"266_CR39","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1145\/1082473.1082474"},{"key":"266_CR40","unstructured":"W3C (2007) http:\/\/www.w3.org\/ 2007"},{"key":"266_CR41","unstructured":"Walle B, Turoff M (2007) Emergency response information systems: emerging Z-trends and technologies. Commun ACM (March)"},{"key":"266_CR42","unstructured":"Wing JM (2002) FAQ on Pi-calculus, December 2002. http:\/\/www.cs.cmu.edu\/~wing\/publications\/Wing02a.pdf"},{"key":"266_CR43","volume-title":"An introduction to multi-agent systems","author":"M Wooldridge","year":"2002","unstructured":"Wooldridge M (2002) An introduction to multi-agent systems. Wiley, New York"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-009-0266-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-009-0266-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-009-0266-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:23:58Z","timestamp":1559370238000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-009-0266-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,2,21]]},"references-count":43,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,5]]}},"alternative-id":["266"],"URL":"https:\/\/doi.org\/10.1007\/s11227-009-0266-9","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,2,21]]}}}