Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

Autor: Søren Debois, Thomas Hildebrandt, Tijs Slaats, Nobuko Yoshida

Publikováno v: Logical Methods in Computer Science, Vol Volume 12, Issue 1 (2016)

We present the first session typing system guaranteeing request-response liveness properties for possibly non-terminating communicating processes. The types augment the branch and select types of the standard binary session types with a set of requir

Externí odkaz: https://doaj.org/article/7efb0df6887c40b3b8c5759e74c3f3af

A Graphical Approach to Progress for Structured Communication in Web Services

Autor: Marco Carbone, Søren Debois

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 38, Iss Proc. ICE 2010, Pp 13-27 (2010)

We investigate a graphical representation of session invocation interdependency in order to prove progress for the pi-calculus with sessions under the usual session typing discipline. We show that those processes whose associated dependency graph is

Externí odkaz: https://doaj.org/article/4cff35a188a74d5d9728a1d3de940aed

Business Process Compliance Using Reference Models of Law

Autor: Tijs Slaats, Thomas Hildebrandt, Søren Debois, Hugo A. López

Publikováno v: Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering ISBN: 9783030452339
FASE
López, H A, Debois, S, Slaats, T & Hildebrandt, T T 2020, Business process compliance using reference models of law . in H Wehrheim & J Cabot (eds), Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings . Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12076, pp. 378-399, 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, 25/04/2020 . https://doi.org/10.1007/978-3-030-45234-6_19

Legal compliance is an important part of certifying the correct behaviour of a business process. To be compliant, organizations might hard-wire regulations into processes, limiting the discretion that workers have when choosing what activities should

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dde8855bd873bf36f53b3c5763a8d0a0
http://europepmc.org/articles/PMC7418114

Incentive Alignment Through Secure Computations

Autor: Frederik Haagensen, Søren Debois

Publikováno v: Lecture Notes in Computer Science ISBN: 9783031161025

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4de2c1264bf6dc57a79f77135dd43c29
https://doi.org/10.1007/978-3-031-16103-2_23

Weighing the Pros and Cons: Process Discovery with Negative Examples

Autor: Søren Debois, Tijs Slaats, Christoffer Olling Back

Publikováno v: Lecture Notes in Computer Science ISBN: 9783030854683
BPM

Contemporary process discovery methods take as inputs only positive examples of process executions, and so they are one-class classification algorithms. However, we have found negative examples to also be available in industry, hence we propose to tr

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::ed335cd0d7964e1e21102f3c46a052f4
https://doi.org/10.1007/978-3-030-85469-0_6