Documents SEFM 2010, 15/09/201011 Timed data-centric analysis of graphical business process models in Reo...

Slide 1SEFM 2010, 15/09/201011 Timed data-centric analysis of graphical business process models in Reo Natallia Kokash and Christian Krause Centrum Wiskunde & Informatica…

Documents Natallia Kokash (Accepted for PACO’2011) ACG, 31/05/2011 1 Input-output conformance testing for...

Natallia Kokash (Accepted for PACO’2011) ACG, 31/05/2011 * Input-output conformance testing for channel-based connectors * ACG, 31/05/2011 Agenda ACG, 31/05/2011 * Introduction…