search

eMoflon / benchmarx

Infrastructure for implementing benchmarx: benchmarks for bidirectional transformation (bx) tools. Also contains a collection of example benchmarx and test runners for various and diverse bx tools.
GNU General Public License v3.0
9 stars 12 forks source link

End of a synchronization dialogue #37

Closed georghinkel closed 7 years ago

georghinkel commented 7 years ago

While the paper suggests that the assertion of a post-condition is the last item in every synchronization dialogue, there are actually tests such as IncrementalForward/testStability that have multiple post-condition assertions.

NMF has to use a co-program approach and I therefore, I need to know when a synchronization dialogue is complete and I can exit the program, otherwise it is going to run endlessly. So how can I find out that a synchronization dialogue has ended?

anthonyanjorin commented 7 years ago

That's a good point.

@tbuchmann: Should we add an extra method terminateSynchronisationDialogue() in the tool interface, which we promise to invoke to signify the end of every dialogue?

tbuchmann commented 7 years ago

@anthonyanjorin : Yes i think this would be a good idea.

anthonyanjorin commented 7 years ago

Ok I'll do that and push the changes today or tomorrow. @georghinkel You can then assume that every dialogue starts with an init and ends with a terminate.