PragmaDev Process V1.2 Identifies Deadlocks in Business Processes
PragmaDev Process aims at verifying business process models described with BPMN (Business Process Model Notation). The new built-in property associated to its powerful exploration engine can automatically identify deadlocks in business processes.
PragmaDev Process V1.2 Identifies Deadlocks in Business Processes Read More »