7 citations · 20 across the 15 of their papers we have counts for
5 papers · 1 filter
Domain Objects and Microservices for Systems Development: a roadmap
Kizilov Mikhail, Antonio Bucchiarone, Manuel Mazzara +2
This paper discusses a roadmap to investigate Domain Objects being an adequate formalism to capture the peculiarity of microservice architecture, and to support Software developmen…
Microservices Science and Engineering
Manuel Mazzara, Kevin Khanda, Ruslan Mustafin +3
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 underst…
Verified type checker for Jolie programming language
Evgenii Akentev, Alexander Tchitchigin, Larisa Safina +1
Jolie is a service-oriented programming language which comes with the formal specification of its type system. However, there is no tool to ensure that programs in Jolie are well-t…
Microservices: How To Make Your Application Scale
Nicola Dragoni, Ivan Lanese, Stephan Thordal Larsen +3
The microservice architecture is a style inspired by service-oriented computing that has recently started gaining popularity and that promises to change the way in which software i…
Jolie Static Type Checker: a prototype
Daniel de Carvalho, Manuel Mazzara, Bogdan Mingela +3
Static verification of a program source code correctness is an important element of software reliability. Formal verification of software programs involves proving that a program s…