A Unified Formulation of Behavioral Semantics for SysML Models

Christoph Hilken, Jan Peleska, Robert Wille

2015

Abstract

In order to cope with the complexity of today’s system designs, higher levels of abstraction are considered. Modeling languages such as SysML provide adequate description means for an abstract specification of the structure and the behavior of a system to be implemented. Due to its sufficient degree of formality, SysML additionally allows for performing several automated test and verification tasks. For these tasks, however, a formal encoding of the behavioral model semantics is required; this is typically achieved by generating initial state conditions as well as the transition relation from the model. Since SysML provides a multitude of alternative or complementary notations, this poses a significant challenge to the development of corresponding tool support. In this paper, we therefore propose an alternative approach to the generation of transition relations: In a first step, a model-to-model transformation is applied which unifies the behavioral descriptions into one single notation, namely operations allocated in blocks and specified by pre- and post-conditions. Afterwards, only pre- and post-conditions as well as some auxiliary constraints for fixing semantic variation points need to be considered when generating the transition relation. The approach presented here has been evaluated in the development of industrial tools supporting bounded model checking and model-based test generation.

Paper Citation

in Harvard Style

Hilken C., Peleska J. and Wille R. (2015). A Unified Formulation of Behavioral Semantics for SysML Models . In Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-083-3, pages 263-271. DOI: 10.5220/0005241602630271

in Bibtex Style

@conference{modelsward15,
author={Christoph Hilken and Jan Peleska and Robert Wille},
title={A Unified Formulation of Behavioral Semantics for SysML Models},
booktitle={Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2015},
pages={263-271},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005241602630271},
isbn={978-989-758-083-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - A Unified Formulation of Behavioral Semantics for SysML Models
SN - 978-989-758-083-3
AU - Hilken C.
AU - Peleska J.
AU - Wille R.
PY - 2015
SP - 263
EP - 271
DO - 10.5220/0005241602630271