toggle visibility Search & Display Options

Select All    Deselect All
 |   | 
  Record Links
Author (up) Manuel Llavador; Patricio Letelier; Carmen Penadés; José H. Canós-Cerdá; Marcos R. S. Borges; Carlos Solís pdf  isbn
  Title Precise yet flexible specification of emergency resolution procedures Type Conference Article
  Year 2006 Publication Proceedings of ISCRAM 2006 – 3rd International Conference on Information Systems for Crisis Response and Management Abbreviated Journal ISCRAM 2006  
  Volume Issue Pages 110-120  
  Keywords Information systems; Dynamic logic; Emergency plans; Emergency response systems; Rule-based process; Work-flows; Specifications  
  Abstract Emergency Managers face a number of critical problems related to the compilation, validation, and use of Emergency Procedures. Traditional approaches do not provide enough expressiveness to accurately specify emergency procedures covering each possible scenario. As a result of this situation, Emergency Procedures are not as useful as they should be, neither in prevention nor during resolution of an emergency. In this work, we present an approach that merges two techniques to provide the broad expressiveness required when specifying Emergency Procedures. To represent sequences on actions performed by different participants we use workflow techniques. On the other hand, we use rules to represent available or mandatory actions according to the state of the system during the emergency. These rules are expressed in dynamic logic as the underlying formalism. Our approach provides more expressiveness and precision for the specification of Emergency Procedures, offering better conditions for their verification and validation. As a case study we have used part of a city subway Emergency Procedure.  
  Address Information Systems and Computation Dept, Technical University of Valencia, 46071-Valencia, Spain; Graduate Program in Informatics NCE and IM, Universidade Federal do Rio de Janeiro, Brazil  
  Corporate Author Thesis  
  Publisher Royal Flemish Academy of Belgium Place of Publication Newark, NJ Editor B. Van de Walle, M. Turoff  
  Language English Summary Language English Original Title  
  Series Editor Series Title Abbreviated Series Title  
  Series Volume Series Issue Edition  
  ISSN 2411-3387 ISBN 9090206019; 9789090206011 Medium  
  Track INCIDENT COMMAND SYSTEMS WORKFLOW MANAGEMENT Expedition Conference 3rd International ISCRAM Conference on Information Systems for Crisis Response and Management  
  Notes Approved no  
  Call Number Serial 721  
Share this record to Facebook
Select All    Deselect All
 |   | 

Save Citations:
Export Records: