نتایج جستجو برای: graph transformation system

تعداد نتایج: 2554783  

Journal: :Electronic Proceedings in Theoretical Computer Science 2010

Journal: :DEStech Transactions on Computer Science and Engineering 2017

Journal: :Software & Systems Modeling 2011

Journal: :ECEASST 2008
Greg Manning Detlef Plump

We describe the programming system for the graph-transformation language GP, focusing on the implementation of its compiler and abstract machine. We also compare the system’s performance with other graph-transformation systems. The GP language is based on conditional rule schemata and comes with a simple formal semantics which maps input graphs to sets of output graphs. The implementation faith...

2009
Gábor Bergmann Ákos Horváth

Automated model transformations play an important role in modern model-driven system engineering in order to query, derive and manipulate large, industrial models. Since such transformations are frequently integrated to design environments, they need to provide short reaction time to support software engineers. Graph transformation (GT) [1] based tools have been frequently used for specifying a...

2006
Paolo Baldan Andrea Corradini Luciana Foss Fabio Gadducci

Transactional graph transformation systems (t-gtss) have been recently proposed as a mild extension of the standard dpo approach to graph transformation, equipping it with a suitable notion of atomic execution for computations. A typing mechanism induces a distinction between stable and unstable items, and a transaction is defined as a shift-equivalence class of computations such that the start...

Journal: :Science of Computer Programming 1999

Journal: :Electr. Notes Theor. Comput. Sci. 2001
Gabriele Taentzer

The development of common exchange formats for graphs and graph transformation systems is an ongoing initiative within the EU Working Group APPLIGRAPH (Applications of Graph Transformation). The author is reporting on the current state of this format discussion. The formats are based on the extensible markup language XML developed to interchange documents of arbitrary types. Graphs are basic st...

Journal: :Electr. Notes Theor. Comput. Sci. 2005
Tihamer Levendovszky László Lengyel Gergely Mezei Hassan Charaf

Highly configurable metamodeling environments and graph transformation techniques have been applied successfully in software system modeling and other areas. In this paper a uniform treatment of these two methods is illustrated by a tool called Visual Modeling and Transformation System. The concepts of an n-layer metamodeling environment is outlined with the related topological and attribute is...

Journal: :Electronic Notes in Theoretical Computer Science 1995

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید