TY  - GEN
AB  - We work towards a vocabulary to represent processes and temporal logic specifications as graph-structured data. Different fields use incompatible terminologies for describing essentially the same process-related concepts. In addition, processes can be represented from different perspectives and levels of abstraction: both state-centric and event-centric perspectives offer distinct insights into the underlying processes. In this work, we strive to unify the representation of processes and related concepts by leveraging the power of knowledge graphs. We survey approaches to representing processes and reasoning with process descriptions from different fields and provide a selection of scenarios to help inform the scope of a unified representation of processes. We focus on processes that can be executed and observed via web interfaces. We propose to provide a representation designed to combine state-centric and event-centric perspectives while incorporating temporal querying and reasoning capabilities on temporal logic specifications. A standardised vocabulary and representation for processes and temporal specifications would contribute towards bridging the gap between the terminologies from different fields and fostering the broader application of methods involving temporal logics, such as formal verification and program synthesis.
AD  - Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany ; Fraunhofer Institute for Integrated Circuits IIS, Nürnberg, Germany
AD  - Karlsruhe Institute of Technology (KIT), Germany
AD  - University of Brescia, Italy
AD  - School of Management, HES-SO University of Applied Sciences and Arts Western Switzerland Valais ; The Sense Innovation and Research Center, Lausanne, Switzerland
AD  - University of Oslo, Norway
AD  - University of Oslo, Norway
AU  - Harth, Andreas
AU  - Käfer, Tobias
AU  - Rula, Anisa
AU  - Calbimonte, Jean-Paul
AU  - Kamburjan, Eduard
AU  - Giese, Martin
CY  - Germany
DA  - 2024-05
DO  - 10.4230/tgdk.2.1.1
DO  - DOI
EP  - 1:1–1:32
ID  - 14344
JF  - Transactions on Graph Data and Knowledge (TGDK)
KW  - Economie/gestion
KW  - Informatique
KW  - process modelling
KW  - rocess ontology
KW  - temporal logic
KW  - web services
L1  - https://arodes.hes-so.ch/record/14344/files/Calbimonte_2024_Towards_representing_process.pdf
L2  - https://arodes.hes-so.ch/record/14344/files/Calbimonte_2024_Towards_representing_process.pdf
L4  - https://arodes.hes-so.ch/record/14344/files/Calbimonte_2024_Towards_representing_process.pdf
LA  - eng
LK  - https://arodes.hes-so.ch/record/14344/files/Calbimonte_2024_Towards_representing_process.pdf
N2  - We work towards a vocabulary to represent processes and temporal logic specifications as graph-structured data. Different fields use incompatible terminologies for describing essentially the same process-related concepts. In addition, processes can be represented from different perspectives and levels of abstraction: both state-centric and event-centric perspectives offer distinct insights into the underlying processes. In this work, we strive to unify the representation of processes and related concepts by leveraging the power of knowledge graphs. We survey approaches to representing processes and reasoning with process descriptions from different fields and provide a selection of scenarios to help inform the scope of a unified representation of processes. We focus on processes that can be executed and observed via web interfaces. We propose to provide a representation designed to combine state-centric and event-centric perspectives while incorporating temporal querying and reasoning capabilities on temporal logic specifications. A standardised vocabulary and representation for processes and temporal specifications would contribute towards bridging the gap between the terminologies from different fields and fostering the broader application of methods involving temporal logics, such as formal verification and program synthesis.
PB  - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
PP  - Germany
PY  - 2024-05
SN  - 2942-7517
SP  - 1:1–1:32
T1  - Towards representing processes and reasoning with process descriptions on the web
TI  - Towards representing processes and reasoning with process descriptions on the web
UR  - https://arodes.hes-so.ch/record/14344/files/Calbimonte_2024_Towards_representing_process.pdf
VL  - 2024, 2
Y1  - 2024-05
ER  -