Converting BPMN Diagrams to Privacy Calculus
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866915000517394432 |
|---|---|
| author | Pitsiladis, Georgios V. Stefaneas, Petros S. |
| author_facet | Pitsiladis, Georgios V. Stefaneas, Petros S. |
| contents | The ecosystem of Privacy Calculus is a formal framework for privacy comprising (a) the Privacy Calculus, a Turing-complete language of message-exchanging processes based on the pi-calculus, (b) a privacy policy language, and (c) a type checker that checks adherence of Privacy Calculus terms to privacy policies. BPMN is a standard for the graphical description of business processes which aims to be understandable by all business users, from those with no technical background to those implementing software. This paper presents how (a subset of) BPMN diagrams can be converted to Privacy Calculus terms, in the hope that it will serve as a small piece of larger workflows for building privacy-preserving software. The conversion is described mathematically in the paper, but has also been implemented as a software tool. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_23759 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Converting BPMN Diagrams to Privacy Calculus Pitsiladis, Georgios V. Stefaneas, Petros S. Logic in Computer Science Computers and Society Software Engineering K.4.1;D.2.4;F.3.1;I.2.2 The ecosystem of Privacy Calculus is a formal framework for privacy comprising (a) the Privacy Calculus, a Turing-complete language of message-exchanging processes based on the pi-calculus, (b) a privacy policy language, and (c) a type checker that checks adherence of Privacy Calculus terms to privacy policies. BPMN is a standard for the graphical description of business processes which aims to be understandable by all business users, from those with no technical background to those implementing software. This paper presents how (a subset of) BPMN diagrams can be converted to Privacy Calculus terms, in the hope that it will serve as a small piece of larger workflows for building privacy-preserving software. The conversion is described mathematically in the paper, but has also been implemented as a software tool. |
| title | Converting BPMN Diagrams to Privacy Calculus |
| topic | Logic in Computer Science Computers and Society Software Engineering K.4.1;D.2.4;F.3.1;I.2.2 |
| url | https://arxiv.org/abs/2410.23759 |