Cronache tecniche di ingegneria dalla Toscana: "Adeguamento sismico di un edificio a due piani a Firenze: taglio di due pilastri centrali con messa in forza di rinforzo in acciaio" Progettista delle strutture: Prof. Ing. Paolo SPINELLI Collaborazione progetto strutturale: Dott. Ing. Alessio MARGIOTTA Direzione lavori: Dott. Ing. Massimiliano CECCONI

All’interno dei locali di un edificio esistente, situato a Firenze e costituito da due piani fuori terra, vi è stata l’esigenza di realizzare uno spazio atto ad ospitare conferenze, congressi e summit dei vertici dirigenziali dell’azienda: si doveva quindi realizzare un nuovo Auditorium a piano terra e i relativi locali dovevano essere riorganizzati in modo tale da rispondere alle nuove esigenze funzionali. Il maggior ostacolo da superare era rappresentato dalla presenza di due pilastri dell’edificio che risultavano incompatibili con le esigenze di visibilità e fruibilità della sala. D’altro canto la loro rimozione non era facile in quanto senza di essi si sarebbe avuta una luce libera di quasi 15 metri e per l’appunto essi appartenevano ad una campata che, oltre a portare il solaio di piano primo di luce 9.90 metri, si faceva carico anche delle travi di copertura aventi luce 20 m; Si è deciso di seguire la strada dell’eliminazione dei due pilastri e del conseguente rinforzo della campata con un’opportuna struttura in acciaio affiancata a quella in C.A. esistente

A Temporal Logic-Based Measurement Framework for Process Mining

The assessment of behavioral rules with respect to a given dataset is key in several research areas, including declarative process mining, association rule mining, and specification mining. The assessment is required to check how well a set of discovered rules describes the input data, as well as to determine to what extent data complies with predefined rules. In declarative process mining, in particular, some measures have been taken from association rule mining and adapted to support the assessment of temporal rules on event logs. Among them, support and confidence are used more often, yet they are reportedly unable to provide a sufficiently rich feedback to users and often cause spurious rules to be discovered from logs. In addition, these measures are designed to work on a predefined set of rules, thus lacking generality and extensibility. In this paper, we address this research gap by developing a general measurement framework for temporal rules based on Linear-time Temporal Logic with Past on Finite Traces (LTLpf). The framework is independent from the rule-specification language of choice and allows users to define new measures. We show that our framework can seamlessly adapt well-known measures of the association rule mining field to declarative process mining. Also, we test our software prototype implementing the framework on synthetic and real-world data, and investigate the properties characterizing those measures in the context of process analysis

Blockchain Support for Collaborative Business Processes

Blockchain technology provides basic building blocks to support the execution of collaborative business processes involving mutually untrusted parties in a decentralized environment. Several research proposals have demonstrated the feasibility of designing blockchain-based collaborative business processes using a high-level notation, such as the Business Process Model and Notation (BPMN), and thereon automatically generating the code artifacts required to execute these processes on a blockchain platform. In this paper, we present the conceptual foundations of model-driven approaches for blockchain-based collaborative process execution and we compare two concrete approaches, namely Caterpillar and Lorikeet

The CitySPIN Platform: A CPSS Environment for City-Wide Infrastructures

Cyber-physical Social System (CPSS) are complex systems that span the boundaries of the cyber, physical and social spheres. They play an important role in a variety of domains ranging from industry to smart city applications. As such, these systems necessarily need to take into account, combine and make sense of heterogeneous data sources from legacy systems, from the physical layer and also the social groups that are part of/use the system. The collection, cleansing and integration of these data sources represents a major effort not only during the operation of the system, but also during its engineering and design. Indeed, while ongoing efforts are concerned primarily with the operation of such systems, limited focus has been put on supporting the engineering phase of CPSS. To address this shortcoming, within the CitySPIN project we aim to create a platform that supports stakeholders involved in the design of these systems especially in terms of support for data management. To that end, we develop methods and techniques based on Semantic Web and Linked Data technologies for the acquisition and integration of heterogeneous data from disparate structured, semi-structured and unstructured sources, including open data and social data. In this paper we present the overall system architecturewith a core focus on data acquisition and integration.We demon-strate our approach through a prototypical implementation of an adaptive planning use case for public transportation scheduling

Acute Delta Hepatitis in Italy spanning three decades (1991–2019): Evidence for the effectiveness of the hepatitis B vaccination campaign

