Pabble: parameterised Scribble

Ng, Nicholas; Yoshida, Nobuko

doi:10.1007/s11761-014-0172-8

Cited by 25 publications

(23 citation statements)

References 30 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Previous works based on Multiparty Session Types (MPST) [14] have explored the use of choreographies as protocol specifications for the coordination of message exchanges in some real-world scenarios [9,22,25]. Differently from our approach, these works fall back to a standard process calculus model for defining implementations.…”

Section: Related Workmentioning

confidence: 99%

Choreographies in Practice

Cruz-Filipe

Montesi

2016

Formal Techniques for Distributed Objects, Components, and Systems

View full text Add to dashboard Cite

Abstract. Choreographic Programming is a development methodology for concurrent software that guarantees correctness by construction. The key to this paradigm is to disallow mismatched I/O operations in programs, called choreographies, and then mechanically synthesise distributed implementations in terms of standard process models via a mechanism known as EndPoint Projection (EPP). Despite the promise of choreographic programming, there is still a lack of practical evaluations that illustrate the applicability of choreographies to concrete computational problems with standard concurrent solutions. In this work, we explore the potential of choreographies by using Procedural Choreographies (PC), a model that we recently proposed, to write distributed algorithms for sorting (Quicksort), solving linear equations (Gaussian elimination), and computing Fast Fourier Transform. We discuss the lessons learned from this experiment, giving possible directions for the usage and future improvements of choreography languages.

show abstract

Section: Related Workmentioning

confidence: 99%

Choreographies in Practice

Cruz-Filipe

Montesi

2016

Formal Techniques for Distributed Objects, Components, and Systems

View full text Add to dashboard Cite

show abstract

“…We also apply the multiparty session types to high-performance parallel programming in C [58,60] and MPI [57]. A parametrised version of Scribble [57,59] based on the theory of parametrised multiparty session types [34] is developed.…”

Section: Implementations Based On Multiparty Session Typesmentioning

confidence: 99%

“…A parametrised version of Scribble [57,59] based on the theory of parametrised multiparty session types [34] is developed. This extension, called Pabble, is used for automatically generating MPI parallel programs from sequential C code in [56].…”

Section: Implementations Based On Multiparty Session Typesmentioning

confidence: 99%

A Gentle Introduction to Multiparty Asynchronous Session Types

Coppo

Dezani‐Ciancaglini

Padovani

et al. 2015

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. This article provides a gentle introduction to multiparty session types, a class of behavioural types specifically targeted at describing protocols in distributed systems based on asynchronous communication. The type system ensures well-typed processes to enjoy non-trivial properties, including communication safety, protocol fidelity, as well as progress. The adoption of multiparty session types can positively affect the whole software lifecycle, from design to deployment, improving software reliability and reducing its development costs.

show abstract

“…Reo has been used for composition of Web services [16,57,65], modeling and analysis of long-running transactions in service-oriented systems [60], coordination of multi-agent systems [10], performance analysis of coordinated compositions [12,13,17,70,71], modeling of business processes and verification of their compliance [14,59,73], and modeling of coordination in biological systems [31].…”

Section: Overview Of Reomentioning

confidence: 99%

Section: Implementations Based On Multiparty Session Typesmentioning

confidence: 99%

Formal Methods for Multicore Programming

Bernardo¹,

Johnsen²

2015

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Traditional models of concurrency resort to peculiarly indirect means to express interaction and study its properties. Formalisms such as process algebras/calculi, concurrent objects, actors, shared memory, message passing, etc., all are primarily action-based models that provide constructs for the direct specification of things that interact , rather than a direct specification of interaction (protocols). Consequently , interaction in these formalisms becomes a derived or secondary concept whose properties can be studied only indirectly, as the side-effects of the (intended or coincidental) couplings or clashes of the actions whose compositions comprise a model. Treating interaction as an explicit first-class concept, complete with its own composition operators, allows to specify more complex interaction protocols by combining simpler, and eventually primitive, protocols. Reo [4, 7, 8, 15] serves as a premier example of such an interaction-based model of concurrency. In this paper, we describe Reo and its compiler. We show how exogenous coordination in Reo reflects an interaction-centric model of concurrency where an interaction (protocol) consists of nothing but a relational constraint on communication actions. In this setting, interaction protocols become explicit, concrete, tangible (software) constructs that can be specified, verified, composed, and reused, independently of the actors that they may engage in disparate applications. This paper complements the first author's lecture at the 15 th International School on Formal Methods for the Design of Computer, Communication and Software Systems in Bertinoro, Italy, June 2015, and collects previously published material (notably [9]).

show abstract

Pabble: parameterised Scribble

Cited by 25 publications

References 30 publications

Choreographies in Practice

Choreographies in Practice

A Gentle Introduction to Multiparty Asynchronous Session Types

Formal Methods for Multicore Programming

Contact Info

Product

Resources

About