Behavioural contracts are formal specifications of interaction protocols between two or more
distributed services. Despite the heterogeneous nature of the formalisms for behavioural …

An approach to the formal description of service contracts is presented in terms of automata.
We focus on the basic property of guaranteeing that in the multi-party composition of …

Abstract We study Lending Petri nets, an extension of Petri nets where places may carry a
negative number of tokens. This allows for modeling contracts where a participant may …

MTTool is a novel model-based test tool. It is developed for modeling complex software
behavior and generating test cases from the model. Different from existing model-based test …

In order to solve the problem of supply of agricultural products, the current mode of
decentralized agricultural product supply is described with the Petri net formalized modeling …

We address the problem of modelling and verifying contract-oriented systems, wherein
distributed agents may advertise and stipulate contracts, but—differently from most other …

Causality is often interpreted as establishing dependencies between events. The standard
view is that an event b causally depends on an event a if, whenever b occurs, then a has …

A novel approach to the formal description of service contracts is presented in terms of
automata. We focus on the basic property of guaranteeing that in the multi-party composition …

We propose a model of events with circular causality, in the form of a conservative extension
of Winskel's event structures. We study the relations between this new kind of event …

Contracts are formal promises on the future interactions of participants, which describe the
causal dependencies among their actions. An inherent feature of contracts is that such …