Results 1  10
of
39
A Formal Semantics of UML State Machines Based on Structured Graph Transformation
 UML 2001: The Unified Modeling Language. Modeling Languages, Concepts and Tools, volume 2185 of LNCS
, 2001
"... UML state machines are quite popular and useful to specify dynamic components of software systems. They have a formal static semantics but their execution semantics is described only informally. Graph transformation, on the other hand, constitutes a wellstudied area with many theoretical results an ..."
Abstract

Cited by 48 (4 self)
 Add to MetaCart
(Show Context)
UML state machines are quite popular and useful to specify dynamic components of software systems. They have a formal static semantics but their execution semantics is described only informally. Graph transformation, on the other hand, constitutes a wellstudied area with many theoretical results and practical application domains. In this paper, an operational semantics for a subset of UML state machines is proposed which is based on graph transformation. In more detail, a UML state machine is described as a structured graph transformation system in such a way that the wellformedness rules of UML state machines are satisfied and the ring of a (maximum) set of enabled nonconicting transitions corresponds to the application of a graph transformation rule. The presented approach uses the concept of transformation units, a recently developed modularization concept for graph transformation systems.
Distributed Graph Transformation Units
 International Journal on Software Engineering and Knowledge Engineering
, 2002
"... Transformation units are a structuring principle for graph transformation systems. In this paper we introduce distributed transformation units that can be used to model distributed graph transformation systems. A distributed transformation unit consists of a set of local transformation units which a ..."
Abstract

Cited by 31 (23 self)
 Add to MetaCart
Transformation units are a structuring principle for graph transformation systems. In this paper we introduce distributed transformation units that can be used to model distributed graph transformation systems. A distributed transformation unit consists of a set of local transformation units which are connected via interface units. Semantically, a distributed transformation unit transforms distributed graphs consisting of a set of local graphs connected via interface graphs, in such a way that every local graph with its interfaces is transformed by a local transformation unit. Since the interface graphs can be modified concurrently by various local transformation units we introduce a concurrent semantics of transformation units. The presented concepts are illustrated with a running example of a simple game where two different actors access a common game board randomly.
Model Transformation by Graph Transformation: A Comparative Study
 In Proc. Workshop Model Transformation in Practice, Montego
, 2005
"... Abstract. Graph transformation has been widely used for expressing model transformations. Especially transformations of visual models can be naturally formulated by graph transformations, since graphs are well suited to describe the underlying structures of models. Based on a common sample model tr ..."
Abstract

Cited by 27 (8 self)
 Add to MetaCart
Abstract. Graph transformation has been widely used for expressing model transformations. Especially transformations of visual models can be naturally formulated by graph transformations, since graphs are well suited to describe the underlying structures of models. Based on a common sample model transformation, four different model transformation approaches are presented which all perform graph transformations. At first, a basic solution is presented and crucial points of model transformations are indicated. Subsequent solutions focus mainly on the indicated problems. Finally, a first comparison of the chosen approaches to model transformation is presented where the main ingredients of each approach are summarized. 1
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
 of Lecture Notes in Computer Science
, 2002
"... This paper studies the semantics of a central part of the Unified Modeling Language UML. It discusses UML class, object and state diagrams and presents a new integrated semantics for both on the basis of graph transformation. Graph transformation is a formal technique having some common ideas with t ..."
Abstract

Cited by 27 (7 self)
 Add to MetaCart
(Show Context)
This paper studies the semantics of a central part of the Unified Modeling Language UML. It discusses UML class, object and state diagrams and presents a new integrated semantics for both on the basis of graph transformation. Graph transformation is a formal technique having some common ideas with the UML. Graph transformation rules are associated with the operations in class diagrams and with the transitions in state diagrams. The resulting graph transformations are combined into a one system in order to obtain a single coherent semantic description.
Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation
 In Proceedings of the 2005 IEEE Symposium on Visual Languages and HumanCentric Computing (September 20  24, 2005). VLHCC. IEEE Computer Society
, 2005
"... This paper shows how integrated UML models combining class, object, usecase, collaboration and state diagrams can be animated in a domainspecific layout. The presented approach is based on graph transformation, i.e. UML model diagrams are translated to a graph transformation system and the behavio ..."
Abstract

