search

lesunb / CRGMToPRISM

In a nutshell, GODA (Goal-Oriented Dependability Analysis) is a framework for verification of goal models through probabilistic model checking, where contextual goal models are translated into PRISM and PARAM languages.
2 stars 6 forks source link

Goals with names that don't follow the defined patterns cause problemas in PRISM model generations #6

Open gabrielsr opened 9 years ago

gabrielsr commented 9 years ago

How should bad named goals be handled?

Even if a pattern are not visible in the model but present it causes the following error.

Stracktrace java.lang.NullPointerException at br.unb.cic.rtgoretoprism.model.kl.RTContainer.compareTo(RTContainer.java:361) at br.unb.cic.rtgoretoprism.model.kl.RTContainer.compareTo(RTContainer.java:1) at java.util.ComparableTimSort.countRunAndMakeAscending(ComparableTimSort.java:316) at java.util.ComparableTimSort.sort(ComparableTimSort.java:184) at java.util.Arrays.sort(Arrays.java:1246) at java.util.Arrays.sort(Arrays.java:1433) at java.util.List.sort(List.java:478)

danilomendonca commented 8 years ago

Good question. We may present a message informing the user of the malformated goal/task name.

Further improvements on how the framework deals with goals ids are welcome!