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

Syddansk Universitet

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › 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.

Originalsprog	Engelsk
Tidsskrift	Lecture Notes in Computer Science
Vol/bind	10321
Sider (fra-til)	92-107
Antal sider	16
DOI	https://doi.org/10.1007/978-3-319-60225-7_7
Status	Udgivet - 28 maj 2017
Begivenhed	International Conference on Formal Techniques for Distributed Objects, Components, and Systems - Neuchâtel, Schweiz Varighed: 19 jun. 2017 → 22 jun. 2017 Konferencens nummer: 37 https://dblp.org/db/conf/forte/index.html

Konference

Konference	International Conference on Formal Techniques for Distributed Objects, Components, and Systems
Nummer	37
Land/Område	Schweiz
By	Neuchâtel
Periode	19/06/2017 → 22/06/2017
Internetadresse	https://dblp.org/db/conf/forte/index.html

Adgang til dokumentet

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

Citationsformater

@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

Konference

Adgang til dokumentet

Fingeraftryk

Citationsformater