Procedural Choreographic Programming

Luis Cruz-Filipe; Fabrizio Montesi

doi:10.1007/978-3-319-60225-7_7

Procedural Choreographic Programming

Luis Cruz-Filipe
, Fabrizio Montesi

University of Southern Denmark

Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

Abstract

Choreographic Programming is an emerging paradigm for correct-by-construction concurrent programming. However, its applicability is limited by the current lack of support for reusable procedures. We propose Procedural Choreographies (PC), a choreographic language model with full procedural abstraction. PC includes unbounded process creation and name mobility, yielding a powerful framework for writing correct concurrent algorithms that can be compiled into a process calculus. This increased expressivity requires a typing discipline to ensure that processes are properly connected when enacting procedures.

Original language	English
Journal	Lecture Notes in Computer Science
Volume	10321
Pages (from-to)	92-107
Number of pages	16
DOIs	https://doi.org/10.1007/978-3-319-60225-7_7
Publication status	Published - 28 May 2017
Event	International Conference on Formal Techniques for Distributed Objects, Components, and Systems - Neuchâtel, Switzerland Duration: 19 Jun 2017 → 22 Jun 2017 Conference number: 37 https://dblp.org/db/conf/forte/index.html

Conference

Conference	International Conference on Formal Techniques for Distributed Objects, Components, and Systems
Number	37
Country/Territory	Switzerland
City	Neuchâtel
Period	19/06/2017 → 22/06/2017
Internet address	https://dblp.org/db/conf/forte/index.html

Keywords

Choreographic programming
Procedural Choreographies
Procedural abstraction
Process calculi
Typing disciplines

Access to Document

10.1007/978-3-319-60225-7_7

Cite this

@inproceedings{b5f5e23c3c96405491c8bc94498b6a66,

title = "Procedural Choreographic Programming",

abstract = "Choreographic Programming is an emerging paradigm for correct-by-construction concurrent programming. However, its applicability is limited by the current lack of support for reusable procedures. We propose Procedural Choreographies (PC), a choreographic language model with full procedural abstraction. PC includes unbounded process creation and name mobility, yielding a powerful framework for writing correct concurrent algorithms that can be compiled into a process calculus. This increased expressivity requires a typing discipline to ensure that processes are properly connected when enacting procedures.",

keywords = "Choreographic programming, Procedural Choreographies, Procedural abstraction, Process calculi, Typing disciplines",

author = "Luis Cruz-Filipe and Fabrizio Montesi",

note = "37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017 - Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017 ; Conference date: 19-06-2017 Through 22-06-2017; International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE ; Conference date: 19-06-2017 Through 22-06-2017",

year = "2017",

month = may,

day = "28",

doi = "10.1007/978-3-319-60225-7\_7",

language = "English",

volume = "10321",

pages = "92--107",

journal = "Lecture Notes in Computer Science",

url = "https://dblp.org/db/conf/forte/index.html",

}

TY - GEN

T1 - Procedural Choreographic Programming

AU - Cruz-Filipe, Luis

AU - Montesi, Fabrizio

N1 - Conference code: 37

PY - 2017/5/28

Y1 - 2017/5/28

N2 - Choreographic Programming is an emerging paradigm for correct-by-construction concurrent programming. However, its applicability is limited by the current lack of support for reusable procedures. We propose Procedural Choreographies (PC), a choreographic language model with full procedural abstraction. PC includes unbounded process creation and name mobility, yielding a powerful framework for writing correct concurrent algorithms that can be compiled into a process calculus. This increased expressivity requires a typing discipline to ensure that processes are properly connected when enacting procedures.

AB - Choreographic Programming is an emerging paradigm for correct-by-construction concurrent programming. However, its applicability is limited by the current lack of support for reusable procedures. We propose Procedural Choreographies (PC), a choreographic language model with full procedural abstraction. PC includes unbounded process creation and name mobility, yielding a powerful framework for writing correct concurrent algorithms that can be compiled into a process calculus. This increased expressivity requires a typing discipline to ensure that processes are properly connected when enacting procedures.

KW - Choreographic programming

KW - Procedural Choreographies

KW - Procedural abstraction

KW - Process calculi

KW - Typing disciplines

U2 - 10.1007/978-3-319-60225-7_7

DO - 10.1007/978-3-319-60225-7_7

M3 - Conference article

VL - 10321

SP - 92

EP - 107

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - International Conference on Formal Techniques for Distributed Objects, Components, and Systems

Y2 - 19 June 2017 through 22 June 2017

ER -

Procedural Choreographic Programming

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this