RT @NiekTax: @hillelogram Verification of process models (BPMN or other) has been an active area of research for quite a while now. There a…
279 followers
972 followers
@hillelogram There's much more that builds on this branching-time theory for modeling and verifying component behavior and composition: - subsituting valid substituations of one component by another https://t.co/YkZXdKBl9T - repairing ill-defined component
377 followers
@hillelogram Verification of process models (BPMN or other) has been an active area of research for quite a while now. There are many papers and tools. Just two examples: https://t.co/RPsyFxUL4v https://t.co/xKpFjW8O6f
122 followers
RT @wvdaalst: #bpm2017 Runner-Up Test of Time Award for Jussi Vanhatalo, Hagen Völzer & Jana Koehler https://t.co/f2C00NJ5aC @BPMConf Cong…