PlumX Metrics
Embed PlumX Metrics

Dynamic recovering of long running transactions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743, Vol: 5474 LNCS, Page: 201-215
2009
  • 20
    Citations
  • 0
    Usage
  • 12
    Captures
  • 0
    Mentions
  • 0
    Social Media
Metric Options:   Counts1 Year3 Year

Metrics Details

  • Citations
    20
    • Citation Indexes
      20
  • Captures
    12

Conference Paper Description

Most business applications rely on the notion of long running transaction as a fundamental building block. This paper presents a calculus for modelling long running transactions within the framework of the π-calculus, with support for compensation as a recovery mechanism. The underlying model of this calculus is the asynchronous polyadic π-calculus, with transaction scopes and dynamic installation of compensation processes. We add to the framework a type system which guarantees that transactions are unequivocally identified, ensuring that upon a failure the correct compensation process is invoked. Moreover, the operational semantics of the calculus ensures both installation and activation of the compensation of a transaction. © Springer-Verlag Berlin Heidelberg 2009.

Provide Feedback

Have ideas for a new metric? Would you like to see something else here?Let us know