Updated incidence data of acute Delta virus hepatitis (HDV) are lacking worldwide. Our aim was to evaluate incidence of and risk factors for acute HDV in Italy after the introduction of the compulsory vaccination against hepatitis B virus (HBV) in 1991. Data were obtained from the National Surveillance System of acute viral hepatitis (SEIEVA). Independent predictors of HDV were assessed by logistic-regression analysis. The incidence of acute HDV per 1-million population declined from 3.2 cases in 1987 to 0.04 in 2019, parallel to that of acute HBV per 100,000 from 10.0 to 0.39 cases during the same period. The median age of cases increased from 27 years in the decade 1991-1999 to 44 years in the decade 2010-2019 (p < .001). Over the same period, the male/female ratio decreased from 3.8 to 2.1, the proportion of coinfections increased from 55% to 75% (p = .003) and that of HBsAg positive acute hepatitis tested for by IgM anti-HDV linearly decreased from 50.1% to 34.1% (p < .001). People born abroad accounted for 24.6% of cases in 2004-2010 and 32.1% in 2011-2019. In the period 2010-2019, risky sexual behaviour (O.R. 4.2; 95%CI: 1.4-12.8) was the sole independent predictor of acute HDV; conversely intravenous drug use was no longer associated (O.R. 1.25; 95%CI: 0.15-10.22) with this. In conclusion, HBV vaccination was an effective measure to control acute HDV. Intravenous drug use is no longer an efficient mode of HDV spread. Testing for IgM-anti HDV is a grey area requiring alert. Acute HDV in foreigners should be monitored in the years to come

Detailed stratified GWAS analysis for severe COVID-19 in four European populations

