Well-managed granularity and bounded context design were the main factors fostering evolution, while dependencies were the most common factors hindering evolution. In addition, the results of this ...

Abstract: This paper shows a method for translating UML sequence diagrams to Petri nets and verifying deadlockfreeness, reachability, safety and liveness properties by using a model checker. In this ...