Zobrazeno 1 - 10
of 158
pro vyhledávání: '"Basile, Davide"'
In the contemporary business landscape, collaboration across multiple organizations offers a multitude of opportunities, including reduced operational costs, enhanced performance, and accelerated technological advancement. The application of process
Externí odkaz:
http://arxiv.org/abs/2410.04453
Inter-organizational business processes involve multiple independent organizations collaborating to achieve mutual interests. Process mining techniques have the potential to allow these organizations to enhance operational efficiency, improve perform
Externí odkaz:
http://arxiv.org/abs/2312.12105
Autor:
Basile, Davide
Modal Transition Systems (MTS) are a well-known formalism that extend Labelled Transition Systems (LTS) with the possibility of specifying necessary and permitted behaviour. Modal refinement ($\preceq_m$) of MTS represents a step of the design proces
Externí odkaz:
http://arxiv.org/abs/2310.08412
Decentralization initiatives like Solid enable data owners to control who has access to their data and to stimulate innovation by creating both application and data markets. Once data owners share their data with others, though, it is no longer possi
Externí odkaz:
http://arxiv.org/abs/2310.05731
Autor:
Basile, Davide, ter Beek, Maurice H.
Publikováno v:
EPTCS 383, 2023, pp. 73-90
Contract automata allow to formally define the behaviour of service contracts in terms of service offers and requests, some of which are moreover optional and some of which are necessary. A composition of contracts is said to be in agreement if all s
Externí odkaz:
http://arxiv.org/abs/2308.10651
Decentralization initiatives such as Solid and ActivityPub aim to give data owners more control over their data and to level the playing field by enabling small companies and individuals to gain access to data, thus stimulating innovation. However, t
Externí odkaz:
http://arxiv.org/abs/2301.06919
Autor:
Basile, Davide, ter Beek, Maurice H.
Contract automata have been introduced for specifying applications through behavioural contracts and for synthesising their orchestrations as finite state automata. This paper addresses the realisation of applications from contract automata specifica
Externí odkaz:
http://arxiv.org/abs/2203.14122
Autor:
Basile, Davide, ter Beek, Maurice H.
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming October 2024 141
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming April 2024 138
Formal methods and supporting tools have a long record of success in the development of safety-critical systems. However, no single tool has emerged as the dominant solution for system design. Each tool differs from the others in terms of the modelin
Externí odkaz:
http://arxiv.org/abs/2101.11303