11 citations · 45 across the 11 of their papers we have counts for
6 papers · 1 filter
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 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…
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…
Blind-date Conversation Joining
Luca Cesari, Rosario Pugliese, Francesco Tiezzi
We focus on a form of joining conversations among multiple parties in service-oriented applications where a client may asynchronously join an existing conversation without need to…
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems
Laura Kovacs, Rosario Pugliese, Francesco Tiezzi
This volume contains the final and revised versions of the papers presented at the 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011).…