Given the highly variable clinical phenotype of Coronavirus disease 2019 (COVID-19), a deeper analysis of the host genetic contribution to severe COVID-19 is important to improve our understanding of underlying disease mechanisms. Here, we describe an extended genome-wide association meta-analysis of a well-characterized cohort of 3255 COVID-19 patients with respiratory failure and 12 488 population controls from Italy, Spain, Norway and Germany/Austria, including stratified analyses based on age, sex and disease severity, as well as targeted analyses of chromosome Y haplotypes, the human leukocyte antigen region and the SARS-CoV-2 peptidome. By inversion imputation, we traced a reported association at 17q21.31 to a ~0.9-Mb inversion polymorphism that creates two highly differentiated haplotypes and characterized the potential effects of the inversion in detail. Our data, together with the 5th release of summary statistics from the COVID-19 Host Genetics Initiative including non-Caucasian individuals, also identified a new locus at 19q13.33, including NAPSA, a gene which is expressed primarily in alveolar cells responsible for gas exchange in the lung.S.E.H. and C.A.S. partially supported genotyping through a philanthropic donation. A.F. and D.E. were supported by a grant from the German Federal Ministry of Education and COVID-19 grant Research (BMBF; ID:01KI20197); A.F., D.E. and F.D. were supported by the Deutsche Forschungsgemeinschaft Cluster of Excellence ‘Precision Medicine in Chronic Inflammation’ (EXC2167). D.E. was supported by the German Federal Ministry of Education and Research (BMBF) within the framework of the Computational Life Sciences funding concept (CompLS grant 031L0165). D.E., K.B. and S.B. acknowledge the Novo Nordisk Foundation (NNF14CC0001 and NNF17OC0027594). T.L.L., A.T. and O.Ö. were funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation), project numbers 279645989; 433116033; 437857095. M.W. and H.E. are supported by the German Research Foundation (DFG) through the Research Training Group 1743, ‘Genes, Environment and Inflammation’. L.V. received funding from: Ricerca Finalizzata Ministero della Salute (RF-2016-02364358), Italian Ministry of Health ‘CV PREVITAL’—strategie di prevenzione primaria cardiovascolare primaria nella popolazione italiana; The European Union (EU) Programme Horizon 2020 (under grant agreement No. 777377) for the project LITMUS- and for the project ‘REVEAL’; Fondazione IRCCS Ca’ Granda ‘Ricerca corrente’, Fondazione Sviluppo Ca’ Granda ‘Liver-BIBLE’ (PR-0391), Fondazione IRCCS Ca’ Granda ‘5permille’ ‘COVID-19 Biobank’ (RC100017A). A.B. was supported by a grant from Fondazione Cariplo to Fondazione Tettamanti: ‘Bio-banking of Covid-19 patient samples to support national and international research (Covid-Bank). This research was partly funded by an MIUR grant to the Department of Medical Sciences, under the program ‘Dipartimenti di Eccellenza 2018–2022’. This study makes use of data generated by the GCAT-Genomes for Life. Cohort study of the Genomes of Catalonia, Fundació IGTP (The Institute for Health Science Research Germans Trias i Pujol) IGTP is part of the CERCA Program/Generalitat de Catalunya. GCAT is supported by Acción de Dinamización del ISCIII-MINECO and the Ministry of Health of the Generalitat of Catalunya (ADE 10/00026); the Agència de Gestió d’Ajuts Universitaris i de Recerca (AGAUR) (2017-SGR 529). M.M. received research funding from grant PI19/00335 Acción Estratégica en Salud, integrated in the Spanish National RDI Plan and financed by ISCIII-Subdirección General de Evaluación and the Fondo Europeo de Desarrollo Regional (European Regional Development Fund (FEDER)-Una manera de hacer Europa’). B.C. is supported by national grants PI18/01512. X.F. is supported by the VEIS project (001-P-001647) (co-funded by the European Regional Development Fund (ERDF), ‘A way to build Europe’). Additional data included in this study were obtained in part by the COVICAT Study Group (Cohort Covid de Catalunya) supported by IsGlobal and IGTP, European Institute of Innovation & Technology (EIT), a body of the European Union, COVID-19 Rapid Response activity 73A and SR20-01024 La Caixa Foundation. A.J. and S.M. were supported by the Spanish Ministry of Economy and Competitiveness (grant numbers: PSE-010000-2006-6 and IPT-010000-2010-36). A.J. was also supported by national grant PI17/00019 from the Acción Estratégica en Salud (ISCIII) and the European Regional Development Fund (FEDER). The Basque Biobank, a hospital-related platform that also involves all Osakidetza health centres, the Basque government’s Department of Health and Onkologikoa, is operated by the Basque Foundation for Health Innovation and Research-BIOEF. M.C. received Grants BFU2016-77244-R and PID2019-107836RB-I00 funded by the Agencia Estatal de Investigación (AEI, Spain) and the European Regional Development Fund (FEDER, EU). M.R.G., J.A.H., R.G.D. and D.M.M. are supported by the ‘Spanish Ministry of Economy, Innovation and Competition, the Instituto de Salud Carlos III’ (PI19/01404, PI16/01842, PI19/00589, PI17/00535 and GLD19/00100) and by the Andalussian government (Proyectos Estratégicos-Fondos Feder PE-0451-2018, COVID-Premed, COVID GWAs). The position held by Itziar de Rojas Salarich is funded by grant FI20/00215, PFIS Contratos Predoctorales de Formación en Investigación en Salud. Enrique Calderón’s team is supported by CIBER of Epidemiology and Public Health (CIBERESP), ‘Instituto de Salud Carlos III’. J.C.H. reports grants from Research Council of Norway grant no 312780 during the conduct of the study. E.S. reports grants from Research Council of Norway grant no. 312769. The BioMaterialBank Nord is supported by the German Center for Lung Research (DZL), Airway Research Center North (ARCN). The BioMaterialBank Nord is member of popgen 2.0 network (P2N). P.K. Bergisch Gladbach, Germany and the Cologne Excellence Cluster on Cellular Stress Responses in Aging-Associated Diseases, University of Cologne, Cologne, Germany. He is supported by the German Federal Ministry of Education and Research (BMBF). O.A.C. is supported by the German Federal Ministry of Research and Education and is funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy—CECAD, EXC 2030–390661388. The COMRI cohort is funded by Technical University of Munich, Munich, Germany. This work was supported by grants of the Rolf M. Schwiete Stiftung, the Saarland University, BMBF and The States of Saarland and Lower Saxony. K.U.L. is supported by the German Research Foundation (DFG, LU-1944/3-1). Genotyping for the BoSCO study is funded by the Institute of Human Genetics, University Hospital Bonn. F.H. was supported by the Bavarian State Ministry for Science and Arts. Part of the genotyping was supported by a grant to A.R. from the German Federal Ministry of Education and Research (BMBF, grant: 01ED1619A, European Alzheimer DNA BioBank, EADB) within the context of the EU Joint Programme—Neurodegenerative Disease Research (JPND). Additional funding was derived from the German Research Foundation (DFG) grant: RA 1971/6-1 to A.R. P.R. is supported by the DFG (CCGA Sequencing Centre and DFG ExC2167 PMI and by SH state funds for COVID19 research). F.T. is supported by the Clinician Scientist Program of the Deutsche Forschungsgemeinschaft Cluster of Excellence ‘Precision Medicine in Chronic Inflammation’ (EXC2167). C.L. and J.H. are supported by the German Center for Infection Research (DZIF). T.B., M.M.B., O.W. und A.H. are supported by the Stiftung Universitätsmedizin Essen. M.A.-H. was supported by Juan de la Cierva Incorporacion program, grant IJC2018-035131-I funded by MCIN/AEI/10.13039/501100011033. E.C.S. is supported by the Deutsche Forschungsgemeinschaft (DFG; SCHU 2419/2-1).Peer reviewe

