Converting BPMN Diagrams to Privacy Calculus

Pitsiladis, Georgios V.; Πιτσιλαδής, Γεώργιος Β.; Stefaneas, Petros S.; Στεφανέας, Πέτρος

dc.contributor.author	Pitsiladis, Georgios V.
dc.contributor.author	Πιτσιλαδής, Γεώργιος Β.
dc.contributor.author	Stefaneas, Petros S.
dc.contributor.author	Στεφανέας, Πέτρος
dc.date.accessioned	2025-11-12T15:03:11Z
dc.date.available	2025-11-12T15:03:11Z
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/62849
dc.identifier.uri	http://dx.doi.org/10.26240/heal.ntua.30545
dc.rights	Αναφορά Δημιουργού - Παρόμοια Διανομή 3.0 Ελλάδα	*
dc.rights.uri	http://creativecommons.org/licenses/by-sa/3.0/gr/	*
dc.subject	BPMN	en
dc.subject	privacy	en
dc.title	Converting BPMN Diagrams to Privacy Calculus	en
heal.type	conferenceItem
heal.language	en
heal.access	free
heal.recordProvider	ntua	el
heal.publicationDate	2024-10-31
heal.bibliographicCitation	Georgios V. Pitsiladis and Petros S. Stefaneas. Converting BPMN diagrams to privacy calculus. In Mircea Marin and Laurenţiu Leuştean, editors, Proceedings Eighth Symposium on Working Formal Methods (FROM 2024), pages 53–68. EPTCS, 2024. doi:10.4204/EPTCS.410.4.	en
heal.abstract	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.	en
heal.publisher	Electronic Proceedings in Theoretical Computer Science	en
heal.fullTextAvailability	false
heal.conferenceName	8th Symposium on Working Formal Methods (FROM 2024)	en
heal.conferenceItemType	full paper
dc.identifier.doi	10.4204/EPTCS.410.4	el