Manuel Mazzara

Learn More
Recently, the term Web services orchestration has been introduced to address some issues related to Web services composition, that is the way of defining a complex service out of simpler ones. Several proposals for describing orchestration for business processes have been presented in the last years and many of these languages make use of concepts as(More)
Microservices is an architectural style inspired by service-oriented computing that has recently started gaining popularity. Before presenting the current state-of-the-art in the field, this chapter reviews the history of software architecture, the reasons that led to the diffusion of objects and services first, and microservices later. Finally, open(More)
Recently the term Web Services Choreography has been introduced to address some issues related to Web Services Composition. Several proposals for describing Choreography for Business Processes have been presented in the last years and many of these languages make use of concepts as long-running transactions and compensations for coping with error handling.(More)
Recently the term Web Services choreography has been introduced to address some issues related to Web Services composition and coordination. Several proposals for describing choreography for business processes have been presented in the last years and many of these languages (e.g. BPEL4WS) make use of concepts as longrunning transactions and compensations(More)
Recently the term Web Services Orchestration has been introduced to address composition and coordination of Web Services. Several languages to describe orchestration for business processes have been presented and many of them use concepts such as long-running transactions and compensations to cope with error handling. WS-BPEL is currently the best suited in(More)
To actually bridge the gap between business perspective and technical perspective, the prerequisite is to provide a comprehensive process modeling framework for business processes. Different from the previous traditional process methodologies, our work is neither only industrial process graphic-modeling nor pure theoretical studies. We mainly focus on the(More)
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism must meet, and use these to evaluate well-established formalisms and two process algebras that we have been developing, namely, Webpi and CCSdp. A simple case study is developed(More)
This paper describes a case study involving interference between application activities and reconfiguration activities in an office workflow. We state the requirements on a system implementing the workflow and its reconfiguration, and describe the system's design in BPMN. We then use a number of computational formalisms of different kinds, including VDM and(More)
The microservice architecture is a style inspired by serviceoriented computing that has recently started gaining popularity and that promises to change the way in which software is perceived, conceived and designed. In this paper, we describe the main features of microservices and highlight how these features improve scalability.