AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications

Preda, Mila Dalla; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio

doi:10.1007/978-3-319-11245-9_9

Cited by 20 publications

(21 citation statements)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Due to its support for the quick prototyping of both simple services and complex service coordination, Jolie has been used in the development of other research projects involving the programming and deployment of services (including [4], [15]). However, the language still lacks of data types and operations that would enrich its syntax and add extra flexibility to code common SOA scenarios: regular expressions and choice operator are just examples of this deficiency.…”

Section: Discussionmentioning

confidence: 99%

Data-Driven Workflows for Microservices: Genericity in Jolie

Сафина

Mazzara

Montesi

et al. 2016

2016 IEEE 30th International Conference on Advanced Information Networking and Applications (AINA)

View full text Add to dashboard Cite

Microservices is an architectural style inspired by service-oriented computing that has recently started gaining popularity. Jolie is a programming language based on the microservices paradigm: the main building block of Jolie systems are services, in contrast to, e.g., functions or objects. The primitives offered by the Jolie language elicit many of the recurring patterns found in microservices, like load balancers and structured processes. However, Jolie still lacks some useful constructs for dealing with message types and data manipulation that are present in service-oriented computing. In this paper, we focus on the possibility of expressing choices at the level of data types, a feature well represented in standards for Web Services, e.g., WSDL. We extend Jolie to support such type choices, and enable Jolie processes to act on data generically (without knowing which type it has in the choice). We show the impact of our implementation on some of the typical scenarios found in microservice systems. This shows how computation can move from a process-driven to a data-driven approach, and leads to the preliminary identification of recurring communication patterns that can be shaped as design patterns.

show abstract

Section: Discussionmentioning

confidence: 99%

Data-Driven Workflows for Microservices: Genericity in Jolie

Сафина

Mazzara

Montesi

et al. 2016

2016 IEEE 30th International Conference on Advanced Information Networking and Applications (AINA)

View full text Add to dashboard Cite

show abstract

“…Works addressing adaptation for multiparty communications include [1], [4], [9] and [6]. In paper [1] global and session types are used to guarantee deadlock-freedom in a calculus of multiparty sessions with asynchronous communications.…”

Section: Conclusion and Related Workmentioning

confidence: 99%

Parallel Monitors for Self-adaptive Sessions

Coppo

Dezani‐Ciancaglini

Venneri

2016

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

The paper presents a data-driven model of self-adaptivity for multiparty sessions. System choreography is prescribed by a global type. Participants are incarnated by processes associated with monitors, which control their behaviour. Each participant can access and modify a set of global data, which are able to trigger adaptations in the presence of critical changes of values. The use of the parallel composition for building global types, monitors and processes enables a significant degree of flexibility: an adaptation step can dynamically reconfigure a set of participants only, without altering the remaining participants, even if the two groups communicate.Comment: In Proceedings PLACES 2016, arXiv:1606.0540

show abstract

“…Works addressing adaptation for multiparty communications include [26], [23] and [19]. The paper [26] proposes a choreographic language for distributed applications.…”

Section: Runtime Monitoring and Adaptationmentioning

confidence: 99%

“…The paper [26] proposes a choreographic language for distributed applications. Adaptation follows a rule-based approach, in which all interactions, under all possible changes produced by the adaptation rules, proceed as prescribed by an abstract model.…”

Section: Runtime Monitoring and Adaptationmentioning

confidence: 99%

A Gentle Introduction to Multiparty Asynchronous Session Types

Coppo

Dezani‐Ciancaglini

Padovani

et al. 2015

Lecture Notes in Computer Science

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

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications

Cited by 20 publications

References 26 publications

Data-Driven Workflows for Microservices: Genericity in Jolie

Data-Driven Workflows for Microservices: Genericity in Jolie

Parallel Monitors for Self-adaptive Sessions

A Gentle Introduction to Multiparty Asynchronous Session Types

Contact Info

Product

Resources

About