Reference : Generation and Evaluation of Business Continuity Processes using Algebraic Graph Tran...
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/3933
Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra
English
Brandt, Christoph [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SnT)]
Hermann, Frank mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Groote, Jan Friso [Eindhoven University of Technology, The Netherlands]
2011
Journal of Research & Practice in Information Technology
Australian Computer Society Inc.
43
1
65-86
Yes (verified by ORBilu)
1443-458X
[en] business continuity ; business process ; algebraic graph transformation ; process algebra ; generation ; evaluation ; enterprise modeling
[en] Critical business processes can fail. Therefore, continuity processes are needed as back-up solutions. Today, those continuity processes are set up and maintained manually. They are mostly based on best practices that focus on specific continuity scenarios, Nevertheless, failures can occur in new and unforeseen combinations. As a consequence, a given business continuity plan needs to handle such situations as well. For this purpose, we present a technique for the generation and validation of the universe of continuity processes given a critical business process at Credit Suisse. The presented approach uses a combination of formal methods in the area of algebraic graph transformation and process algebra encompassing modal logic. The overall approach prepares for a sound evaluation of the effectiveness and efficiency of such plans. It uses formal tools, not standard software engineering solutions, to benefit from formal guarantees that facilitate the implementation of local and global security requirements.
http://hdl.handle.net/10993/3933
http://www.acs.org.au/jrpit/JRPIT43.1.65.pdf
Copyright(C) Australian Computer Society Inc. Final version available at: http://www.acs.org.au/jrpit, date of issue: 2011, reprinting privileges were granted by permission of the Australian Computer Society Inc.

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
JRPIT43.1.65.pdfPublisher postprint1.12 MBRequest a copy
Open access
main.pdfAuthor postprint1.59 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.