View in EDS PDF Full Text

Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra.

Saved in:
Bibliographic Details
Title: Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra.
Authors: Brandt, Christoph1 christoph.brandt@uni.lu, Hermann, Frank2 frank@cs.tu-berlin.de, Groote, Jan Friso3 J.F.Groote@tue.nl
Source: Journal of Research & Practice in Information Technology. Feb2011, Vol. 43 Issue 1, p65-85. 21p.
Subjects: BPEL (Computer program language), Programming languages, Credit Suisse AG, Software engineering, Computer software
Abstract: 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. [ABSTRACT FROM AUTHOR]
Copyright of Journal of Research & Practice in Information Technology is the property of Australian Computer Society Inc. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 70307882
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Brandt%2C+Christoph%22">Brandt, Christoph</searchLink><relatesTo>1</relatesTo><i> christoph.brandt@uni.lu</i><br /><searchLink fieldCode="AR" term="%22Hermann%2C+Frank%22">Hermann, Frank</searchLink><relatesTo>2</relatesTo><i> frank@cs.tu-berlin.de</i><br /><searchLink fieldCode="AR" term="%22Groote%2C+Jan+Friso%22">Groote, Jan Friso</searchLink><relatesTo>3</relatesTo><i> J.F.Groote@tue.nl</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Journal+of+Research+%26+Practice+in+Information+Technology%22">Journal of Research & Practice in Information Technology</searchLink>. Feb2011, Vol. 43 Issue 1, p65-85. 21p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22BPEL+%28Computer+program+language%29%22">BPEL (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Credit+Suisse+AG%22">Credit Suisse AG</searchLink><br /><searchLink fieldCode="DE" term="%22Software+engineering%22">Software engineering</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software%22">Computer software</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: 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. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Journal of Research & Practice in Information Technology is the property of Australian Computer Society Inc. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=70307882
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 21
        StartPage: 65
    Subjects:
      – SubjectFull: BPEL (Computer program language)
        Type: general
      – SubjectFull: Programming languages
        Type: general
      – SubjectFull: Credit Suisse AG
        Type: general
      – SubjectFull: Software engineering
        Type: general
      – SubjectFull: Computer software
        Type: general
    Titles:
      – TitleFull: Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Brandt, Christoph
      – PersonEntity:
          Name:
            NameFull: Hermann, Frank
      – PersonEntity:
          Name:
            NameFull: Groote, Jan Friso
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 02
              Text: Feb2011
              Type: published
              Y: 2011
          Identifiers:
            – Type: issn-print
              Value: 1443458X
          Numbering:
            – Type: volume
              Value: 43
            – Type: issue
              Value: 1
          Titles:
            – TitleFull: Journal of Research & Practice in Information Technology
              Type: main
ResultId 1