Interleaving Isotactics – An Equivalence Notion on Behaviour Abstractions
A Polyvyanyy, J Sürmeli, M Weidlich
Theoretical Computer Science | Elsevier | Published : 2018
We study the equivalence of models that capture the behaviour of systems, such as process-oriented information systems. We focus on models that are not related by a bijection over their actions, but by an alignment between sets of their actions. For this setting, we propose interleaving isotactics as an equivalence notion based on abstractions that are induced by the alignment. We demonstrate that this notion is grounded in trace equivalence, provide a temporal logic characterisation of the properties it preserves, prove decidability of the respective veriﬁcation problems, and present an implementation of a decision procedure for the equivalence notion.
Awarded by Australian Research Council
Awarded by Universities Australia and German Academic Exchange Service
We are grateful for the support by the Universities Australia (UA) and the German Academic Exchange Service (DAAD) as part of the Joint Research Co-operation Scheme (UA-DAAD 2016-2017 project entitled "The foundations of alignments of process models"). Artem Polyvyanyy was partly supported by the Australian Research Council Discovery Project DP180102839. We further would like to thank Frank Lange and Sebastian Misch for their work on the implementation of the isotactics decision procedure.