Scientific Papers
ISSI Research PapersPaper information
Title
Precise Yet Flexible Specification of Emergency Resolution Procedures
Precise Yet Flexible Specification of Emergency Resolution Procedures
Authors
Manuel Llavador Campos
Patricio Letelier Torres
María Carmen Penadés Gramaje
José H. Canós-Cerdá
Marcos R.S. Borges
Carlos Solís Pineda
Manuel Llavador Campos
Patricio Letelier Torres
María Carmen Penadés Gramaje
José H. Canós-Cerdá
Marcos R.S. Borges
Carlos Solís Pineda
Published in
Proceedings of the Third International Conference on Information Systems For Crisis Response and Management (ISCRAM'2006), pp. 110-120, May 2006, ISBN 90-9020601-9 - 2006
Proceedings of the Third International Conference on Information Systems For Crisis Response and Management (ISCRAM'2006), pp. 110-120, May 2006, ISBN 90-9020601-9 - 2006
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.
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.
BibTeX
@misc{issi_web:id:189,
title = "Precise Yet Flexible Specification of Emergency Resolution Procedures",
author = "Manuel Llavador Campos and Patricio Letelier Torres and María Carmen Penadés Gramaje and José H. Canós-Cerdá and Marcos R.S. Borges and Carlos Solís Pineda",
booktitle = "Proceedings of the Third International Conference on Information Systems For Crisis Response and Management (ISCRAM'2006), pp. 110-120, May 2006, ISBN 90-9020601-9",
year = "2006",
eprint = "http://issi.dsic.upv.es/publications/archives/",
url = "",
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."
}