Zobrazeno 1 - 10
of 42
pro vyhledávání: '"Triple Graph Grammar"'
Autor:
Dániel LUKÁCS, Melinda TÓTH
Publikováno v:
Studia Universitatis Babes-Bolyai: Series Informatica, Vol 63, Iss 1 (2018)
In this paper, we present a method that transforms event driven Erlang state machines into high-level state machine models represented in UML. We formalized the transformation system as a triple graph grammar, a special case of graph rewriting. We ar
Externí odkaz:
https://doaj.org/article/298236cfbf7749ac9d339086149b9f61
Publikováno v:
ISPRS International Journal of Geo-Information, Vol 7, Iss 9, p 355 (2018)
The Singapore Government has embarked on a project to establish a three-dimensional city model and collaborative data platform for Singapore. The research herein contributes to this endeavour by developing a methodology and algorithms to automate the
Externí odkaz:
https://doaj.org/article/828d66beb3df49e8852a81709f3a9986
During the overall development of complex engineering systems different modeling notations are employed. For example, in the domain of automotive systems system engineering models are employed quite early to capture the requirements and basic structu
Externí odkaz:
http://opus.kobv.de/ubp/volltexte/2012/6018/
Publikováno v:
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Fundamental Approaches to Software Engineering ISBN: 9783030452339
FASE
Fundamental Approaches to Software Engineering
Universitat Politècnica de Catalunya (UPC)
Fundamental Approaches to Software Engineering ISBN: 9783030452339
FASE
Fundamental Approaches to Software Engineering
In the context of software model-driven development, artifacts are specified by several models describing different aspects, e.g., different views, dynamic behavior, structure, distributed information, etc. Then, maintaining and repairing consistency
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0e8e2f772cb30c6d6235b96b33d59bd8
http://hdl.handle.net/2117/340996
http://hdl.handle.net/2117/340996
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
ANT/SEIT
This paper describes a way based on operational semantics of π-calculus and uses TGG tool to formalize sequence diagrams to establish formal verification through model transformations. Our transformation uses basic interactions and combined fragment
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5c6abe02456275b7410815b676c4d4e4
Publikováno v:
ISPRS International Journal of Geo-Information
Volume 7
Issue 9
ISPRS International Journal of Geo-Information, Vol 7, Iss 9, p 355 (2018)
Volume 7
Issue 9
ISPRS International Journal of Geo-Information, Vol 7, Iss 9, p 355 (2018)
The Singapore Government has embarked on a project to establish a three-dimensional city model and collaborative data platform for Singapore. The research herein contributes to this endeavour by developing a methodology and algorithms to automate the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::80acf1be215ef4433da6d76106a9fea7
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Electronic Communications of the EASST, 1-12. EASST (2012).
The tool HENSHIN is an Eclipse plug-in supporting visual modeling and execution of rule-based EMF model transformations. This paper describes the recent extensions of HENSHIN by a visual editor for triple graph grammars (TGGs). The visual editor (cal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::447eb8de79d80159e3cd1d7424691f77
http://orbilu.uni.lu/handle/10993/3931
http://orbilu.uni.lu/handle/10993/3931