Evaluating the alignment of sequence diagrams with system behavior
Atif Mashkoor, Alexander F. Egyed · Procedia Computer Science · 2021
In model-driven engineering, sequence diagrams are commonly used to describe a system’s expected behavior in different scenarios. Indeed, the information flow described in sequence diagrams should actually take place during a real execution of the system in order to ensure its safety, security and correctness. If it does not, this may lead to serious consequences. In this short paper, we present a novel generic approach for addressing this issue by observing the live execution of a system and checking whether the exhibited information flow correctly follows what has been specified in sequence diagrams.