A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is `application/pdf`

.

## Filters

##
###
Using Graph Transformation Systems to Specify and Verify Data Abstractions

2009
*
Electronic Communications of the EASST
*

*By*generalizing the approach

*of*

*behavior*models using

*graph*

*transformation*, we provide a concise

*specification*for data abstractions that describes the relationship between the internal state, represented ...

*Graph*

*transformation*also supports the generation

*of*

*behavior*models that are amenable to verification. ... In the following, we

*define*the type

*graph*for MTS, which

*defines*the kinds

*of*

*graph*nodes and edges that are needed in the

*specification*, and then we

*define*the

*graph*

*transformation*rules. ...

##
###
Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract
[chapter]

2006
*
Lecture Notes in Computer Science
*

In particular, models in the form

doi:10.1007/11841883_24
fatcat:ooqpov6ttfa3tfcnxfovi7zbiq
*of*visual contracts are*defined**by**graph*transitions with loose semantics, while the automatic*transformation*from models to JML assertions on the code level is*defined*...*by*strict*graph**transformation*rules. ... Visual contracts use*graph**transformation*concepts for the*specification**of*pre-and post-conditions*of**operations*. ...##
###
Animated simulation of integrated UML behavioral models based on graph transformation

2005
*
2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05)
*

UML model diagrams are translated to a

doi:10.1109/vlhcc.2005.18
dblp:conf/vl/ErmelHKZ05
fatcat:6crjntd5hbhxzoonvzx4i5p2u4
*graph**transformation*system and the*behavior**of*the integrated model is simulated*by*applications*of**graph**transformation*rules. ... This paper shows how integrated UML models combining class,*object*, use-case, collaboration and state diagrams can be animated in a domain-*specific*layout. ...*object*is created under the condition that the name*attribute**of*the Meal*object*corresponds to the meal*attribute**of*the Order*object*. ...##
###
OCL and Graph-Transformations – A Symbiotic Alliance to Alleviate the Frame Problem
[chapter]

2006
*
Lecture Notes in Computer Science
*

Many popular methodologies are influenced

doi:10.1007/11663430_3
fatcat:6asrvrimyffodez546kogs3nmu
*by*Design*by*Contract. They recommend to specify the intended*behavior**of**operations*in an early phase*of*the software development life cycle. ... This paper investigates how a combination*of*OCL and*graph**transformations*can overcome the frame problem and can make constructive*specifications*less deterministic. ... As a simple example for a*behavioral**specification*using*graph**transformations*, Fig. 3 shows a rule specifying the intended*behavior**of*setNextTrack(). ...##
###
Semantic Anchoring with Model Transformations
[chapter]

2005
*
Lecture Notes in Computer Science
*

MIC places strong emphasis on the use

doi:10.1007/11581741_10
fatcat:j2z53d5y65funelqqwtwoxljpi
*of*domain-*specific*modeling languages (DSML-s) and model*transformations*. ... Semantic anchoring*of*DSML-s means the*specification**of*model*transformations*between DSML-s (or aspects*of*complex DSML-s) and selected semantic units. ... the*graph*, then, remove the matched*object*(s) from the*graph*. 3. new : Create new*objects*(s) provided all*of*the*objects*marked Bind or Delete in the pattern*graph*match successfully. ...##
###
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude
[chapter]

2009
*
Lecture Notes in Computer Science
*

In this paper we show how a mapping between

doi:10.1007/978-3-642-00434-6_5
fatcat:rrotnddvire6rdlpkbrpsmacsq
*graph**transformation*-based*specifications**of*DSVL semantics and Maude is possible. ...*Graph**transformation*provides one way to specify the semantics*of*Domain*Specific*Visual Languages (DSVLs), with the advantage*of*being intuitive and easy to use for the system designer. ... This tool allows the definition*of*DSVLs*by*metamodeling and*defining*model manipulations*by**graph**transformations*. ...##
###
Model-driven development of reactive information systems: from graph transformation rules to JML contracts

2006
*
International Journal on Software Tools for Technology Transfer (STTT)
*

The main technical tool for achieving this goal is a mapping

doi:10.1007/s10009-006-0020-z
fatcat:mwneszx6dre6vhvbzjx34pkaoi
*of**graph**transformation*rules to contracts expressed in the Java Modeling Language (JML). ... We propose a model-driven approach to the development*of*reactive information systems, like dynamic Web pages or Web services, modeling their typical requestquery-update-response pattern*by*means*of**graph*... We have*defined*a set*of*model method templates to support our approach,*defining**operations*that allow us to find*objects*with*specific*properties, like particular*attributes*values. ...##
###
Copying Subgraphs Within Model Repositories

2008
*
Electronical Notes in Theoretical Computer Science
*

More

