main page



final papers

review process

editor guidelines

theme issues

special sections




SoSyM online


RWTH Aachen

SoSyM Awards

2017 The eight year most influential regular paper award

... was selected by the Editors-in-Chief from the regular papers which had the most influence within the last eight years (2009 incl. 2016).


Live Sequence Charts (LSC) extend Message Sequence Charts (MSC), mainly by distinguishing possible from necessary behavior. They thus enable the specification of rich multi-modal scenario-based properties, such as mandatory, possible and forbidden scenarios. The sequence diagrams of UML 2.0 enrich those of previous versions of UML by two new operators, assert and negate, for specifying required and forbidden behaviors, which appear to have been inspired by LSC. The UML 2.0 semantics of sequence diagrams, however, being based on pairs of valid and invalid sets of traces, is inadequate, and prevents the new operators from being used effectively.

We propose an extension of, and a different semantics for this UML language—Modal Sequence Diagrams (MSD)—based on the universal/existential modal semantics of LSC. In particular, in MSD assert and negate are really modalities, not operators. We define MSD as a UML 2.0 profile, thus paving the way to apply formal verification, synthesis, and scenario-based execution techniques from LSC to the mainstream UML standard.

... was selected by the Editors-in-Chief from the theme section papers which had the most influence within the last eight years (2009 incl. 2016).

2017 The eight year most influential theme section paper award



Traceability—the ability to follow the life of software artifacts—is a topic of great interest to software developers in general, and to requirements engineers and model-driven developers in particular. This article aims to bring those stakeholders together by providing an overview of the current state of traceability research and practice in both areas. As part of an extensive literature survey, we identify commonalities and differences in these areas and uncover several unresolved challenges which affect both domains. A good common foundation for further advances regarding these challenges appears to be a combination of the formal basis and the automated recording opportunities of MDD on the one hand, and the more holistic view of traceability in the requirements engineering domain on the other hand.

2017 Best paper awards

... go to the best six papers that have been published in the selection period July 2016 and June 2017 and have not been presented in any form before. Thus the papers in addition get the possibility to present the most important findings in the "SoSyM Journal-First papers"-session at the MODELS conference 2017.