The book is currently out of stock
Parameters
More about the book
Model transformations play a key role in automated software development processes, where the modern trend is directed towards specification of software with an abstract model and its step-wise transformation into code. It is important that the code meets the initial specification. Therefore, the question for a model transformation is whether the transformed model fulfills the behavioural properties of the initial model. In this thesis, a method is presented for proving that a specified model transformation is semantically correct in the sense that it preserves all behavioural properties of a source model.
Book purchase
Full semantics preservation in model transformation, Maria Semenyak
- Language
- Released
- 2012
We’ll notify you via email once we track it down.
Payment methods
- Title
- Full semantics preservation in model transformation
- Language
- English
- Authors
- Maria Semenyak
- Publisher
- Verl.-Haus Monsenstein und Vannerdat
- Released
- 2012
- ISBN10
- 3869915897
- ISBN13
- 9783869915890
- Series
- Edition Octopus
- Category
- Computers, IT, Programming
- Description
- Model transformations play a key role in automated software development processes, where the modern trend is directed towards specification of software with an abstract model and its step-wise transformation into code. It is important that the code meets the initial specification. Therefore, the question for a model transformation is whether the transformed model fulfills the behavioural properties of the initial model. In this thesis, a method is presented for proving that a specified model transformation is semantically correct in the sense that it preserves all behavioural properties of a source model.