Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
Marco Alberti, Massimiliano Cattafi, Marco Gavanel...
There is a trend in some manufacturing industries to move from selling products to providing services. As a result, designers must consider the life-cycle costs. In the aero indust...
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
Abstract-- In this article we present a visual development environment for writing DyLOG programs, explaining the motivations to this work and the main design choices. We will also...