Evaluating the alignment of sequence diagrams with systembehavior
Sprache des Titels:
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 inorder to ensure its safety, security and correctness. If it does not, this may lead to serious consequences. In this short paper, wepresent a novel generic approach for addressing this issue by observing the live execution of a system and checking whether theexhibited information flow correctly follows what has been specified in sequence diagrams.