Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations

Mazzara, Manuel; Abouzaid, Faisal; Dragoni, Nicola; Bhattacharyya, Anirban

doi:10.1007/978-3-642-29834-9_6

Cited by 21 publications

(25 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The process algebra adopted there is suitable to specify explicit event handler to deal with failures. Our approach does not feature explicit handlers for failures, but we share with [27] the view that design-level reconfiguration and run-time behaviour must be aligned.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

A design-by-contract approach to recover the architectural style from run-time misbehaviour

Poyias

Tuosto

2015

Science of Computer Programming

View full text Add to dashboard Cite

We propose to control the reconfigurations of applications leading to an erroneous state by exploiting its architectural model. Our work relies on Architectural Design Rewriting (ADR, for short) which is a rule-based formal framework for modelling (the evolution of) software architectures. We equip the reconfiguration rules of an ADR architecture with pre-and post-conditions expressed in a simple logic; a pre-condition constraints the applicability of a rule while a post-condition specifies the properties expected of the resulting graphs. We give an algorithm to compute the weakest pre-condition out of a rule and its postcondition. On top of this algorithm, we design a simple methodology that allows us to select which rules can be applied at the architectural level to reconfigure a system so to regain its architectural style when it becomes compromised by unexpected run-time reconfigurations.

show abstract

Section: Related Workmentioning

confidence: 99%

“…A case study featuring dynamic reconfiguration of a workflow is studied in [27]. This paper first gives a design of the workflow in BPMN and then uses a process algebra for distributed transactions to formalise the behaviour of the system.…”

Section: Related Workmentioning

confidence: 99%

A design-by-contract approach to recover the architectural style from run-time misbehaviour

Poyias

Tuosto

2015

Science of Computer Programming

View full text Add to dashboard Cite

show abstract

“…Jolie is a functional programming language that combines a multiplicity of aspects that are destined to revolution the way in which software is conceived, designed and understood. Originated from a major formalization effort [22] for workflow and service composition [23], the language does not integrate a notion of correctness; it is simply built on it. The intuitiveness of the message-passing paradigm supports the design phase and avoids side effects that are not trivial to test.…”

Section: Jolie: a Language-based Approachmentioning

confidence: 99%

Microservices Science and Engineering

Mazzara

Khanda

Mustafin

et al. 2018

Advances in Intelligent Systems and Computing

Self Cite

View full text Add to dashboard Cite

In this paper we offer an overview on the topic of Microservices Science and Engineering (MSE) and we provide a collection of bibliographic references and links relevant to understand an emerging field. We try to clarify some misunderstandings related to microservices and Service-Oriented Architectures, and we also describe projects and applications our team have been working on in the recent past, both regarding programming languages construction and intelligent buildings.

show abstract

“…That means that control-flow can be directed at the time of message passing according to the nature of the message structure and type, a feature well represented in standards for Web Services (WSDL [2]), instead of requiring post-reception processing. A typical example of process-driven workflow is presented in [10]. In the microservice scenario this opportunity opens to novel programming patterns.…”

Section: Introductionmentioning

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)

Self Cite

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

Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations

Cited by 21 publications

References 14 publications

A design-by-contract approach to recover the architectural style from run-time misbehaviour

A design-by-contract approach to recover the architectural style from run-time misbehaviour

Microservices Science and Engineering

Data-Driven Workflows for Microservices: Genericity in Jolie

Contact Info

Product

Resources

About