loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Christoph Hilken 1 ; Jan Peleska 1 and Robert Wille 2

Affiliations: 1 University of Bremen, Germany ; 2 University of Bremen and DFKI GmbH, Germany

ISBN: 978-989-758-083-3

Keyword(s): SysML, State Machines, Transition Relation, Model Checking, Model-based Testing.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Languages, Tools and Architectures ; Methodologies, Processes and Platforms ; Model Transformation ; Model Transformations and Generative Approaches ; Model-Based Testing and Validation ; Model-Driven Software Development ; Models ; Paradigm Trends ; Reasoning about Models ; Software Engineering

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 notati on, 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. (More)

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.212.239.56

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.