Article (Scientific journals)
Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra
Brandt, Christoph; Hermann, Frank; Groote, Jan Friso
2011In Journal of Research & Practice in Information Technology, 43 (1), p. 65-86
Peer reviewed
 

Files


Full Text
main.pdf
Author postprint (1.63 MB)
Download
Full Text Parts
JRPIT43.1.65.pdf
Publisher postprint (1.15 MB)
Request a copy

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.


All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
business continuity; business process; algebraic graph transformation; process algebra; generation; evaluation; enterprise modeling
Abstract :
[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.
Disciplines :
Computer science
Identifiers :
UNILU:UL-ARTICLE-2011-778
Author, co-author :
Brandt, Christoph ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SnT)
Hermann, Frank ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Groote, Jan Friso;  Eindhoven University of Technology, The Netherlands
Language :
English
Title :
Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra
Publication date :
2011
Journal title :
Journal of Research & Practice in Information Technology
ISSN :
1443-458X
Publisher :
Australian Computer Society Inc.
Volume :
43
Issue :
1
Pages :
65-86
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 17 July 2013

Statistics


Number of views
94 (5 by Unilu)
Number of downloads
108 (1 by Unilu)

Scopus citations®
 
4
Scopus citations®
without self-citations
0
WoS citations
 
3

Bibliography


Similar publications



Contact ORBilu