91,383 Hits in 6.3 sec

Using Graph Transformation Systems to Specify and Verify Data Abstractions

Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga
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.  ... 
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]

Gregor Engels, Marc Lohmann, Stefan Sauer, Reiko Heckel
2006 Lecture Notes in Computer Science  
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

C. Ermel, K. Holscher, S. Kuske, P. Ziemann
2005 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05)  
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]

Thomas Baar
2006 Lecture Notes in Computer Science  
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]

Kai Chen, Janos Sztipanovits, Sherif Abdelwalhed, Ethan Jackson
2005 Lecture Notes in Computer Science  
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]

José Eduardo Rivera, Esther Guerra, Juan de Lara, Antonio Vallecillo
2009 Lecture Notes in Computer Science  
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

Reiko Heckel, Marc Lohmann
2006 International Journal on Software Tools for Technology Transfer (STTT)  
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

Pieter Van Gorp, Hans Schippers, Dirk Janssens
2008 Electronical Notes in Theoretical Computer Science  
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

Claudia Ermel, Karsten Ehrig
2005 Electronical Notes in Theoretical Computer Science  
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]

Claudia Ermel, Gabriele Taentzer, Roswitha Bardohl
2005 Lecture Notes in Computer Science  
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

Nabil Messaoudi, Allaoua Chaoui, Mohamed Bettaz
2015 Procedia Computer Science  
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

Leila Ribeiro, Osmar Marchi dos Santos, Fernando Luís Dotti, Luciana Foss
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  ... 
doi:10.1016/j.scico.2011.03.010 fatcat:3nwlzhacircgvhjpsyqw2kctuq

Specifying behavioral semantics of UML diagrams through graph transformations

Jun Kong, Kang Zhang, Jing Dong, Dianxiang Xu
2009 Journal of Systems and Software  
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

Daniel-Cristian Craciunean
2020 International Journal of Advanced Computer Science and Applications  
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

Ralph Depke, Reiko Heckel, Jochen M. Kuster
2001 Proceedings of the fifth international conference on Autonomous agents - AGENTS '01  
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