Atif Mashkoor, Alexander Egyed,
"Evaluating the alignment of sequence diagrams with systembehavior"
: ISM 2020, 11-2020
Original Titel:
Evaluating the alignment of sequence diagrams with systembehavior
Sprache des Titels:
Englisch
Original Buchtitel:
ISM 2020
Original Kurzfassung:
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.