Matches in SemOpenAlex for { <https://semopenalex.org/work/W2895058113> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2895058113 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." @default.
- W2895058113 created "2018-10-12" @default.
- W2895058113 creator A5032464370 @default.
- W2895058113 creator A5032619003 @default.
- W2895058113 creator A5083248331 @default.
- W2895058113 date "2009-01-01" @default.
- W2895058113 modified "2023-10-01" @default.
- W2895058113 title "Evaluation of a business continuity plan using process algebra and modal logic" @default.
- W2895058113 hasPublicationYear "2009" @default.
- W2895058113 type Work @default.
- W2895058113 sameAs 2895058113 @default.
- W2895058113 citedByCount "0" @default.
- W2895058113 crossrefType "journal-article" @default.
- W2895058113 hasAuthorship W2895058113A5032464370 @default.
- W2895058113 hasAuthorship W2895058113A5032619003 @default.
- W2895058113 hasAuthorship W2895058113A5083248331 @default.
- W2895058113 hasConcept C11066294 @default.
- W2895058113 hasConcept C127413603 @default.
- W2895058113 hasConcept C144133560 @default.
- W2895058113 hasConcept C162754035 @default.
- W2895058113 hasConcept C174998907 @default.
- W2895058113 hasConcept C179299601 @default.
- W2895058113 hasConcept C185592680 @default.
- W2895058113 hasConcept C188027245 @default.
- W2895058113 hasConcept C195094911 @default.
- W2895058113 hasConcept C207505557 @default.
- W2895058113 hasConcept C21547014 @default.
- W2895058113 hasConcept C27508121 @default.
- W2895058113 hasConcept C41008148 @default.
- W2895058113 hasConcept C71139939 @default.
- W2895058113 hasConcept C85345410 @default.
- W2895058113 hasConceptScore W2895058113C11066294 @default.
- W2895058113 hasConceptScore W2895058113C127413603 @default.
- W2895058113 hasConceptScore W2895058113C144133560 @default.
- W2895058113 hasConceptScore W2895058113C162754035 @default.
- W2895058113 hasConceptScore W2895058113C174998907 @default.
- W2895058113 hasConceptScore W2895058113C179299601 @default.
- W2895058113 hasConceptScore W2895058113C185592680 @default.
- W2895058113 hasConceptScore W2895058113C188027245 @default.
- W2895058113 hasConceptScore W2895058113C195094911 @default.
- W2895058113 hasConceptScore W2895058113C207505557 @default.
- W2895058113 hasConceptScore W2895058113C21547014 @default.
- W2895058113 hasConceptScore W2895058113C27508121 @default.
- W2895058113 hasConceptScore W2895058113C41008148 @default.
- W2895058113 hasConceptScore W2895058113C71139939 @default.
- W2895058113 hasConceptScore W2895058113C85345410 @default.
- W2895058113 hasLocation W28950581131 @default.
- W2895058113 hasOpenAccess W2895058113 @default.
- W2895058113 hasPrimaryLocation W28950581131 @default.
- W2895058113 hasRelatedWork W125436324 @default.
- W2895058113 hasRelatedWork W1546081374 @default.
- W2895058113 hasRelatedWork W1571239082 @default.
- W2895058113 hasRelatedWork W1885787873 @default.
- W2895058113 hasRelatedWork W2050308324 @default.
- W2895058113 hasRelatedWork W2084752806 @default.
- W2895058113 hasRelatedWork W2085804282 @default.
- W2895058113 hasRelatedWork W2096199126 @default.
- W2895058113 hasRelatedWork W2098639824 @default.
- W2895058113 hasRelatedWork W2105693805 @default.
- W2895058113 hasRelatedWork W2113452860 @default.
- W2895058113 hasRelatedWork W2150476276 @default.
- W2895058113 hasRelatedWork W2188579211 @default.
- W2895058113 hasRelatedWork W243038725 @default.
- W2895058113 hasRelatedWork W2744432250 @default.
- W2895058113 hasRelatedWork W2897405441 @default.
- W2895058113 hasRelatedWork W3035679702 @default.
- W2895058113 hasRelatedWork W3107022903 @default.
- W2895058113 hasRelatedWork W3121225333 @default.
- W2895058113 hasRelatedWork W2807315092 @default.
- W2895058113 hasVolume "0912" @default.
- W2895058113 isParatext "false" @default.
- W2895058113 isRetracted "false" @default.
- W2895058113 magId "2895058113" @default.
- W2895058113 workType "article" @default.