Transaction calculus (Invited paper)

He Jifeng

doi:10.1007/978-3-642-14521-6_2

Transaction calculus (Invited paper)

He Jifeng

Software Engineering Institute

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

Abstract

Transaction-based services are increasingly being applied in solving many universal interoperability problems. Compensation is one typical feature for long-running transactions. This paper presents a design model for specifying the behaviour of compensable programs. The new model for handling exception and compensation is built as conservative extension of the standard relational model. The paper puts forward a mathematical framework for transactions where a transaction is treated as a mapping from its environment to compensable programs. We propose a transaction refinement calculus, and show that every transaction can be converted to a primitive one which simply consists of a forward activity and a compensation module.

Original language	English
Title of host publication	Unifying Theories of Programming - Second International Symposium, UTP 2008, Revised Selected Papers
Pages	2-21
Number of pages	20
DOIs	https://doi.org/10.1007/978-3-642-14521-6_2
State	Published - 2010
Event	2nd International Symposium on Unifying Theories of Programming, UTP 2008 - Dublin, Ireland Duration: 8 Sep 2008 → 10 Sep 2008

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5713 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	2nd International Symposium on Unifying Theories of Programming, UTP 2008
Country/Territory	Ireland
City	Dublin
Period	8/09/08 → 10/09/08

Access to Document

10.1007/978-3-642-14521-6_2

Cite this

@inproceedings{9e78bd41ac7348dc9cd787336d3a0ff4,

title = "Transaction calculus (Invited paper)",

abstract = "Transaction-based services are increasingly being applied in solving many universal interoperability problems. Compensation is one typical feature for long-running transactions. This paper presents a design model for specifying the behaviour of compensable programs. The new model for handling exception and compensation is built as conservative extension of the standard relational model. The paper puts forward a mathematical framework for transactions where a transaction is treated as a mapping from its environment to compensable programs. We propose a transaction refinement calculus, and show that every transaction can be converted to a primitive one which simply consists of a forward activity and a compensation module.",

author = "He Jifeng",

year = "2010",

doi = "10.1007/978-3-642-14521-6\_2",

language = "英语",

isbn = "3642145205",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "2--21",

booktitle = "Unifying Theories of Programming - Second International Symposium, UTP 2008, Revised Selected Papers",

note = "2nd International Symposium on Unifying Theories of Programming, UTP 2008 ; Conference date: 08-09-2008 Through 10-09-2008",

}

Jifeng, H 2010, Transaction calculus (Invited paper). in Unifying Theories of Programming - Second International Symposium, UTP 2008, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5713 LNCS, pp. 2-21, 2nd International Symposium on Unifying Theories of Programming, UTP 2008, Dublin, Ireland, 8/09/08. https://doi.org/10.1007/978-3-642-14521-6_2

Transaction calculus (Invited paper). / Jifeng, He.
Unifying Theories of Programming - Second International Symposium, UTP 2008, Revised Selected Papers. 2010. p. 2-21 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5713 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Transaction calculus (Invited paper)

AU - Jifeng, He

PY - 2010

Y1 - 2010

N2 - Transaction-based services are increasingly being applied in solving many universal interoperability problems. Compensation is one typical feature for long-running transactions. This paper presents a design model for specifying the behaviour of compensable programs. The new model for handling exception and compensation is built as conservative extension of the standard relational model. The paper puts forward a mathematical framework for transactions where a transaction is treated as a mapping from its environment to compensable programs. We propose a transaction refinement calculus, and show that every transaction can be converted to a primitive one which simply consists of a forward activity and a compensation module.

AB - Transaction-based services are increasingly being applied in solving many universal interoperability problems. Compensation is one typical feature for long-running transactions. This paper presents a design model for specifying the behaviour of compensable programs. The new model for handling exception and compensation is built as conservative extension of the standard relational model. The paper puts forward a mathematical framework for transactions where a transaction is treated as a mapping from its environment to compensable programs. We propose a transaction refinement calculus, and show that every transaction can be converted to a primitive one which simply consists of a forward activity and a compensation module.

UR - https://www.scopus.com/pages/publications/77955780192

U2 - 10.1007/978-3-642-14521-6_2

DO - 10.1007/978-3-642-14521-6_2

M3 - 会议稿件

AN - SCOPUS:77955780192

SN - 3642145205

SN - 9783642145209

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 2

EP - 21

BT - Unifying Theories of Programming - Second International Symposium, UTP 2008, Revised Selected Papers

T2 - 2nd International Symposium on Unifying Theories of Programming, UTP 2008

Y2 - 8 September 2008 through 10 September 2008

ER -

Transaction calculus (Invited paper)

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this