Zobrazeno 1 - 10
of 95
pro vyhledávání: '"Peressotti, Marco"'
Enterprise applications are often built as service-oriented architectures, where the individual services are designed to perform specific functions and interact with each other by means of well-defined APIs (Application Programming Interfaces). The a
Externí odkaz:
http://arxiv.org/abs/2407.07428
Dynamic logic in the setting of concurrency has proved problematic because of the challenge of capturing interleaving. This challenge stems from the fact that the operational semantics for programs considered in these logics is tailored on trace reas
Externí odkaz:
http://arxiv.org/abs/2403.18508
Choreographic programming is a paradigm for writing distributed applications. It allows programmers to write a single program, called a choreography, that can be compiled to generate correct implementations of each process in the application. Althoug
Externí odkaz:
http://arxiv.org/abs/2401.17403
Choreographic programming is a paradigm where a concurrent or distributed system is developed in a top-down fashion. Programs, called choreographies, detail the desired interactions between processes, and can be compiled to distributed implementation
Externí odkaz:
http://arxiv.org/abs/2304.14539
Choreographic programming is a paradigm for writing coordination plans for distributed systems from a global point of view, from which correct-by-construction decentralised implementations can be generated automatically. Theory of choreographies typi
Externí odkaz:
http://arxiv.org/abs/2209.01886
We formally define and implement a translation from domain models in the LEMMA modelling framework to microservice APIs in the Jolie programming language. Our tool enables a software development process whereby microservice architectures can first be
Externí odkaz:
http://arxiv.org/abs/2202.11397
Choreographic programming is an emerging programming paradigm for concurrent and distributed systems, whereby developers write the communications that should be enacted and then a distributed implementation is automatically obtained by means of a com
Externí odkaz:
http://arxiv.org/abs/2111.03701
Autor:
Montesi, Fabrizio, Peressotti, Marco
Initiated by Abramsky [1994], the Proofs as Processes agenda is to establish a solid foundation for the study of concurrent languages, by researching the connection between linear logic and the $\pi$-calculus. To date, Proofs as Processes is still a
Externí odkaz:
http://arxiv.org/abs/2106.11818
Autor:
Giallorenzo, Saverio, Montesi, Fabrizio, Peressotti, Marco, Rademacher, Florian, Sachweh, Sabine
In the field of microservices, Model-Driven Engineering has emerged as a powerful methodology for architectural design, and new programming languages have introduced language abstractions to deal with microservice development more effectively. In thi
Externí odkaz:
http://arxiv.org/abs/2104.02458
We propose Sliceable Monolith, a new methodology for developing microservice architectures and perform their integration testing by leveraging most of the simplicity of a monolith: a single codebase and a local execution environment that simulates di
Externí odkaz:
http://arxiv.org/abs/2103.09518