BEHAVIOURAL TYPES FOR OBJECT-ORIENTED LANGUAGES

Financiador

Organização

Publicações

Dynamic recovering of long running transactions

Publication . Vaz, Cátia; Ferreira, Carla; Ravara, António

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.

2009Documento de conferência

Acesso restrito

Ver mais

Entidade financiadora

Fundação para a Ciência e a Tecnologia

Número da atribuição

SFRH/BSAB/757/2007