On the Use of Graph Transformation in the Formal Specification of Model Interpreters
| dc.creator | Karsai,Gabor | |
| dc.creator | Agrawal,Aditya | |
| dc.creator | Shi,Feng | |
| dc.creator | Sprinkle,Jonathan | |
| dc.date | 2003 | |
| dc.date.accessioned | 2024-02-06T12:52:38Z | |
| dc.date.available | 2024-02-06T12:52:38Z | |
| dc.description | Model-based development necessitates the transformation of models between different stages and tools of the design process. These transformations must be precisely, preferably formally, specified, such that end-to-end semantic interoperability is maintained. The paper introduces a graph-transformation-based technique for specifying these model transformations, gives a formal definition for the semantics of the transformation language, describes an implementation of the language, and illustrates its use through an example. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-009-11-1296 | |
| dc.identifier | https://lib.jucs.org/article/28133/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/8437 | |
| dc.language | en | |
| dc.publisher | Journal of Universal Computer Science | |
| dc.relation | info:eu-repo/semantics/altIdentifier/eissn/0948-6968 | |
| dc.relation | info:eu-repo/semantics/altIdentifier/pissn/0948-695X | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | J.UCS License | |
| dc.source | JUCS - Journal of Universal Computer Science 9(11): 1296-1321 | |
| dc.subject | graph grammars | |
| dc.subject | graph transformations | |
| dc.subject | model-integrated computing | |
| dc.subject | domain-specific modeling languages | |
| dc.subject | model-driven architecture | |
| dc.subject | formal specifications | |
| dc.title | On the Use of Graph Transformation in the Formal Specification of Model Interpreters | |
| dc.type | Research Article |