Search Results
( Find other images)
| Image | Contained 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
|
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 |
|
|
|