Mots-clés
modeling
process
choreographies
asynchronous
icsoc
bpmn
web
signavio
oryx
nets
petri
verification
formal
choreography
bpel
geschäftsprozesse
prozessmodellierung
verfeinerung
roundtripping
Tout plus
Présentations
(4)Mots-clés
modeling
process
choreographies
asynchronous
icsoc
bpmn
web
signavio
oryx
nets
petri
verification
formal
choreography
bpel
geschäftsprozesse
prozessmodellierung
verfeinerung
roundtripping
Tout plus