Detailed stratified GWAS analysis for severe COVID-19 in four European populations

Given the highly variable clinical phenotype of Coronavirus disease 2019 (COVID-19), a deeper analysis of the host genetic contribution to severe COVID-19 is important to improve our understanding of underlying disease mechanisms. Here, we describe an extended GWAS meta-analysis of a well-characterized cohort of 3,260 COVID-19 patients with respiratory failure and 12,483 population controls from Italy, Spain, Norway and Germany/Austria, including stratified analyses based on age, sex and disease severity, as well as targeted analyses of chromosome Y haplotypes, the human leukocyte antigen (HLA) region and the SARS-CoV-2 peptidome. By inversion imputation, we traced a reported association at 17q21.31 to a highly pleiotropic ∼0.9-Mb inversion polymorphism and characterized the potential effects of the inversion in detail. Our data, together with the 5th release of summary statistics from the COVID-19 Host Genetics Initiative, also identified a new locus at 19q13.33, including NAPSA, a gene which is expressed primarily in alveolar cells responsible for gas exchange in the lung.Andre Franke and David Ellinghaus were supported by a grant from the German Federal Ministry of Education and Research (01KI20197), Andre Franke, David Ellinghaus and Frauke Degenhardt were supported by the Deutsche Forschungsgemeinschaft Cluster of Excellence “Precision Medicine in Chronic Inflammation” (EXC2167). David Ellinghaus was supported by the German Federal Ministry of Education and Research (BMBF) within the framework of the Computational Life Sciences funding concept (CompLS grant 031L0165). David Ellinghaus, Karina Banasik and Søren Brunak acknowledge the Novo Nordisk Foundation (grant NNF14CC0001 and NNF17OC0027594). Tobias L. Lenz, Ana Teles and Onur Özer were funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation), project numbers 279645989; 433116033; 437857095. Mareike Wendorff and Hesham ElAbd are supported by the German Research Foundation (DFG) through the Research Training Group 1743, "Genes, Environment and Inflammation". This project was supported by a Covid-19 grant from the German Federal Ministry of Education and Research (BMBF; ID: 01KI20197). Luca Valenti received funding from: Ricerca Finalizzata Ministero della Salute RF2016-02364358, Italian Ministry of Health ""CV PREVITAL – strategie di prevenzione primaria cardiovascolare primaria nella popolazione italiana; The European Union (EU) Programme Horizon 2020 (under grant agreement No. 777377) for the project LITMUS- and for the project ""REVEAL""; Fondazione IRCCS Ca' Granda ""Ricerca corrente"", Fondazione Sviluppo Ca' Granda ""Liver-BIBLE"" (PR-0391), Fondazione IRCCS Ca' Granda ""5permille"" ""COVID-19 Biobank"" (RC100017A). Andrea Biondi was supported by the grant from Fondazione Cariplo to Fondazione Tettamanti: "Biobanking of Covid-19 patient samples to support national and international research (Covid-Bank). This research was partly funded by a MIUR grant to the Department of Medical Sciences, under the program "Dipartimenti di Eccellenza 2018–2022". This study makes use of data generated by the GCAT-Genomes for Life. Cohort study of the Genomes of Catalonia, Fundació IGTP. IGTP is part of the CERCA Program / Generalitat de Catalunya. GCAT is supported by Acción de Dinamización del ISCIIIMINECO and the Ministry of Health of the Generalitat of Catalunya (ADE 10/00026); the Agència de Gestió d’Ajuts Universitaris i de Recerca (AGAUR) (2017-SGR 529). Marta Marquié received research funding from ant PI19/00335 Acción Estratégica en Salud, integrated in the Spanish National RDI Plan and financed by ISCIIISubdirección General de Evaluación and the Fondo Europeo de Desarrollo Regional (FEDER-Una manera de hacer Europa").Beatriz Cortes is supported by national grants PI18/01512. Xavier Farre is supported by VEIS project (001-P-001647) (cofunded by European Regional Development Fund (ERDF), “A way to build Europe”). Additional data included in this study was obtained in part by the COVICAT Study Group (Cohort Covid de Catalunya) supported by IsGlobal and IGTP, EIT COVID-19 Rapid Response activity 73A and SR20-01024 La Caixa Foundation. Antonio Julià and Sara Marsal were supported by the Spanish Ministry of Economy and Competitiveness (grant numbers: PSE-010000-2006-6 and IPT-010000-2010-36). Antonio Julià was also supported the by national grant PI17/00019 from the Acción Estratégica en Salud (ISCIII) and the FEDER. The Basque Biobank is a hospitalrelated platform that also involves all Osakidetza health centres, the Basque government's Department of Health and Onkologikoa, is operated by the Basque Foundation for Health Innovation and Research-BIOEF. Mario Cáceres received Grants BFU2016-77244-R and PID2019-107836RB-I00 funded by the Agencia Estatal de Investigación (AEI, Spain) and the European Regional Development Fund (FEDER, EU). Manuel Romero Gómez, Javier Ampuero Herrojo, Rocío Gallego Durán and Douglas Maya Miles are supported by the “Spanish Ministry of Economy, Innovation and Competition, the Instituto de Salud Carlos III” (PI19/01404, PI16/01842, PI19/00589, PI17/00535 and GLD19/00100), and by the Andalussian government (Proyectos Estratégicos-Fondos Feder PE-0451-2018, COVID-Premed, COVID GWAs). The position held by Itziar de Rojas Salarich is funded by grant FI20/00215, PFIS Contratos Predoctorales de Formación en Investigación en Salud. Enrique Calderón's team is supported by CIBER of Epidemiology and Public Health (CIBERESP), "Instituto de Salud Carlos III". Jan Cato Holter reports grants from Research Council of Norway grant no 312780 during the conduct of the study. Dr. Solligård: reports grants from Research Council of Norway grant no 312769. The BioMaterialBank Nord is supported by the German Center for Lung Research (DZL), Airway Research Center North (ARCN). The BioMaterialBank Nord is member of popgen 2.0 network (P2N). Philipp Koehler has received non-financial scientific grants from Miltenyi Biotec GmbH, Bergisch Gladbach, Germany, and the Cologne Excellence Cluster on Cellular Stress Responses in Aging-Associated Diseases, University of Cologne, Cologne, Germany. He is supported by the German Federal Ministry of Education and Research (BMBF).Oliver A. Cornely is supported by the German Federal Ministry of Research and Education and is funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany's Excellence Strategy – CECAD, EXC 2030 – 390661388. The COMRI cohort is funded by Technical University of Munich, Munich, Germany. Genotyping was performed by the Genotyping laboratory of Institute for Molecular Medicine Finland FIMM Technology Centre, University of Helsinki. This work was supported by grants of the Rolf M. Schwiete Stiftung, the Saarland University, BMBF and The States of Saarland and Lower Saxony. Kerstin U. Ludwig is supported by the German Research Foundation (DFG, LU-1944/3-1). Genotyping for the BoSCO study is funded by the Institute of Human Genetics, University Hospital Bonn. Frank Hanses was supported by the Bavarian State Ministry for Science and Arts. Part of the genotyping was supported by a grant to Alfredo Ramirez from the German Federal Ministry of Education and Research (BMBF, grant: 01ED1619A, European Alzheimer DNA BioBank, EADB) within the context of the EU Joint Programme – Neurodegenerative Disease Research (JPND). Additional funding was derived from the German Research Foundation (DFG) grant: RA 1971/6-1 to Alfredo Ramirez. Philip Rosenstiel is supported by the DFG (CCGA Sequencing Centre and DFG ExC2167 PMI and by SH state funds for COVID19 research). Florian Tran is supported by the Clinician Scientist Program of the Deutsche Forschungsgemeinschaft Cluster of Excellence “Precision Medicine in Chronic Inflammation” (EXC2167). Christoph Lange and Jan Heyckendorf are supported by the German Center for Infection Research (DZIF). Thorsen Brenner, Marc M Berger, Oliver Witzke und Anke Hinney are supported by the Stiftung Universitätsmedizin Essen. Marialbert Acosta-Herrera was supported by Juan de la Cierva Incorporacion program, grant IJC2018-035131-I funded by MCIN/AEI/10.13039/501100011033. Eva C Schulte is supported by the Deutsche Forschungsgemeinschaft (DFG; SCHU 2419/2-1).N

