@book{
 id = {e65c5faf-5e2f-32d4-af44-2d0b6b5e00d4},
 title = {Models in Software Engineering},
 type = {book},
 year = {2009},
 source = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
 identifiers = {[object Object]},
 created = {2014-11-04T17:17:29.000Z},
 pages = {124-137},
 volume = {6627},
 websites = {http://www.scopus.com/inward/record.url?eid=2-s2.0-67650142274&partnerID=tZOtx3y1,http://www.springerlink.com/index/10.1007/978-3-642-21210-9,http://link.springer.com/10.1007/978-3-642-12261-3,http://www.springerlink.com/index/10.1007/978-3-642-29645-1,http://www.springerlink.com/index/10.1007/978-3-642-01648-6,http://www.scopus.com/inward/record.url?eid=2-s2.0-47749114630&partnerID=tZOtx3y1},
 publisher = {Springer Berlin Heidelberg},
 city = {Berlin, Heidelberg},
 series = {Lecture Notes in Computer Science},
 editors = {[object Object]},
 accessed = {2014-10-29},
 file_attached = {false},
 profile_id = {6b46cd49-f8a1-3799-91ac-6861cf9a050e},
 group_id = {f76fdab6-f3b3-324f-8ded-1f7ff6220077},
 last_modified = {2014-11-24T16:19:34.000Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 abstract = {Triple Graph Grammars (TGGs) tend to be a promising approach for explaining relationships between models in general, and model co-evolution and model consistency within model-driven development in particular. Declarative TGG descriptions can be translated into operational scenarios for model integration, model synchronization, and model transformation. To realize such scenarios, restrictions formulated with the Object Constraint Language (OCL) are an important factor. How to integrate TGGs and OCL is a topic of ongoing research activities. There are strong similarities between the result of such an integration and the Queries, Views and Transformations (QVT) standard of the Object Management Group (OMG). We propose a language for this integration: One part of this language has a one-one mapping to TGGs and the remaining part covers OCL concepts. The language is realized in our tool UML-based Specifcation Environment (USE) by taking two views on operations derived from TGG rules: Declarative OCL pre- and postconditions are employed as operation contracts, and imperative command sequences are taken as an operational realization. USE o.ers full OCL support for restricting models and meta models with invariants, for checking pre- and postconditions of operations as well as for validating and animating transformation operations. Our approach covers a complete realization of TGGs incorporating OCL within our tool USE.},
 bibtype = {book},
 author = {Weisemöller, Ingo and Schürr, Andy and Dang, Duc Hanh and Gogolla, Martin}
}

{"_id":"XDp4ZembSN4QqCcA3","bibbaseid":"weisemller-schrr-dang-gogolla-modelsinsoftwareengineering-2009","downloads":0,"creationDate":"2015-03-19T12:05:46.126Z","title":"Models in Software Engineering","author_short":["Weisemöller, I.","Schürr, A.","Dang, D., H.","Gogolla, M."],"year":2009,"bibtype":"book","biburl":null,"bibdata":{"id":"e65c5faf-5e2f-32d4-af44-2d0b6b5e00d4","title":"Models in Software Engineering","type":"book","year":"2009","source":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)","identifiers":"[object Object]","created":"2014-11-04T17:17:29.000Z","pages":"124-137","volume":"6627","websites":"http://www.scopus.com/inward/record.url?eid=2-s2.0-67650142274&partnerID=tZOtx3y1,http://www.springerlink.com/index/10.1007/978-3-642-21210-9,http://link.springer.com/10.1007/978-3-642-12261-3,http://www.springerlink.com/index/10.1007/978-3-642-29645-1,http://www.springerlink.com/index/10.1007/978-3-642-01648-6,http://www.scopus.com/inward/record.url?eid=2-s2.0-47749114630&partnerID=tZOtx3y1","publisher":"Springer Berlin Heidelberg","city":"Berlin, Heidelberg","series":"Lecture Notes in Computer Science","editors":"[object Object]","accessed":"2014-10-29","file_attached":false,"profile_id":"6b46cd49-f8a1-3799-91ac-6861cf9a050e","group_id":"f76fdab6-f3b3-324f-8ded-1f7ff6220077","last_modified":"2014-11-24T16:19:34.000Z","read":false,"starred":false,"authored":false,"confirmed":"true","hidden":false,"abstract":"Triple Graph Grammars (TGGs) tend to be a promising approach for explaining relationships between models in general, and model co-evolution and model consistency within model-driven development in particular. Declarative TGG descriptions can be translated into operational scenarios for model integration, model synchronization, and model transformation. To realize such scenarios, restrictions formulated with the Object Constraint Language (OCL) are an important factor. How to integrate TGGs and OCL is a topic of ongoing research activities. There are strong similarities between the result of such an integration and the Queries, Views and Transformations (QVT) standard of the Object Management Group (OMG). We propose a language for this integration: One part of this language has a one-one mapping to TGGs and the remaining part covers OCL concepts. The language is realized in our tool UML-based Specifcation Environment (USE) by taking two views on operations derived from TGG rules: Declarative OCL pre- and postconditions are employed as operation contracts, and imperative command sequences are taken as an operational realization. USE o.ers full OCL support for restricting models and meta models with invariants, for checking pre- and postconditions of operations as well as for validating and animating transformation operations. Our approach covers a complete realization of TGGs incorporating OCL within our tool USE.","bibtype":"book","author":"Weisemöller, Ingo and Schürr, Andy and Dang, Duc Hanh and Gogolla, Martin","bibtex":"@book{\n id = {e65c5faf-5e2f-32d4-af44-2d0b6b5e00d4},\n title = {Models in Software Engineering},\n type = {book},\n year = {2009},\n source = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},\n identifiers = {[object Object]},\n created = {2014-11-04T17:17:29.000Z},\n pages = {124-137},\n volume = {6627},\n websites = {http://www.scopus.com/inward/record.url?eid=2-s2.0-67650142274&partnerID=tZOtx3y1,http://www.springerlink.com/index/10.1007/978-3-642-21210-9,http://link.springer.com/10.1007/978-3-642-12261-3,http://www.springerlink.com/index/10.1007/978-3-642-29645-1,http://www.springerlink.com/index/10.1007/978-3-642-01648-6,http://www.scopus.com/inward/record.url?eid=2-s2.0-47749114630&partnerID=tZOtx3y1},\n publisher = {Springer Berlin Heidelberg},\n city = {Berlin, Heidelberg},\n series = {Lecture Notes in Computer Science},\n editors = {[object Object]},\n accessed = {2014-10-29},\n file_attached = {false},\n profile_id = {6b46cd49-f8a1-3799-91ac-6861cf9a050e},\n group_id = {f76fdab6-f3b3-324f-8ded-1f7ff6220077},\n last_modified = {2014-11-24T16:19:34.000Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n abstract = {Triple Graph Grammars (TGGs) tend to be a promising approach for explaining relationships between models in general, and model co-evolution and model consistency within model-driven development in particular. Declarative TGG descriptions can be translated into operational scenarios for model integration, model synchronization, and model transformation. To realize such scenarios, restrictions formulated with the Object Constraint Language (OCL) are an important factor. How to integrate TGGs and OCL is a topic of ongoing research activities. There are strong similarities between the result of such an integration and the Queries, Views and Transformations (QVT) standard of the Object Management Group (OMG). We propose a language for this integration: One part of this language has a one-one mapping to TGGs and the remaining part covers OCL concepts. The language is realized in our tool UML-based Specifcation Environment (USE) by taking two views on operations derived from TGG rules: Declarative OCL pre- and postconditions are employed as operation contracts, and imperative command sequences are taken as an operational realization. USE o.ers full OCL support for restricting models and meta models with invariants, for checking pre- and postconditions of operations as well as for validating and animating transformation operations. Our approach covers a complete realization of TGGs incorporating OCL within our tool USE.},\n bibtype = {book},\n author = {Weisemöller, Ingo and Schürr, Andy and Dang, Duc Hanh and Gogolla, Martin}\n}","author_short":["Weisemöller, I.","Schürr, A.","Dang, D., H.","Gogolla, M."],"bibbaseid":"weisemller-schrr-dang-gogolla-modelsinsoftwareengineering-2009","role":"author","urls":{},"downloads":0},"search_terms":["models","software","engineering","weisemöller","schürr","dang","gogolla"],"keywords":[],"authorIDs":[]}