Evaluation of a business continuity plan using process algebra and modal logic

W. Boehmer; C. Brandt; J.F. Groote

doi:10.1109/TIC-STH.2009.5444515

Evaluation of a business continuity plan using process algebra and modal logic

W. Boehmer, C. Brandt, J.F. Groote

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

11 Citations (Scopus)

1 Downloads (Pure)

Abstract

Since (1996) Knight and Pretty published their study about the impact of catastrophes on shareholder value, the need for a business continuity management system (BCMS) became clear. Once a BCMS is in place, the corresponding risks can be insured against. The BS 25999 certificate can serve as proof of implementation. It requires defined business continuity plans (BCP). However, processes based on BCPs are rarely tested. Therefore, little knowledge is available to confirm their proper functioning and their non-functional properties. This paper addresses the verification of BCPs. We show how to model, simulate and verify normal business processes and business processes that are based on a BCP. As a formal method, we use process algebra and modal logic to explain the semantics of conceptual business process models. Our study places emphasis on questions regarding the potential capacity and duration of a process based on a BCP as well as those of an organizational security policy. By doing this, we are able to demonstrate that ex-ante evaluation is not only possible but also effective. ©2009 IEEE.

Original language	English
Title of host publication	Proceedings of the 2009 IEEE Toronto International Conference - Science and Technology for Humanity (TIC-STH'09, Toronto ON, Canada, September 26-27, 2009)
Publisher	Institute of Electrical and Electronics Engineers
Pages	147-152
ISBN (Print)	978-1-4244-3878-5
DOIs	https://doi.org/10.1109/TIC-STH.2009.5444515
Publication status	Published - 2009

Access to Document

10.1109/TIC-STH.2009.5444515

Fingerprint Dive into the research topics of 'Evaluation of a business continuity plan using process algebra and modal logic'. Together they form a unique fingerprint.

Cite this

Boehmer, W., Brandt, C., & Groote, J. F. (2009). Evaluation of a business continuity plan using process algebra and modal logic. In Proceedings of the 2009 IEEE Toronto International Conference - Science and Technology for Humanity (TIC-STH'09, Toronto ON, Canada, September 26-27, 2009) (pp. 147-152). Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/TIC-STH.2009.5444515

@inproceedings{dd96ebabc8664288b0ec3d4c57185e7a,

title = "Evaluation of a business continuity plan using process algebra and modal logic",

abstract = "Since (1996) Knight and Pretty published their study about the impact of catastrophes on shareholder value, the need for a business continuity management system (BCMS) became clear. Once a BCMS is in place, the corresponding risks can be insured against. The BS 25999 certificate can serve as proof of implementation. It requires defined business continuity plans (BCP). However, processes based on BCPs are rarely tested. Therefore, little knowledge is available to confirm their proper functioning and their non-functional properties. This paper addresses the verification of BCPs. We show how to model, simulate and verify normal business processes and business processes that are based on a BCP. As a formal method, we use process algebra and modal logic to explain the semantics of conceptual business process models. Our study places emphasis on questions regarding the potential capacity and duration of a process based on a BCP as well as those of an organizational security policy. By doing this, we are able to demonstrate that ex-ante evaluation is not only possible but also effective. {\textcopyright}2009 IEEE.",

author = "W. Boehmer and C. Brandt and J.F. Groote",

year = "2009",

doi = "10.1109/TIC-STH.2009.5444515",

language = "English",

isbn = "978-1-4244-3878-5",

pages = "147--152",

booktitle = "Proceedings of the 2009 IEEE Toronto International Conference - Science and Technology for Humanity (TIC-STH'09, Toronto ON, Canada, September 26-27, 2009)",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

}

Boehmer, W, Brandt, C & Groote, JF 2009, Evaluation of a business continuity plan using process algebra and modal logic. in Proceedings of the 2009 IEEE Toronto International Conference - Science and Technology for Humanity (TIC-STH'09, Toronto ON, Canada, September 26-27, 2009). Institute of Electrical and Electronics Engineers, pp. 147-152. https://doi.org/10.1109/TIC-STH.2009.5444515

Evaluation of a business continuity plan using process algebra and modal logic. / Boehmer, W.; Brandt, C.; Groote, J.F.

Proceedings of the 2009 IEEE Toronto International Conference - Science and Technology for Humanity (TIC-STH'09, Toronto ON, Canada, September 26-27, 2009). Institute of Electrical and Electronics Engineers, 2009. p. 147-152.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Evaluation of a business continuity plan using process algebra and modal logic

AU - Boehmer, W.

AU - Brandt, C.

AU - Groote, J.F.

PY - 2009

Y1 - 2009

N2 - Since (1996) Knight and Pretty published their study about the impact of catastrophes on shareholder value, the need for a business continuity management system (BCMS) became clear. Once a BCMS is in place, the corresponding risks can be insured against. The BS 25999 certificate can serve as proof of implementation. It requires defined business continuity plans (BCP). However, processes based on BCPs are rarely tested. Therefore, little knowledge is available to confirm their proper functioning and their non-functional properties. This paper addresses the verification of BCPs. We show how to model, simulate and verify normal business processes and business processes that are based on a BCP. As a formal method, we use process algebra and modal logic to explain the semantics of conceptual business process models. Our study places emphasis on questions regarding the potential capacity and duration of a process based on a BCP as well as those of an organizational security policy. By doing this, we are able to demonstrate that ex-ante evaluation is not only possible but also effective. ©2009 IEEE.

AB - Since (1996) Knight and Pretty published their study about the impact of catastrophes on shareholder value, the need for a business continuity management system (BCMS) became clear. Once a BCMS is in place, the corresponding risks can be insured against. The BS 25999 certificate can serve as proof of implementation. It requires defined business continuity plans (BCP). However, processes based on BCPs are rarely tested. Therefore, little knowledge is available to confirm their proper functioning and their non-functional properties. This paper addresses the verification of BCPs. We show how to model, simulate and verify normal business processes and business processes that are based on a BCP. As a formal method, we use process algebra and modal logic to explain the semantics of conceptual business process models. Our study places emphasis on questions regarding the potential capacity and duration of a process based on a BCP as well as those of an organizational security policy. By doing this, we are able to demonstrate that ex-ante evaluation is not only possible but also effective. ©2009 IEEE.

U2 - 10.1109/TIC-STH.2009.5444515

DO - 10.1109/TIC-STH.2009.5444515

M3 - Conference contribution

SN - 978-1-4244-3878-5

SP - 147

EP - 152

BT - Proceedings of the 2009 IEEE Toronto International Conference - Science and Technology for Humanity (TIC-STH'09, Toronto ON, Canada, September 26-27, 2009)

PB - Institute of Electrical and Electronics Engineers

ER -

Boehmer W, Brandt C, Groote JF. Evaluation of a business continuity plan using process algebra and modal logic. In Proceedings of the 2009 IEEE Toronto International Conference - Science and Technology for Humanity (TIC-STH'09, Toronto ON, Canada, September 26-27, 2009). Institute of Electrical and Electronics Engineers. 2009. p. 147-152 https://doi.org/10.1109/TIC-STH.2009.5444515