Effect of angiotensin-converting enzyme inhibitor and angiotensin receptor blocker initiation on organ support-free days in patients hospitalized with COVID-19

IMPORTANCE Overactivation of the renin-angiotensin system (RAS) may contribute to poor clinical outcomes in patients with COVID-19. Objective To determine whether angiotensin-converting enzyme (ACE) inhibitor or angiotensin receptor blocker (ARB) initiation improves outcomes in patients hospitalized for COVID-19. DESIGN, SETTING, AND PARTICIPANTS In an ongoing, adaptive platform randomized clinical trial, 721 critically ill and 58 non–critically ill hospitalized adults were randomized to receive an RAS inhibitor or control between March 16, 2021, and February 25, 2022, at 69 sites in 7 countries (final follow-up on June 1, 2022). INTERVENTIONS Patients were randomized to receive open-label initiation of an ACE inhibitor (n = 257), ARB (n = 248), ARB in combination with DMX-200 (a chemokine receptor-2 inhibitor; n = 10), or no RAS inhibitor (control; n = 264) for up to 10 days. MAIN OUTCOMES AND MEASURES The primary outcome was organ support–free days, a composite of hospital survival and days alive without cardiovascular or respiratory organ support through 21 days. The primary analysis was a bayesian cumulative logistic model. Odds ratios (ORs) greater than 1 represent improved outcomes. RESULTS On February 25, 2022, enrollment was discontinued due to safety concerns. Among 679 critically ill patients with available primary outcome data, the median age was 56 years and 239 participants (35.2%) were women. Median (IQR) organ support–free days among critically ill patients was 10 (–1 to 16) in the ACE inhibitor group (n = 231), 8 (–1 to 17) in the ARB group (n = 217), and 12 (0 to 17) in the control group (n = 231) (median adjusted odds ratios of 0.77 [95% bayesian credible interval, 0.58-1.06] for improvement for ACE inhibitor and 0.76 [95% credible interval, 0.56-1.05] for ARB compared with control). The posterior probabilities that ACE inhibitors and ARBs worsened organ support–free days compared with control were 94.9% and 95.4%, respectively. Hospital survival occurred in 166 of 231 critically ill participants (71.9%) in the ACE inhibitor group, 152 of 217 (70.0%) in the ARB group, and 182 of 231 (78.8%) in the control group (posterior probabilities that ACE inhibitor and ARB worsened hospital survival compared with control were 95.3% and 98.1%, respectively). CONCLUSIONS AND RELEVANCE In this trial, among critically ill adults with COVID-19, initiation of an ACE inhibitor or ARB did not improve, and likely worsened, clinical outcomes. TRIAL REGISTRATION ClinicalTrials.gov Identifier: NCT0273570

