Semi-automatic derivation of RESTful choreographies from business process choreographies

Nikaj, Adriatik; Weske, Mathias; Mendling, Jan

doi:10.1007/s10270-017-0653-2

Cited by 11 publications

(6 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Nie et al (2014) identify enterprise integration patterns from BPMN models in order to define data flows that can be executed by EAI technologies such as ESBs. Nikaj et al (2019) use the business process choreography diagram introduced in BPMN 2.0 to generate formal specification of RESTful choreographies. Leshob et al (2019) propose an MDD method that complements BPMN choreographies with SoaML service description to design SOA-based information systems.…”

Section: Gutiérrezmentioning

confidence: 99%

A microservice composition approach based on the choreography of BPMN fragments

Valderas

Torres

Pelechano

2020

Information and Software Technology

View full text Add to dashboard Cite

Section: Gutiérrezmentioning

confidence: 99%

A microservice composition approach based on the choreography of BPMN fragments

Valderas

Torres

Pelechano

2020

Information and Software Technology

View full text Add to dashboard Cite

“…Nonetheless, the extension only considers exchange of messages and does not formally define other composition operators such as synchronous multiparty communications, parallelism, choice, sequential and loop. The method proposed in [30] allows deriving RESTful choreographies from process choreographies, whereas in this paper we synthesize the code of the processes given global choreography. Moreover, the model is restricted to RESTful architecture.…”

Section: Related Workmentioning

confidence: 99%

From global choreographies to verifiable efficient distributed implementations

Jaber

Falcone

Attie

et al. 2020

Journal of Logical and Algebraic Methods in Programming

View full text Add to dashboard Cite

We define a method to automatically synthesize efficient distributed implementations from high-level global choreographies. A global choreography describes the execution and communication logic between a set of provided processes which are described by their interfaces. At the choreography level, the operations include multiparty communications, choice, loop, and branching. A choreography is master triggered: it has one master to trigger its execution. This allows us to automatically generate conflict-free distributed implementations without controllers. The behavior of the synthesized implementations follows the behavior of choreographies. In addition, the absence of controllers ensures the efficiency of the implementation and reduces the communication needed at runtime. Moreover, we define a translation of the distributed implementations to equivalent Promela versions. The translation allows verifying the distributed system against behavioral properties. We implemented a Java prototype to validate the approach and applied it to automatically synthesize micro-service architectures. We also illustrate our method on the automatic synthesis of a verified distributed buying system. 1. Introduction Developing correct distributed software is notoriously difficult. This is mainly due to their complex structure that consists of interactions between distributed processes. We mainly distinguish two possible directions to cope with the complexity of the interaction model: (1) high-level modeling frameworks [7]; and (2) session types [6, 22, 8, 37, 18, 11]. The former facilitates expressing the communication models but makes efficient code generation difficult. High-level

show abstract

“…Nonetheless, the extension only considers exchange of messages and does not formally define other composition operators such as synchronous multiparty communications, parallelism, choice, sequential and loop. The method proposed in [27] allows to derive RESTful choreographies from process choreographies, whereas in this paper we synthesize the code of the processes given global choreography. Moreover, the model is restricted to RESTful architecture.…”

Section: Verifying the Implementationmentioning

confidence: 99%

From Global Choreographies to Provably Correct and Efficient Distributed Implementations

Jaber¹,

Falcone²,

Attie³

et al. 2019

Preprint

View full text Add to dashboard Cite

We define a method to automatically synthesize provably-correct efficient distributed implementations from high-level global choreographies. A global choreography describes the execution and communication logic between a set of provided processes which are described by their interfaces. The operations at the level of choreographies include multiparty communications, choice, loop, and branching. Choreographies are mastertriggered, that is each choreography has one master to trigger its execution. This allows to automatically generate conflict free distributed implementations without controllers. The behavior of the synthesized implementations follows the behavior of choreographies. In addition, the absence of controllers ensures the efficiency of the implementation and reduces the communication needed at runtime. Moreover, we define a translation of the distributed implementations to equivalent Promela versions. The translation allows verifying the distributed system against behavioral properties. We implemented a Java prototype to validate the approach and applied it to automatically synthesize microservices architectures. We illustrate our method on the automatic synthesis of a verified distributed buying system.

show abstract

Semi-automatic derivation of RESTful choreographies from business process choreographies

Cited by 11 publications

References 27 publications

A microservice composition approach based on the choreography of BPMN fragments

A microservice composition approach based on the choreography of BPMN fragments

From global choreographies to verifiable efficient distributed implementations

From Global Choreographies to Provably Correct and Efficient Distributed Implementations

Contact Info

Product

Resources

About