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
Preserved Fulltext
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. ...
doi:10.14279/tuj.eceasst.10.155
dblp:journals/eceasst/BaresiGMM08
fatcat:sz3qygm6tzfhxmqbtp33yfrmly
Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
In particular, models in the form 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. ...
doi:10.1007/11841883_24
fatcat:ooqpov6ttfa3tfcnxfovi7zbiq
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)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
UML model diagrams are translated to a 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. ...
doi:10.1109/vlhcc.2005.18
dblp:conf/vl/ErmelHKZ05
fatcat:6crjntd5hbhxzoonvzx4i5p2u4
OCL and Graph-Transformations – A Symbiotic Alliance to Alleviate the Frame Problem
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Many popular methodologies are influenced 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(). ...
doi:10.1007/11663430_3
fatcat:6asrvrimyffodez546kogs3nmu
Semantic Anchoring with Model Transformations
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
MIC places strong emphasis on the use 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. ...
doi:10.1007/11581741_10
fatcat:j2z53d5y65funelqqwtwoxljpi
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
In this paper we show how a mapping between 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. ...
doi:10.1007/978-3-642-00434-6_5
fatcat:rrotnddvire6rdlpkbrpsmacsq
Model-driven development of reactive information systems: from graph transformation rules to JML contracts
2006
International Journal on Software Tools for Technology Transfer (STTT)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
The main technical tool for achieving this goal is a mapping 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. ...
doi:10.1007/s10009-006-0020-z
fatcat:mwneszx6dre6vhvbzjx34pkaoi
Copying Subgraphs Within Model Repositories
2008
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
More 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 ...
doi:10.1016/j.entcs.2008.04.036
fatcat:7rpesstpc5eqbnvigau6kvie2i
View Transformation in Visual Environments applied to Algebraic High-Level Nets
2005
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Moreover, 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 ...
doi:10.1016/j.entcs.2005.02.006
fatcat:m5tdndfmfvfe5eygqoi6jd3z4a
Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Hence, the aim 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. ...
doi:10.1007/978-3-540-31847-7_4
fatcat:7oxq4pgz35fkhir6eyb4qq6zum
An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations
2015
Procedia Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The approach is based on Algebraic 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. ...
doi:10.1016/j.procs.2015.07.253
fatcat:xttmzn3tcfgkxhwurc3svt4som
Correct transformation: From object-based graph grammars to PROMELA
2012
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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 ...
doi:10.1016/j.scico.2011.03.010
fatcat:3nwlzhacircgvhjpsyqw2kctuq
Specifying behavioral semantics of UML diagrams through graph transformations
2009
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Based on the 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. ...
doi:10.1016/j.jss.2008.06.030
fatcat:7xis77mmyfah7galnilflg3ywq
Implementing the Behavioral Semantics of Diagrammatic Languages by Co-simulation
2020
International Journal of Advanced Computer Science and Applications
Preserved Fulltext
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.
To specify 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. ...
doi:10.14569/ijacsa.2020.0110964
fatcat:34mksogxwzhidmne6ejt4eadzi
Improving the agent-oriented modeling process by roles
2001
Proceedings of the fifth international conference on Autonomous agents - AGENTS '01
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
In analysis the system's structure is captured and mandatory 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 ...
doi:10.1145/375735.376476
dblp:conf/agents/DepkeHK01
fatcat:sghs5w7thnhedblqvhgybpvoqy
« Previous
Showing results 1 — 15 out of 91,383 results