Giorgio Oronzo Spagnolo
Research Subjects
Giorgio Oronzo Spagnolo has a total of 60 co-authors. Here are the top co-authors by number of shared publications:
- Alessio Ferrari
University College Dublin (UCD) Ireland
15 shared publications - Stefania Gnesi
CNR-ISTI
6 shared publications - Franco Mazzanti
ISTI-CNR, Pisa, Italy
4 shared publications - Eda Marchetti
Istituto di Scienza e Tecnologie dell’Informazione (ISTI), Consiglio Nazionale Delle Ricerche (CNR), 56124 Pisa, Italy
3 shared publications - Maurice H. ter Beek
CNR–ISTI
3 shared publications - Roberto Bruni
University of Pisa, Pisa, Italy
3 shared publications
Latest Publications
- 6 February 2026
- Published by Springer Nature
- p. 31-54
Formal Methods for Railway Systems: A Survey of Research and Technology Transfer Projects
- 6 February 2026
- Published by Springer Nature
- p. 31-54
Formal Methods for Railway Systems: A Survey of Research and Technology Transfer Projects
- Open Access
- 16 December 2024
- Published by MDPI AG in European Journal of Investigation in Health, Psychology and Education
- Vol. 14 (12) , 3073-3086
Understanding the Second Victim Phenomenon Among Healthcare Workers in an Italian Hospital
Second victim syndrome (SVS) refers to the psychological trauma experienced by healthcare workers (HCWs) as a result of being involved in an adverse event (AE). Research on the prevalence of SVS and the support needed for HCWs who experience it is limited. A cross-sectional study was conducted at the Health Local Unit of Lecce, in Puglia, to identify the phenomenon of SVS among HCWs and recognize the forms of support received and desired. A validated questionnaire, IT-SVEST, was administered to doctors and nurses. The survey received responses from 250 HCWs, and 41% of respondents reported being involved in an AE that could cause SVS. Among the seven dimensions measuring the effects of the SVS and two outcome variables, the highest percentage of agreement was found for psychological distress (23.5%), followed by turnover intentions (19.8%) and physical distress (9.9%); 23.8% of the interviewees declared that they did not receive institutional support, and 9.9% identified help resources mostly in non-work-related support (9.9%), followed by supervisor support (9.3%). The multivariable binary logistic regression analysis showed a positive association between the occurrence of an AE and the medical doctor profession (OR = 4.267, p ≤ 0.0001), and affiliation to intensive care departments (OR = 5.133, p ≤ 0.0001) and male gender (OR = 2.069, p = 0.033). SVS is a serious problem that affects the entire health system, systematic surveys and appropriate institutional responses including formal support programs for affected HCWs are a priority.
- 16 December 2024
- Published by MDPI AG in European Journal of Investigation in Health, Psychology and Education
- Vol. 14 (12) , 3073-3086
Open AccessUnderstanding the Second Victim Phenomenon Among Healthcare Workers in an Italian Hospital
Second victim syndrome (SVS) refers to the psychological trauma experienced by healthcare workers (HCWs) as a result of being involved in an adverse event (AE). Research on the prevalence of SVS and the support needed for HCWs who experience it is limited. A cross-sectional study was conducted at the Health Local Unit of Lecce, in Puglia, to identify the phenomenon of SVS among HCWs and recognize the forms of support received and desired. A validated questionnaire, IT-SVEST, was administered to doctors and nurses. The survey received responses from 250 HCWs, and 41% of respondents reported being involved in an AE that could cause SVS. Among the seven dimensions measuring the effects of the SVS and two outcome variables, the highest percentage of agreement was found for psychological distress (23.5%), followed by turnover intentions (19.8%) and physical distress (9.9%); 23.8% of the interviewees declared that they did not receive institutional support, and 9.9% identified help resources mostly in non-work-related support (9.9%), followed by supervisor support (9.3%). The multivariable binary logistic regression analysis showed a positive association between the occurrence of an AE and the medical doctor profession (OR = 4.267, p ≤ 0.0001), and affiliation to intensive care departments (OR = 5.133, p ≤ 0.0001) and male gender (OR = 2.069, p = 0.033). SVS is a serious problem that affects the entire health system, systematic surveys and appropriate institutional responses including formal support programs for affected HCWs are a priority.
- 29 October 2020
- Published by Springer Nature
- p. 368-384
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC
- 29 October 2020
- Published by Springer Nature
- p. 368-384
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC
- 8 March 2018
- Published by Springer Nature in International Journal on Software Tools for Technology Transfer
- Vol. 20 (3) , 263-288
Towards formal methods diversity in railways: an experience report with seven frameworks
- 8 March 2018
- Published by Springer Nature in International Journal on Software Tools for Technology Transfer
- Vol. 20 (3) , 263-288
Towards formal methods diversity in railways: an experience report with seven frameworks
- 2 February 2018
- Published by Emerald Publishing in Business Process Management Journal
- Vol. 24 (1) , 49-66
Improving the quality of business process descriptions of public administrations
Purpose: Business processes (BPs) of public administrations (PAs) are often described in the form of written procedures or operational manuals. These business process descriptions are expected to be properly understood and applied by civil servants, who have to provide legally compliant service provisions to the citizens. However, process descriptions in the PA are sometimes hard to read, ambiguous, or vague, leading to false interpretations or even incorrect execution of the processes. The purpose of this paper is to focus on improving the descriptions of BPs to be used in PAs. Design/methodology/approach: To this end, the authors present an in-depth domain analysis, including a literature review and interviews with PA stakeholders belonging to different realities. From this analysis, the authors identified a set of 52 typical defects of process descriptions. Findings: The authors provide a set of guidelines and a template to constrain the definition of these documents and to mitigate the identified defects. Furthermore, the authors outline research challenges in the field of quality assessment of textual process descriptions for the PA. Research limitations/implications: This paper addresses the needs of any PA officer who has to write an official procedure or operational manual, and should be studied by researchers who wish to provide automatic strategies to check the quality of these documents. Originality/value: Text quality issues have been addressed in various fields (e.g. requirements engineering), but not in the area of BP descriptions of PAs. The contribution consists in the study of the quality issues that occur and create problems in the practice of this particular domain. Based on this insight, we provide directions for research that will find solutions to mitigate the issues.
- 2 February 2018
- Published by Emerald Publishing in Business Process Management Journal
- Vol. 24 (1) , 49-66
Improving the quality of business process descriptions of public administrations
Purpose: Business processes (BPs) of public administrations (PAs) are often described in the form of written procedures or operational manuals. These business process descriptions are expected to be properly understood and applied by civil servants, who have to provide legally compliant service provisions to the citizens. However, process descriptions in the PA are sometimes hard to read, ambiguous, or vague, leading to false interpretations or even incorrect execution of the processes. The purpose of this paper is to focus on improving the descriptions of BPs to be used in PAs. Design/methodology/approach: To this end, the authors present an in-depth domain analysis, including a literature review and interviews with PA stakeholders belonging to different realities. From this analysis, the authors identified a set of 52 typical defects of process descriptions. Findings: The authors provide a set of guidelines and a template to constrain the definition of these documents and to mitigate the identified defects. Furthermore, the authors outline research challenges in the field of quality assessment of textual process descriptions for the PA. Research limitations/implications: This paper addresses the needs of any PA officer who has to write an official procedure or operational manual, and should be studied by researchers who wish to provide automatic strategies to check the quality of these documents. Originality/value: Text quality issues have been addressed in various fields (e.g. requirements engineering), but not in the area of BP descriptions of PAs. The contribution consists in the study of the quality issues that occur and create problems in the practice of this particular domain. Based on this insight, we provide directions for research that will find solutions to mitigate the issues.
- 1 January 2018
- Published by Elsevier in Data & Knowledge Engineering
- Vol. 113, 129-154
A Guidelines framework for understandable BPMN models
- 1 January 2018
- Published by Elsevier in Data & Knowledge Engineering
- Vol. 113, 129-154
A Guidelines framework for understandable BPMN models
- Top Cited Papers
- 1 September 2017
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 502-505
PURE: A Dataset of Public Requirements Documents
This paper presents PURE (PUblic REquirements dataset), a dataset of 79 publicly available natural language requirements documents collected from the Web. The dataset includes 34,268 sentences and can be used for natural language processing tasks that are typical in requirements engineering, such as model synthesis, abstraction identification and document structure assessment. It can be further annotated to work as a benchmark for other tasks, such as ambiguity detection, requirements categorisation and identification of equivalent re-quirements. In the paper, we present the dataset and we compare its language with generic English texts, showing the peculiarities of the requirements jargon, made of a restricted vocabulary of domain-specific acronyms and words, and long sentences. We also present the common XML format to which we have manually ported a subset of the documents, with the goal of facilitating replication of NLP experiments.
- 1 September 2017
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 502-505
Top Cited PapersPURE: A Dataset of Public Requirements Documents
This paper presents PURE (PUblic REquirements dataset), a dataset of 79 publicly available natural language requirements documents collected from the Web. The dataset includes 34,268 sentences and can be used for natural language processing tasks that are typical in requirements engineering, such as model synthesis, abstraction identification and document structure assessment. It can be further annotated to work as a benchmark for other tasks, such as ambiguity detection, requirements categorisation and identification of equivalent re-quirements. In the paper, we present the dataset and we compare its language with generic English texts, showing the peculiarities of the requirements jargon, made of a restricted vocabulary of domain-specific acronyms and words, and long sentences. We also present the common XML format to which we have manually ported a subset of the documents, with the goal of facilitating replication of NLP experiments.
- 12 November 2016
- Published by Springer Nature
- p. 175-187
Towards the Automation of the Travel Management Procedure of an Italian Public Administration
- 12 November 2016
- Published by Springer Nature
- p. 175-187
Towards the Automation of the Travel Management Procedure of an Italian Public Administration
- 5 October 2016
- Published by Springer Nature
- p. 297-314
Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System
- 5 October 2016
- Published by Springer Nature
- p. 297-314
Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System