Now showing items 1-1 of 1

  • Tool for the Verification of BPMN Models Based on Anti-patterns 

    Orsi, Maximiliano; Roa, Jorge (2015)
    The verification of the behavior of business process models is an important requirement for Business Process Management. In this work, a verification tool based on behavioral anti-patterns for the verification of BPMN ...