|
Title:
|
LANGUAGE MODELING IN THE CONTEXT OF A MDE PROCESS |
|
Author(s):
|
Thanh Thanh Le Thi, Pierre Bazex |
|
ISBN:
|
978-972-8939-30-4 |
|
Editors:
|
Hans Weghorn, Pedro Isaías and Radu Vasiu |
|
Year:
|
2010 |
|
Edition:
|
Single |
|
Keywords:
|
Syntax, Semantics, Language modeling, UML/OCL, Incremental process, Code generation |
|
Type:
|
Short Paper |
|
First Page:
|
245 |
|
Last Page:
|
250 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
Generally, the components of critical systems have strict requirements since any mistake during operation may harm all related systems. In this context, it is important to guarantee that these components have required technical qualities and to insure that the intention of analyst in the system modeling step is well respected in the code generation phase. Therefore, we focused on modeling the languages syntax and its operational and axiomatic properties in UML/OCL to provide analysts/designers a clear and unambiguous definition of the target language. Moreover, we define an incremental process for the code generation with the well-defined target language as an intermediary step. This method provides analysts/designers a solution to verify and to prove at each step of the code generation phase that the application requirements have been well interpreted and taken into account. This research has been applied in the fields of aeronautics and space in the DOMINO ANR project (2007-2009). |
|
|
|
|
|
|