doi:10.1016/j.entcs.2008.04.036
fatcat:7rpesstpc5eqbnvigau6kvie2i
*specifically*,*graph**transformation*lacks an*operation*for copying subgraphs (multiple connected nodes, including their*attributes*) to a new location in the host*graph*. ... The set*of**operations*in state-*of*-the-art*graph**transformation*tools allows one to conditionally create and remove nodes and edges from input*graphs*. ... In fact,*attributes**of**transformation*classes are already bound during the construction*of*the*transformation**object*while the stereotype nodes are bound*by*the first primitive*graph**transformation*rule ...##
###
View Transformation in Visual Environments applied to Algebraic High-Level Nets

2005
*
Electronical Notes in Theoretical Computer Science
*

Moreover,

doi:10.1016/j.entcs.2005.02.006
fatcat:m5tdndfmfvfe5eygqoi6jd3z4a
*graph**transformation*tools support visual model*specification*, simulation and analysis on the basis*of*the rich underlying theory. ...*Graph**transformation*systems are a well-founded and adequate technique to describe the syntax*of*visual modeling languages and to formalize their semantics. ... Then, a VL model is a subclass*of*VL sentences modeling all possible states*of*one*specific**behavior*model, given*by*the typed,*attributed**graph**transformation*system M = (T G, S, P ), where S is the initial ...##
###
Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation
[chapter]

2005
*
Lecture Notes in Computer Science
*

Hence, the aim

doi:10.1007/978-3-540-31847-7_4
fatcat:7oxq4pgz35fkhir6eyb4qq6zum
*of*this paper is to*define*the*behavior**of*Algebraic High-Level nets, a high-level Petri net variant,*by*a parallel, typed,*attributed**graph**transformation*system. ... The "classical" approach to represent Petri nets*by**graph**transformation*systems is to translate each transition*of*a*specific*Petri net to a*graph*rule (*behavior*rule). ... Conclusion In this paper we have shown how to*define*the*behavior**of*AHL nets*by*parallel, typed and*attributed**graph**transformation*systems. ...##
###
An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations

2015
*
Procedia Computer Science
*

The approach is based on Algebraic

doi:10.1016/j.procs.2015.07.253
fatcat:xttmzn3tcfgkxhwurc3svt4som
*graph**transformation*and uses AGG (*Attribut**Graph*Grammar) tool. ... The*objective**of*this paper is twofold; first we provide UML2SD with Büchi automaton formal semantics, and second we bridge the gap between theoretic studies to practical studies*by*improving model*transformations*... link between the*specification*and verification*of*a system*by*using*graph**transformations*. ...##
###
Correct transformation: From object-based graph grammars to PROMELA

2012
*
Science of Computer Programming
*

*Object*-based

*graph*-grammars [2] follow the

*object*paradigm, well-known

*by*most users. ... The

*behavior*

*of*the system is then described via applications

*of*these rules to

*graphs*describing the actual states

*of*a system. ... Now we can

*define*an

*object*-based system, which is composed

*of*: • a Type

*Graph*or Class

*Graph*: a

*graph*containing information about all

*attributes*

*of*all classes involved in the model (an

*attribute*may ...

##
###
Specifying behavioral semantics of UML diagrams through graph transformations

2009
*
Journal of Systems and Software
*

Based on the

doi:10.1016/j.jss.2008.06.030
fatcat:7xis77mmyfah7galnilflg3ywq
*graph*grammar, the execution*of*a set*of*non-conflict state transitions is interpreted*by*a sequence*of**graph**transformations*. ... This paper offers a graphical yet formal approach to specifying the*behavioral*semantics*of*statechart diagrams using*graph**transformation*techniques. ... Our approach*defines*an efficient control mechanism*by*mapping each*specific*state entry onto a corresponding*graph**transformation*rule. ...##
###
Implementing the Behavioral Semantics of Diagrammatic Languages by Co-simulation

2020
*
International Journal of Advanced Computer Science and Applications
*

To specify

doi:10.14569/ijacsa.2020.0110964
fatcat:34mksogxwzhidmne6ejt4eadzi
*behavioral*semantics, we introduced the notion*of**behavioral*rule as an aggregation between a*graph**transformation*and a*behavioral*action. ... This paper presents how*behavioral*semantics*of*a diagrammatic DSML can be implemented*by*co-simulation. For the formal*specification**of*the language we used mechanisms from the category theory. ... The*transformation**of*diagrammatic models is based on, most often, the*graph**transformations**defined**by**graph*rules, also called productions. ...##
###
Improving the agent-oriented modeling process by roles

2001
*
Proceedings of the fifth international conference on Autonomous agents - AGENTS '01
*

In analysis the system's structure is captured and mandatory

doi:10.1145/375735.376476
dblp:conf/agents/DepkeHK01
fatcat:sghs5w7thnhedblqvhgybpvoqy
*behavior**of*agents is prescribed. The design model describes system*behavior**by*means*of*local*operations*. ... The requirements are specified*by*descriptions*of*the system's functionality and*by*exemplary scenarios*of*essential interactions. ... The Selector, Requester and Contractor role classes in Figure 6 and its autonomous*operations*which are*defined**by**graph**transformation*rules in Figures 9 and 10 and which are controlled*by*statecharts ...
« Previous

*Showing results 1 — 15 out of 91,383 results*