Search Results

(Find other images)
ImageContained in Bundle
GameBus-app
Description: VM for testing the GameBus REST API and its Challenges and GameDescriptors.
PVG Collab
GameBus REST API on IntelliJ
Description: VM for testing the GameBus app
PVG Collab
GameBus REST API on IntelliJ v2 (PVG)
Description: VM for testing the GameBus app
PVG Collab
GameBus API for Sampo
Description: VM for testing the GameBus app/API
PVG Collab
ICGT 2015: BPMN 2.0 LTL Verifier GROOVE
Description: Related to ICGT 2015 paper by Kwantes et al.
PVG Collab
Windows 7
Description: Win7 on 50GB HD. Main user "SHARE" with password "admin".
PVG Collab
AD2SC (journal version)
Description: Demo related to the Journal paper of http://is.ieis.tue.nl/staff/pvgorp/research/#ad2sc
PVG Collab
GrGen based implementation of the BPMN 2.0 semantics
Description: Remco Dijkman and Pieter Van Gorp. BPMN 2.0 Execution Semantics Formalized as Graph Rewrite Rules. In J. Mendling, M. Weidlich (Eds.), Business Process Modeling Notation, Second International Workshop, BPMN 2010, Potsdam, Germany, October 2010. Lecture Notes in Business Information Processing, Vol. 67, pp. 16-30. Berlin: Springer. related screencasts
PVG Collab
GrGen based implementation of the BPMN 2.0 semantics (v2)
Description: Remco Dijkman and Pieter Van Gorp. BPMN 2.0 Execution Semantics Formalized as Graph Rewrite Rules. In J. Mendling, M. Weidlich (Eds.), Business Process Modeling Notation, Second International Workshop, BPMN 2010, Potsdam, Germany, October 2010. Lecture Notes in Business Information Processing, Vol. 67, pp. 16-30. Berlin: Springer. related screencasts

This SHARE demo also includes some artifacts related to Epsilon (Eugenia) and KIELER... to be continued!

PVG Collab
GrGen based implementation of the BPMN 2.0 semantics (v3)
Description: Remco Dijkman and Pieter Van Gorp. BPMN 2.0 Execution Semantics Formalized as Graph Rewrite Rules. In J. Mendling, M. Weidlich (Eds.), Business Process Modeling Notation, Second International Workshop, BPMN 2010, Potsdam, Germany, October 2010. Lecture Notes in Business Information Processing, Vol. 67, pp. 16-30. Berlin: Springer. related screencasts

This SHARE demo is related to the paper A visual token-based formalization of BPMN 2.0 based on in-place transformations.

PVG Collab
XP-TUe_BPMN_i_statecharts.vdi
Description: Remco Dijkman and Pieter Van Gorp. BPMN 2.0 Execution Semantics Formalized as Graph Rewrite Rules. In J. Mendling, M. Weidlich (Eds.), Business Process Modeling Notation, Second International Workshop, BPMN 2010, Potsdam, Germany, October 2010. Lecture Notes in Business Information Processing, Vol. 67, pp. 16-30. Berlin: Springer. related screencasts

This SHARE demo also includes some artifacts related to Epsilon (Eugenia) and KIELER... to be continued!

PVG Collab
AD2SC (journal version)
Description: Rik Eshuis and Pieter Van Gorp: activity diagrams to statecharts translation. Related to the journal paper "Synthesizing Object Life Cycles from Business Process Models" (under review).
PVG Collab
SHARE Logo