Measuring the interestingness of temporal logic behavioral specifications in process mining

The assessment of behavioral rules with respect to a given dataset is key in several research areas, including declarative process mining, association rule mining, and specification mining. An assessment is required to check how well a set of discovered rules describes the input data, and to determine to what extent data complies with predefined rules. Particularly in declarative process mining, Support and Confidence are used most often, yet they are reportedly unable to provide a sufficiently rich feedback to users and cause rules representing coincidental behavior to be deemed as representative for the event logs. In addition, these measures are designed to work on a predefined set of rules, thus lacking generality and extensibility. In this paper, we address this research gap by developing a measurement framework for temporal rules based on (LTLpf). The framework is suitable for any temporal rules expressed in a reactive form and for custom measures based on the probabilistic interpretation of such rules. We show that our framework can seamlessly adapt well-known measures of the association rule mining field to declarative process mining. Also, we test our software prototype implementing the framework on synthetic and real-world data, and investigate the properties characterizing those measures in the context of process analysis

Blockchain-based traceability of inter-organisational business processes

Blockchain technology opens up new opportunities for Business Process Management. This is mainly due to its unprecedented capability to let transactions be automatically executed and recorded by Smart Contracts in multi-peer environments, in a decentralised fashion and without central authoritative players to govern the workflow. In this way, blockchains also provide traceability. Traceability of information plays a pivotal role particularly in those supply chains where multiple parties are involved and rigorous criteria must be fulfilled to lead to a successful outcome. In this paper, we investigate how to run a business process in the context of a supply chain on a blockchain infrastructure so as to provide full traceability of its run-time enactment. Our approach retrieves information to trace process instances execution solely from the transactions written on-chain. To do so, hash-codes are reverse-engineered based on the Solidity Smart Contract encoding of the generating process. We show the results of our investigation by means of an implemented software prototype, with a case study on the reportedly challenging context of the pharmaceutical supply chain