Towards a flexible approach for understanding and comparing traces

Juliana Kuster Filipe Bowles

doi:10.1007/978-3-031-87217-4_6

Towards a flexible approach for understanding and comparing traces

Juliana Kuster Filipe Bowles^*

^*Corresponding author for this work

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

We assume given a set of behavioural models of computation (event structures) that can be extracted from specifications, processes, code and/or data depending on the application, and have labels containing additional information of interest (e.g., an integer variable representing a measure in the context of the computation). In this paper we present our vision towards a formal flexible approach to search for optimal traces of execution with respect to different parameters of interest (e.g., time, efficacy, cost and/or concurrency), enriched with a mechanism to understand the difference between (sub-optimal) traces and their formalisation as explanations. The underlying idea of the approach is to be generalisable and hence suited to tackle practical problems in a variety of domains from aerospace, automotive and automation industries, as well as systems and applications developed for healthcare. Our examples here come from a healthcare based context.

Original language	English
Title of host publication	From data to models and back
Subtitle of host publication	11th international symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, revised selected papers
Editors	Giovanna Broccia, Antonio Cerone
Place of Publication	Cham
Publisher	Springer
Pages	115–126
Number of pages	12
ISBN (Electronic)	9783031872174
ISBN (Print)	9783031872167
DOIs	https://doi.org/10.1007/978-3-031-87217-4_6
Publication status	Published - 2025
Event	11th International Symposium, DataMod 2023 - Eindhoven, Netherlands Duration: 6 Nov 2023 → 7 Nov 2023 Conference number: 11 https://datamod2023.github.io/

Publication series

Name	Lecture notes in computer science
Publisher	Springer
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	11th International Symposium, DataMod 2023
Abbreviated title	DataMod 2023
Country/Territory	Netherlands
City	Eindhoven
Period	6/11/23 → 7/11/23
Internet address	https://datamod2023.github.io/

Keywords

Event structures
Traces
Optimisation
SMT solvers

Access to Document

10.1007/978-3-031-87217-4_6

Bowles-2025-Towards-a-flexible-approach-DataMod2023-AAM-CCBY
Copyright © 2025 the Author. This work has been made available online in accordance with the University of St Andrews Open Access policy. This accepted manuscript is distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. The final published version of this work is available at https://doi.org/10.1007/978-3-031-87217-4_6.
Accepted author manuscript, 544 KB

Cite this

Kuster Filipe Bowles, J. (2025). Towards a flexible approach for understanding and comparing traces. In G. Broccia, & A. Cerone (Eds.), From data to models and back: 11th international symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, revised selected papers (pp. 115–126). (Lecture notes in computer science). Springer. https://doi.org/10.1007/978-3-031-87217-4_6

@inproceedings{3089ab4b565b4c809a2e06a689ee6168,

title = "Towards a flexible approach for understanding and comparing traces",

abstract = "We assume given a set of behavioural models of computation (event structures) that can be extracted from specifications, processes, code and/or data depending on the application, and have labels containing additional information of interest (e.g., an integer variable representing a measure in the context of the computation). In this paper we present our vision towards a formal flexible approach to search for optimal traces of execution with respect to different parameters of interest (e.g., time, efficacy, cost and/or concurrency), enriched with a mechanism to understand the difference between (sub-optimal) traces and their formalisation as explanations. The underlying idea of the approach is to be generalisable and hence suited to tackle practical problems in a variety of domains from aerospace, automotive and automation industries, as well as systems and applications developed for healthcare. Our examples here come from a healthcare based context.",

keywords = "Event structures, Traces, Optimisation, SMT solvers",

author = "\{Kuster Filipe Bowles\}, Juliana",

note = "Funding: This work has been supported by the Austrian Funding Council (FWF) under Meitner M 3338-N.; 11th International Symposium, DataMod 2023, DataMod 2023 ; Conference date: 06-11-2023 Through 07-11-2023",

year = "2025",

doi = "10.1007/978-3-031-87217-4\_6",

language = "English",

isbn = "9783031872167",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "115–126",

editor = "Giovanna Broccia and Antonio Cerone",

booktitle = "From data to models and back",

address = "Netherlands",

url = "https://datamod2023.github.io/",

}

Kuster Filipe Bowles, J 2025, Towards a flexible approach for understanding and comparing traces. in G Broccia & A Cerone (eds), From data to models and back: 11th international symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, revised selected papers. Lecture notes in computer science, Springer, Cham, pp. 115–126, 11th International Symposium, DataMod 2023, Eindhoven, Netherlands, 6/11/23. https://doi.org/10.1007/978-3-031-87217-4_6

Towards a flexible approach for understanding and comparing traces. / Kuster Filipe Bowles, Juliana.
From data to models and back: 11th international symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, revised selected papers. ed. / Giovanna Broccia; Antonio Cerone. Cham: Springer, 2025. p. 115–126 (Lecture notes in computer science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Towards a flexible approach for understanding and comparing traces

AU - Kuster Filipe Bowles, Juliana

N1 - Conference code: 11

PY - 2025

Y1 - 2025

N2 - We assume given a set of behavioural models of computation (event structures) that can be extracted from specifications, processes, code and/or data depending on the application, and have labels containing additional information of interest (e.g., an integer variable representing a measure in the context of the computation). In this paper we present our vision towards a formal flexible approach to search for optimal traces of execution with respect to different parameters of interest (e.g., time, efficacy, cost and/or concurrency), enriched with a mechanism to understand the difference between (sub-optimal) traces and their formalisation as explanations. The underlying idea of the approach is to be generalisable and hence suited to tackle practical problems in a variety of domains from aerospace, automotive and automation industries, as well as systems and applications developed for healthcare. Our examples here come from a healthcare based context.

AB - We assume given a set of behavioural models of computation (event structures) that can be extracted from specifications, processes, code and/or data depending on the application, and have labels containing additional information of interest (e.g., an integer variable representing a measure in the context of the computation). In this paper we present our vision towards a formal flexible approach to search for optimal traces of execution with respect to different parameters of interest (e.g., time, efficacy, cost and/or concurrency), enriched with a mechanism to understand the difference between (sub-optimal) traces and their formalisation as explanations. The underlying idea of the approach is to be generalisable and hence suited to tackle practical problems in a variety of domains from aerospace, automotive and automation industries, as well as systems and applications developed for healthcare. Our examples here come from a healthcare based context.

KW - Event structures

KW - Traces

KW - Optimisation

KW - SMT solvers

UR - https://www.scopus.com/pages/publications/105003859925

U2 - 10.1007/978-3-031-87217-4_6

DO - 10.1007/978-3-031-87217-4_6

M3 - Conference contribution

SN - 9783031872167

T3 - Lecture notes in computer science

SP - 115

EP - 126

BT - From data to models and back

A2 - Broccia, Giovanna

A2 - Cerone, Antonio

PB - Springer

CY - Cham

T2 - 11th International Symposium, DataMod 2023

Y2 - 6 November 2023 through 7 November 2023

ER -

Kuster Filipe Bowles J. Towards a flexible approach for understanding and comparing traces. In Broccia G, Cerone A, editors, From data to models and back: 11th international symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, revised selected papers. Cham: Springer. 2025. p. 115–126. (Lecture notes in computer science). Epub 2025 Apr 15. doi: 10.1007/978-3-031-87217-4_6

Towards a flexible approach for understanding and comparing traces

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this