11 citations · 45 across the 11 of their papers we have counts for
11 papers
Collaboration vs. choreography conformance in BPMN
Flavio Corradini, Andrea Morichetta, Andrea Polini +2
The BPMN 2.0 standard is a widely used semi-formal notation to model distributed information systems from different perspectives. The standard makes available a set of diagrams to…
A Formal Approach to the Engineering of Domain-Specific Distributed Systems
Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese +1
We review some results regarding specification, programming and verification of different classes of distributed systems which stemmed from the research of the Concurrency and Mobi…
A Classification of BPMN Collaborations based on Safeness and Soundness Notions
Flavio Corradini, Chiara Muzi, Barbara Re +1
BPMN 2.0 standard has a huge uptake in modelling business processes within the same organisation or collaborations involving multiple interacting participants. It results that prov…
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies
Andrea Margheri, Massimiliano Masi, Rosario Pugliese +1
Access control systems are widely used means for the protection of computing systems. They are defined in terms of access control policies regulating the accesses to system resourc…
Reversing Single Sessions
Francesco Tiezzi, Nobuko Yoshida
Session-based communication has gained a widespread acceptance in practice as a means for developing safe communicating systems via structured interactions. In this paper, we inves…
On Properties of Policy-Based Specifications
Andrea Margheri, Rosario Pugliese, Francesco Tiezzi
The advent of large-scale, complex computing systems has dramatically increased the difficulties of securing accesses to systems' resources. To ensure confidentiality and integrity…