A new concurrency control language for transactional process in service-oriented architecture

Gwan Hwan Hwang, Wu Lee Chi, Han Meng Chiang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

For efficient execution of long-running autonomous transactions, the isolation property is commonly relaxed. Previous works on relaxing the isolation property of transactions proposed deriving the conflict relation between each pair of autonomous transactions. In this paper we show that the pairwise conflict relation is not sufficient in the general cases and propose a solution for implementing concurrency control dynamically according to the global context of all of the autonomous transactions in the system. We employed defeasible logic as a definition tool to describe the concurrency control requirement and used a query-Answering defeasible logic system to implement a concurrency control system.

Original languageEnglish
Title of host publicationProceedings - IEEE International Conference on Advanced Information Networking and Applications, AINA 2013
Pages227-234
Number of pages8
DOIs
Publication statusPublished - 2013
Event27th IEEE International Conference on Advanced Information Networking and Applications, AINA 2013 - Barcelona, Spain
Duration: 2013 Mar 252013 Mar 28

Other

Other27th IEEE International Conference on Advanced Information Networking and Applications, AINA 2013
CountrySpain
CityBarcelona
Period13/3/2513/3/28

Fingerprint

Concurrency control
Service oriented architecture (SOA)
Control systems

Keywords

  • Compensation
  • Concurrency control
  • Defeasible logic
  • Transactions
  • Web services

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Hwang, G. H., Chi, W. L., & Chiang, H. M. (2013). A new concurrency control language for transactional process in service-oriented architecture. In Proceedings - IEEE International Conference on Advanced Information Networking and Applications, AINA 2013 (pp. 227-234). [6531760] https://doi.org/10.1109/AINA.2013.21

A new concurrency control language for transactional process in service-oriented architecture. / Hwang, Gwan Hwan; Chi, Wu Lee; Chiang, Han Meng.

Proceedings - IEEE International Conference on Advanced Information Networking and Applications, AINA 2013. 2013. p. 227-234 6531760.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hwang, GH, Chi, WL & Chiang, HM 2013, A new concurrency control language for transactional process in service-oriented architecture. in Proceedings - IEEE International Conference on Advanced Information Networking and Applications, AINA 2013., 6531760, pp. 227-234, 27th IEEE International Conference on Advanced Information Networking and Applications, AINA 2013, Barcelona, Spain, 13/3/25. https://doi.org/10.1109/AINA.2013.21
Hwang GH, Chi WL, Chiang HM. A new concurrency control language for transactional process in service-oriented architecture. In Proceedings - IEEE International Conference on Advanced Information Networking and Applications, AINA 2013. 2013. p. 227-234. 6531760 https://doi.org/10.1109/AINA.2013.21
Hwang, Gwan Hwan ; Chi, Wu Lee ; Chiang, Han Meng. / A new concurrency control language for transactional process in service-oriented architecture. Proceedings - IEEE International Conference on Advanced Information Networking and Applications, AINA 2013. 2013. pp. 227-234
@inproceedings{2a78a34855ac4123965746dd8bec38af,
title = "A new concurrency control language for transactional process in service-oriented architecture",
abstract = "For efficient execution of long-running autonomous transactions, the isolation property is commonly relaxed. Previous works on relaxing the isolation property of transactions proposed deriving the conflict relation between each pair of autonomous transactions. In this paper we show that the pairwise conflict relation is not sufficient in the general cases and propose a solution for implementing concurrency control dynamically according to the global context of all of the autonomous transactions in the system. We employed defeasible logic as a definition tool to describe the concurrency control requirement and used a query-Answering defeasible logic system to implement a concurrency control system.",
keywords = "Compensation, Concurrency control, Defeasible logic, Transactions, Web services",
author = "Hwang, {Gwan Hwan} and Chi, {Wu Lee} and Chiang, {Han Meng}",
year = "2013",
doi = "10.1109/AINA.2013.21",
language = "English",
isbn = "9780769549538",
pages = "227--234",
booktitle = "Proceedings - IEEE International Conference on Advanced Information Networking and Applications, AINA 2013",

}

TY - GEN

T1 - A new concurrency control language for transactional process in service-oriented architecture

AU - Hwang, Gwan Hwan

AU - Chi, Wu Lee

AU - Chiang, Han Meng

PY - 2013

Y1 - 2013

N2 - For efficient execution of long-running autonomous transactions, the isolation property is commonly relaxed. Previous works on relaxing the isolation property of transactions proposed deriving the conflict relation between each pair of autonomous transactions. In this paper we show that the pairwise conflict relation is not sufficient in the general cases and propose a solution for implementing concurrency control dynamically according to the global context of all of the autonomous transactions in the system. We employed defeasible logic as a definition tool to describe the concurrency control requirement and used a query-Answering defeasible logic system to implement a concurrency control system.

AB - For efficient execution of long-running autonomous transactions, the isolation property is commonly relaxed. Previous works on relaxing the isolation property of transactions proposed deriving the conflict relation between each pair of autonomous transactions. In this paper we show that the pairwise conflict relation is not sufficient in the general cases and propose a solution for implementing concurrency control dynamically according to the global context of all of the autonomous transactions in the system. We employed defeasible logic as a definition tool to describe the concurrency control requirement and used a query-Answering defeasible logic system to implement a concurrency control system.

KW - Compensation

KW - Concurrency control

KW - Defeasible logic

KW - Transactions

KW - Web services

UR - http://www.scopus.com/inward/record.url?scp=84881043369&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84881043369&partnerID=8YFLogxK

U2 - 10.1109/AINA.2013.21

DO - 10.1109/AINA.2013.21

M3 - Conference contribution

AN - SCOPUS:84881043369

SN - 9780769549538

SP - 227

EP - 234

BT - Proceedings - IEEE International Conference on Advanced Information Networking and Applications, AINA 2013

ER -