000014344 001__ 14344
000014344 005__ 20250219153719.0
000014344 022__ $$a2942-7517
000014344 0247_ $$2DOI$$a10.4230/tgdk.2.1.1
000014344 037__ $$aARTICLE
000014344 039_9 $$a2025-02-19 15:37:19$$b1000189$$c2024-11-22 13:32:52$$d0$$c2024-11-21 14:37:50$$d1000189$$c2024-05-29 11:27:54$$d0$$y2024-05-29 11:27:45$$z1001805
000014344 041__ $$aeng
000014344 245__ $$aTowards representing processes and reasoning with process descriptions on the web
000014344 260__ $$aGermany$$bSchloss Dagstuhl – Leibniz-Zentrum für Informatik
000014344 269__ $$a2024-05
000014344 300__ $$a32 p.
000014344 506__ $$avisible
000014344 520__ $$9eng$$aWe 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.
000014344 540__ $$acorrect
000014344 592__ $$aHEG-VS
000014344 592__ $$bInstitut Informatique de gestion
000014344 592__ $$cEconomie et Services
000014344 65017 $$aEconomie/gestion
000014344 65017 $$aInformatique
000014344 6531_ $$9eng$$aprocess modelling
000014344 6531_ $$9eng$$arocess ontology
000014344 6531_ $$9eng$$atemporal logic
000014344 6531_ $$9eng$$aweb services
000014344 655__ $$ascientifique
000014344 700__ $$aHarth, Andreas$$uFriedrich-Alexander-Universität Erlangen-Nürnberg, Germany ; Fraunhofer Institute for Integrated Circuits IIS, Nürnberg, Germany
000014344 700__ $$aKäfer, Tobias$$uKarlsruhe Institute of Technology (KIT), Germany
000014344 700__ $$aRula, Anisa$$uUniversity of Brescia, Italy
000014344 700__ $$aCalbimonte, Jean-Paul$$uSchool of Management, HES-SO University of Applied Sciences and Arts Western Switzerland Valais ; The Sense Innovation and Research Center, Lausanne, Switzerland
000014344 700__ $$aKamburjan, Eduard$$uUniversity of Oslo, Norway
000014344 700__ $$aGiese, Martin$$uUniversity of Oslo, Norway
000014344 773__ $$tTransactions on Graph Data and Knowledge (TGDK)$$j2024, 2$$k1$$q1:1–1:32
000014344 8564_ $$yPublished version$$905dd3517-6a5a-407d-9e8b-4d6e2f0229b5$$s922445$$uhttps://arodes.hes-so.ch/record/14344/files/Calbimonte_2024_Towards_representing_process.pdf
000014344 906__ $$aGOLD
000014344 909CO $$ooai:hesso.tind.io:14344$$pECONOMIESERVICES_ALL$$pGLOBAL_SET
000014344 950__ $$aI2
000014344 980__ $$ascientifique
000014344 981__ $$ascientifique