Formal Model-Driven Engineering: Generating Data and Behavioural Components
Model-driven engineering is the automatic production of software artefacts from abstract models of structure and functionality. By targeting a specific class of system, it is possible to automate aspects of the development process, using model transformations and code generators that encode domain k...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2012-12-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1301.0044v1 |
| _version_ | 1818952023400251392 |
|---|---|
| author | Chen-Wei Wang Jim Davies |
| author_facet | Chen-Wei Wang Jim Davies |
| author_sort | Chen-Wei Wang |
| collection | DOAJ |
| description | Model-driven engineering is the automatic production of software artefacts from abstract models of structure and functionality. By targeting a specific class of system, it is possible to automate aspects of the development process, using model transformations and code generators that encode domain knowledge and implementation strategies. Using this approach, questions of correctness for a complex, software system may be answered through analysis of abstract models of lower complexity, under the assumption that the transformations and generators employed are themselves correct. This paper shows how formal techniques can be used to establish the correctness of model transformations used in the generation of software components from precise object models. The source language is based upon existing, formal techniques; the target language is the widely-used SQL notation for database programming. Correctness is established by giving comparable, relational semantics to both languages, and checking that the transformations are semantics-preserving. |
| first_indexed | 2024-12-20T09:43:47Z |
| format | Article |
| id | doaj.art-16b464743a0447f7a9bf12a7ac6b4673 |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-12-20T09:43:47Z |
| publishDate | 2012-12-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-16b464743a0447f7a9bf12a7ac6b46732022-12-21T19:44:48ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802012-12-01105Proc. FTSCS 201210011710.4204/EPTCS.105.8Formal Model-Driven Engineering: Generating Data and Behavioural ComponentsChen-Wei WangJim DaviesModel-driven engineering is the automatic production of software artefacts from abstract models of structure and functionality. By targeting a specific class of system, it is possible to automate aspects of the development process, using model transformations and code generators that encode domain knowledge and implementation strategies. Using this approach, questions of correctness for a complex, software system may be answered through analysis of abstract models of lower complexity, under the assumption that the transformations and generators employed are themselves correct. This paper shows how formal techniques can be used to establish the correctness of model transformations used in the generation of software components from precise object models. The source language is based upon existing, formal techniques; the target language is the widely-used SQL notation for database programming. Correctness is established by giving comparable, relational semantics to both languages, and checking that the transformations are semantics-preserving.http://arxiv.org/pdf/1301.0044v1 |
| spellingShingle | Chen-Wei Wang Jim Davies Formal Model-Driven Engineering: Generating Data and Behavioural Components Electronic Proceedings in Theoretical Computer Science |
| title | Formal Model-Driven Engineering: Generating Data and Behavioural Components |
| title_full | Formal Model-Driven Engineering: Generating Data and Behavioural Components |
| title_fullStr | Formal Model-Driven Engineering: Generating Data and Behavioural Components |
| title_full_unstemmed | Formal Model-Driven Engineering: Generating Data and Behavioural Components |
| title_short | Formal Model-Driven Engineering: Generating Data and Behavioural Components |
| title_sort | formal model driven engineering generating data and behavioural components |
| url | http://arxiv.org/pdf/1301.0044v1 |
| work_keys_str_mv | AT chenweiwang formalmodeldrivenengineeringgeneratingdataandbehaviouralcomponents AT jimdavies formalmodeldrivenengineeringgeneratingdataandbehaviouralcomponents |