| |
Record |
Links |
|
Author  |
Manuel Llavador; Patricio Letelier; Carmen Penadés; José H. Canós-Cerdá; Marcos R. S. Borges; Carlos Solís |
|
| |
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 |