Cited by 12 (1 self)
 Add to MetaCart
(Show Context)
This paper shows how integrated UML models combining class, object, usecase, collaboration and state diagrams can be animated in a domainspecific layout. The presented approach is based on graph transformation, i.e. 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. For model validation, users may prefer to see the behavior of selected model aspects as scenarios presented in the layout of the application domain. We propose to integrate animation views with the model’s graph transformation system. A prototypical validation system has been implemented recently supporting the automatic translation of a UML model into a graph transformation system, and the interactive execution and simulation of the model behavior. We sketch the tool interconnection to GenGED, a visual language environment which allows to enrich graph transformation systems for model simulation by features for animation. 1
Autonomous Units to Model Interacting Sequential and Parallel Processes
, 2009
"... In this paper, we introduce the notion of a community of autonomous units as a rulebased and graphtransformational device to model processes that run interactively but independently of each other in a common environment. The main components of an autonomous unit are a set of rules, a control condi ..."
Abstract

Cited by 8 (7 self)
 Add to MetaCart
In this paper, we introduce the notion of a community of autonomous units as a rulebased and graphtransformational device to model processes that run interactively but independently of each other in a common environment. The main components of an autonomous unit are a set of rules, a control condition, and a goal. Every autonomous unit transforms graphs by applying its rules so that the control condition is satisfied. If the goal is reached the resulting transformation process is successful. A community contains a set of autonomous units, an initial environment specification, and an overall goal. In every transformation process of a community the autonomous units interact via their common environment. As an example, the game Ludo is modeled as a community of selfcontrolled players who interact on a common board. The emphasis of the presented approach is laid on the study of the formal semantics of a community as a whole and of each of its member units separately. In particular, a sequential as well as a parallel semantics is introduced, and communities with parallel semantics are compared with Petri nets, cellular automata, and multiagent systems.
Autonomous units and their semantics  the parallel case
 RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 18TH INTERNATIONAL WORKSHOP, WADT 2006. VOLUME 4408 OF LECTURE
, 2006
"... Communities of autonomous units are rulebased and graphtransformational devices to model dataprocessing systems that may consist of distributed and mobile components. The components may communicate and interact with each other, they may link up to adhoc networks. In this paper, we introduce and ..."
Abstract

Cited by 7 (5 self)
 Add to MetaCart
(Show Context)
Communities of autonomous units are rulebased and graphtransformational devices to model dataprocessing systems that may consist of distributed and mobile components. The components may communicate and interact with each other, they may link up to adhoc networks. In this paper, we introduce and investigate the parallelprocess semantics of communities of autonomous units.
ApproachIndependent Structuring Concepts for RuleBased Systems
 Proc. 16th Int. Workshop on Algebraic Development Techniques (WADT 2002). Volume 2755 of Lecture Notes in Computer Science
, 2002
"... In this paper, we propose new structuring concepts for rulebased systems that are independent of the type of rules and of the type of configurations to which rules are applied. Hence the concepts are applicable in various rulebased approaches allowing one to build up large systems from small compo ..."
Abstract

Cited by 6 (5 self)
 Add to MetaCart
In this paper, we propose new structuring concepts for rulebased systems that are independent of the type of rules and of the type of configurations to which rules are applied. Hence the concepts are applicable in various rulebased approaches allowing one to build up large systems from small components in a systematic way.
Autonomous units and their semantics  the sequential case
 ICGT 2006. LNCS
, 2006
"... In this paper, we introduce the notion of a community of autonomous units as a rulebased and graphtransformational device to model processes that run interactively but independently of each other in a common environment. The emphasis of the approach is laid on the study of the formal semantics of ..."
Abstract

Cited by 6 (6 self)
 Add to MetaCart
(Show Context)
In this paper, we introduce the notion of a community of autonomous units as a rulebased and graphtransformational device to model processes that run interactively but independently of each other in a common environment. The emphasis of the approach is laid on the study of the formal semantics of a community as a whole and of each of its member units separately. We concentrate on the sequential case where only one unit can act at a time and the rule applications of the involved units are interleaved with each other.