Evaluating the alignment of sequence diagrams with system behavior

Mashkoor, Atif; Egyed, Alexander

doi:10.1016/J.PROCS.2021.01.267

by Atif Mashkoor, Alexander Egyed

Abstract:

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.

View PDF

Reference:

Evaluating the alignment of sequence diagrams with system behavior (Atif Mashkoor, Alexander Egyed), (Francesco Longo, Michael Affenzeller, Antonio Padovano, eds.), Elsevier, volume 180, 2020.

Bibtex Entry:

@InProceedings{Mashkoor2020,
  author    = {Atif Mashkoor and Alexander Egyed},
  booktitle = {Proceedings of the 2nd International Conference on Industry 4.0 and Smart Manufacturing {(ISM} 2020), Virtual Event, Austria, 23-25 November 2020},
  title     = {Evaluating the alignment of sequence diagrams with system behavior},
  year      = {2020},
  editor    = {Francesco Longo and Michael Affenzeller and Antonio Padovano},
  pages     = {502--506},
  publisher = {Elsevier},
  series    = {Procedia Computer Science},
  volume    = {180},
  abstract  = {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.},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl    = {https://dblp.org/rec/conf/ism2/MashkoorE20.bib},
  doi       = {10.1016/J.PROCS.2021.01.267},
  timestamp = {Wed, 01 Dec 2021 12:24:25 +0100},
  url       = {https://doi.org/10.1016/j.procs.2021.01.267},
}