Blockchain technology has rapidly gained popularity, permeating various fields due to its
inherent features of security, transparency, and decentralization. Blockchain-based …

Contracts are behavioral descriptions of Web services. We devise a theory of contracts that
formalizes the compatibility of a client with a service, and the safe replacement of a service …

In this position paper we present a conceptual vision of adaptation, a key feature of
autonomic systems. We put some stress on the role of control data and argue how some of …

Contracts are behavioural descriptions of Web services. We devise a theory of contracts that
formalises the compatibility of a client to a service, and the safe replacement of a service …

Session types and contracts are two formalisms used to study client–server protocols. In this
paper, we study the relationship between them. The main result is the existence of a fully …

Standard techniques for model checking stochastic multi-agent systems usually assume the
transition probabilities describing the system dynamics to be stationary and completely …

Web services are one of the most widely used technologies for service oriented computing.
In particular, they support client-server protocols whose specifications are written in XML …

In this paper we present a logic-based technique for verifying both security and correctness
properties of multilevel service compositions. We define modal μ-calculus formulae …

Service orchestration techniques combine the benefits of Service Oriented Architecture
(SOA) and Business Process Management (BPM) to compose and coordinate distributed …

Compliance is a basic property of web-service architectures that ensures the absence of
deadlocks and livelocks during execution. Following recent attempts in the literature, we …