search

spirali / kaira

Main repository of project Kaira
http://verif.cs.vsb.cz/kaira
GNU General Public License v3.0
5 stars 8 forks source link

Grouping sources in tools (tracelog postprocessing) #18

Open msurkovsky opened 9 years ago

msurkovsky commented 9 years ago

Add a possibility to group the sources in tools. When a user starts working with a bigger number of sources, having a possibility to making groups could be very useful. For example, operations returning more than one source could group them automatically.

spirali commented 9 years ago

Just out of curiosity, it is solved somehow in ProM?

spirali commented 9 years ago

Btw: We should also develop a better terminology; "sources" and "tools" are quite generic words:)

msurkovsky commented 9 years ago

add 1), I'm not sure about that, but I find it out soon. I've come across this problem during my work on trace log generator for ProM. My use case is a situation when you want to generate all possible trace logs from state space. In this case, I'd like to work with those as with a one bunch.

add 2), Yes, I agree with this ;-).