TY - GEN
T1 - Applying model transformation and Event-B for specifying an industrial DSL
AU - Tikhonova, U.
AU - Manders, M.W.
AU - Brand, van den, M.G.J.
AU - Andova, S.
AU - Verhoeff, T.
PY - 2013
Y1 - 2013
N2 - In this paper we describe our experience in applying the Event-B formalism for specifying the dynamic semantics of a real-life industrial DSL. The main objective of this work is to enable the industrial use of the broad spectrum of specification analysis tools that support Event-B. To leverage the usage of Event-B and its analysis techniques we developed model transformations, that allowed for automatic generation of Event-B specifications of the DSL programs. The model transformations implement a modular approach for specifying the semantics of the DSL and, therefore, improve scalability of the specifications and the reuse of their verification.
Keywords: domain specific language, Event-B, model transformations, verification and validation, reuse, scalability
AB - In this paper we describe our experience in applying the Event-B formalism for specifying the dynamic semantics of a real-life industrial DSL. The main objective of this work is to enable the industrial use of the broad spectrum of specification analysis tools that support Event-B. To leverage the usage of Event-B and its analysis techniques we developed model transformations, that allowed for automatic generation of Event-B specifications of the DSL programs. The model transformations implement a modular approach for specifying the semantics of the DSL and, therefore, improve scalability of the specifications and the reuse of their verification.
Keywords: domain specific language, Event-B, model transformations, verification and validation, reuse, scalability
M3 - Conference contribution
T3 - CEUR Workshop Proceedings
SP - 41
EP - 50
BT - MoDeVVa 2013 : Workshop on Model Driven Engineering, Verification and Validation : Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation co-located with 16th International Conference on Model Driven Engineering Miami, Florida, October 1st, 2013
A2 - Boulanger, F.
A2 - Famelis, M.
A2 - Ratiu, D.
PB - CEUR-WS.org
T2 - 10th International Workshop on Model Driven Engineering, Verification and Validation
Y2 - 1 October 2013 through 1 October 2013
ER -