Unlocking blocked communicating processes

Adrian Francalanza; Marco Giunti; António Ravara

doi:10.4204/EPTCS.188.4

Unlocking blocked communicating processes

Adrian Francalanza, Marco Giunti, António Ravara

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

1 Citation (Scopus)

18 Downloads (Pure)

Abstract

We study the problem of disentangling locked processes via code refactoring. We identify and characterise a class of processes that is not lock-free; then we formalise an algorithmthat statically detects potential locks and propose refactoring procedures that disentangle detected locks. Our development is cast within a simple setting of a finite linear CCS variant - although it suffices to illustrate the main concepts, we also discuss how our work extends to other language extensions.

Original language	English
Title of host publication	Proceedings of the 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015
Editors	M.H. ter Beek, A. Lluch Lafuente
Place of Publication	Sydney
Publisher	Open Publishing Association
Pages	23-32
Number of pages	10
DOIs	https://doi.org/10.4204/EPTCS.188.4
Publication status	Published - 2015
Event	11th International Workshop on Automated Specification and Verification of Web Systems (WWV 2015) - Oslo, Norway Duration: 23 Jun 2015 → 23 Jun 2015 Conference number: 11th

Publication series

Name	Electronic Proceedings in Theoretical Computer Science
Publisher	Open Publishing Association
Volume	188
ISSN (Electronic)	2075-2180

Conference

Conference	11th International Workshop on Automated Specification and Verification of Web Systems (WWV 2015)
Abbreviated title	WWV 2015
Country/Territory	Norway
City	Oslo
Period	23/06/15 → 23/06/15

Keywords

Locks (fasteners)
Specifications
Websites
Code re-factoring
Communicating process
Language extensions
Lock-free
Refactorings

Access to Document

10.4204/EPTCS.188.4Licence: CC BY

Unlocking Blocked Communicating ProcessesFinal published version, 112 KBLicence: CC BY

Cite this

Francalanza, A., Giunti, M., & Ravara, A. (2015). Unlocking blocked communicating processes. In M. H. ter Beek, & A. L. Lafuente (Eds.), Proceedings of the 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015 (pp. 23-32). (Electronic Proceedings in Theoretical Computer Science; Vol. 188). Open Publishing Association. https://doi.org/10.4204/EPTCS.188.4

Francalanza, Adrian ; Giunti, Marco ; Ravara, António. / Unlocking blocked communicating processes. Proceedings of the 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015. editor / M.H. ter Beek ; A. Lluch Lafuente. Sydney : Open Publishing Association, 2015. pp. 23-32 (Electronic Proceedings in Theoretical Computer Science).

@inproceedings{02337298c561438d9fbf5c92cd90cf27,

title = "Unlocking blocked communicating processes",

abstract = "We study the problem of disentangling locked processes via code refactoring. We identify and characterise a class of processes that is not lock-free; then we formalise an algorithmthat statically detects potential locks and propose refactoring procedures that disentangle detected locks. Our development is cast within a simple setting of a finite linear CCS variant - although it suffices to illustrate the main concepts, we also discuss how our work extends to other language extensions.",

keywords = "Locks (fasteners) , Specifications , Websites , Code re-factoring , Communicating process , Language extensions , Lock-free , Refactorings",

author = "Adrian Francalanza and Marco Giunti and Ant{\'o}nio Ravara",

year = "2015",

doi = "10.4204/EPTCS.188.4",

language = "English",

series = "Electronic Proceedings in Theoretical Computer Science",

publisher = "Open Publishing Association",

pages = "23--32",

editor = "{ter Beek}, {M.H. } and Lafuente, {A. Lluch }",

booktitle = "Proceedings of the 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015",

address = "Australia",

note = "11th International Workshop on Automated Specification and Verification of Web Systems (WWV 2015), WWV 2015 ; Conference date: 23-06-2015 Through 23-06-2015",

}

Francalanza, A, Giunti, M & Ravara, A 2015, Unlocking blocked communicating processes. in MH ter Beek & AL Lafuente (eds), Proceedings of the 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015. Electronic Proceedings in Theoretical Computer Science, vol. 188, Open Publishing Association, Sydney, pp. 23-32, 11th International Workshop on Automated Specification and Verification of Web Systems (WWV 2015), Oslo, Norway, 23/06/15. https://doi.org/10.4204/EPTCS.188.4

Unlocking blocked communicating processes. / Francalanza, Adrian; Giunti, Marco; Ravara, António.
Proceedings of the 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015. ed. / M.H. ter Beek; A. Lluch Lafuente. Sydney: Open Publishing Association, 2015. p. 23-32 (Electronic Proceedings in Theoretical Computer Science; Vol. 188).

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

TY - GEN

T1 - Unlocking blocked communicating processes

AU - Francalanza, Adrian

AU - Giunti, Marco

AU - Ravara, António

N1 - Conference code: 11th

PY - 2015

Y1 - 2015

N2 - We study the problem of disentangling locked processes via code refactoring. We identify and characterise a class of processes that is not lock-free; then we formalise an algorithmthat statically detects potential locks and propose refactoring procedures that disentangle detected locks. Our development is cast within a simple setting of a finite linear CCS variant - although it suffices to illustrate the main concepts, we also discuss how our work extends to other language extensions.

AB - We study the problem of disentangling locked processes via code refactoring. We identify and characterise a class of processes that is not lock-free; then we formalise an algorithmthat statically detects potential locks and propose refactoring procedures that disentangle detected locks. Our development is cast within a simple setting of a finite linear CCS variant - although it suffices to illustrate the main concepts, we also discuss how our work extends to other language extensions.

KW - Locks (fasteners)

KW - Specifications

KW - Websites

KW - Code re-factoring

KW - Communicating process

KW - Language extensions

KW - Lock-free

KW - Refactorings

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

U2 - 10.4204/EPTCS.188.4

DO - 10.4204/EPTCS.188.4

M3 - Conference contribution

AN - SCOPUS:84954511962

T3 - Electronic Proceedings in Theoretical Computer Science

SP - 23

EP - 32

BT - Proceedings of the 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015

A2 - ter Beek, M.H.

A2 - Lafuente, A. Lluch

PB - Open Publishing Association

CY - Sydney

T2 - 11th International Workshop on Automated Specification and Verification of Web Systems (WWV 2015)

Y2 - 23 June 2015 through 23 June 2015

ER -

Unlocking blocked communicating processes

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Cite this