loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Georgiana Caltais ; Stefan Leue and Hargurbir Singh

Affiliation: University of Konstanz, Germany

Keyword(s): Model Transformation, ATL, SysML, Promela, Correctness, Observational Equivalence.

Abstract: In this paper we discuss the correctness of an ATL-based model transformation from the systems engineering modelling language SysML into Promela, the input language of the SPIN model checker. More precisely, we reduce showing the correctness of the transformation to showing a notion of what we refer to as observational equivalence of the SysML and the generated Promela models, respectively. This paves the way to a proof technique that could be further exploited in order to argue the correctness of model transformations from SysML to various model checkers, based on the observable actions generated by the systems under analysis.

CC BY-NC-ND 4.0

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.97.9.169

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:
Caltais, G. ; Leue, S. and Singh, H. (2020). Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela. In Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - MODELSWARD; ISBN 978-989-758-400-8; ISSN 2184-4348, SciTePress, pages 360-372. DOI: 10.5220/0008968303600372

@conference{modelsward20,
author={Georgiana Caltais and Stefan Leue and Hargurbir Singh},
title={Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela},
booktitle={Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - MODELSWARD},
year={2020},
pages={360-372},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0008968303600372},
isbn={978-989-758-400-8},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela
SN - 978-989-758-400-8
IS - 2184-4348
AU - Caltais, G.
AU - Leue, S.
AU - Singh, H.
PY - 2020
SP - 360
EP - 372
DO - 10.5220/0008968303600372
PB - SciTePress