1.1
1
xml
info:srw/schema/1/dc-v1.1
Precise yet flexible specification of emergency resolution procedures
Manuel Llavador
Patricio Letelier
Carmen Penadés
José H. Canós-Cerdá
Marcos R. S. Borges
Carlos Solís
B. Van de Walle, M.T.
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.
urn:ISBN:9090206019; 9789090206011
openurl:?ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fidl.iscram.org%2F&genre=proceeding&title=Precise%20yet%20flexible%20specification%20of%20emergency%20resolution%20procedures&stitle=ISCRAM%202006&issn=2411-3387&isbn=9090206019%3B%209789090206011&date=2006&spage=110&epage=120&aulast=Manuel%20Llavador&au=Patricio%20Letelier&au=Carmen%20Penad%E9s&au=Jos%E9%20H.%20Can%F3s-Cerd%E1&au=Marcos%20R.%20S.%20Borges&au=Carlos%20Sol%EDs&pub=Royal%20Flemish%20Academy%20of%20Belgium&place=Newark%2C%20NJ&sid=refbase%3AISCRAM
url:http://idl.iscram.org/show.php?record=721
citekey:ManuelLlavador_etal2006
citation:Manuel Llavador, Patricio Letelier, Carmen Penadés, José H. Canós-Cerdá, Marcos R. S. Borges, & Carlos Solís. (2006). Precise yet flexible specification of emergency resolution procedures. In M. T. B. Van de Walle (Ed.), Proceedings of ISCRAM 2006 – 3rd International Conference on Information Systems for Crisis Response and Management (pp. 110-120). Newark, NJ: Royal Flemish Academy of Belgium.
2006
ConferencePaper
text
Information systems
Dynamic logic
Emergency plans
Emergency response systems
Rule-based process
Work-flows
Specifications
file:http://idl.iscram.org/files/llavador/2006/721_Llavador_etal2006.pdf
Royal Flemish Academy of Belgium
English
2411-3387
Proceedings of ISCRAM 2006 – 3rd International Conference on Information Systems for Crisis Response and Management
2006
110
120
1