MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Sabine Kuske – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 19 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • A Formal Semantics of UML State Machines Based on Structured Graph Transformation  
  • by Sabine Kuske — 2001 — UML 2001: The Unified Modeling Language. Modeling Languages, Concepts and Tools, volume 2185 of LNCS
  • …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 well-studied area with many theoretical results an…
  • Cited by 18 (2 self) – Add To MetaCart
  • More About Control Conditions for Transformation Units  
  • by Sabine Kuske — 1998 — Proc. Theory and Application of Graph Transformations, volume 1764 of Lecture Notes in Computer Science
  • …A transformation unit is a structuring principle for composing graph transformation systems from small units. One of the basic components of a transformation unit is its control condition which allows to restrict the non-determinism of graph transformation. The concept of transformation units is gen…
  • Cited by 7 (5 self) – Add To MetaCart
  • Semantic Aspects of the Graph and Rule Centered Language GRACE  
  • by Sabine Kuske — In Francesc Rossello Llompart and Gabriel Valiente Feruglio, editors, Proc. Colloquium on Graph Transformation and its Application in Computer Science, Technical Report, Palma de Mallorca
  • …A basic construct of the graph and rule centered language GRACE, currently under development, is the transformation unit. In the paper transformation units together with their interleaving semantics are introduced, and the idea of programming with transformation units in a systematic and structured …
  • Cited by 1 (1 self) – Add To MetaCart
  • Implementing  
  • by Fi-Reduction By, Sabine Kuske
  • …The aim of this paper is to implement the fi-reduction in the -calculus with a hypergraph rewriting mechanism called collapsed -tree rewriting. It turns out that collapsed -tree rewriting is sound with respect to fi-reduction and complete with respect to the Gross-Knuth strategy. As a consequence, t…
  • Add To MetaCart
  • On the Interleaving Semantics of Transformation Units - A Step into GRACE  
  • by Hans-Jörg Kreowski, Sabine Kuske — 1994 — Proc. Graph Grammars and Their Application to Computer Science
  • …The aim of the paper is to introduce the notion of a transformation unit together with its interleaving semantics and to study it as a means of constructing large graph transformation systems from small ones in a structured and systematic way. A transformation unit comprises a set of rules, descript…
  • Cited by 21 (9 self) – Add To MetaCart
  • Graph Transformation Units And Modules  
  • by Hans-Jörg Kreowski, Sabine Kuske — 1999
  • …The significance of graphs and rules in many areas of computer science is evident: On the one hand, graphs constitute appropriate means for the description of complex relationships between objects. Trees, Petri nets, circuit diagrams, data flow graphs, state charts, and entity-relationship diagrams …
  • Cited by 15 (8 self) – Add To MetaCart
  • Graph Transformation Units with Interleaving Semantics  
  • by Hans-Jörg Kreowski, Sabine Kuske — 1999 — Formal Aspects of Computing
  • …The aim of the paper is to introduce the notion of a transformation unit together with its interleaving semantics and to study it as a means of constructing large graph transformation systems from small ones in a structured and systematic way. A transformation unit comprises a set of rules, descript…
  • Cited by 14 (10 self) – Add To MetaCart
  • Approach-Independent Structuring Concepts for Rule-Based Systems  
  • by Hans-Jörg Kreowski, Sabine Kuske — 2002 — Proc. 16th Int. Workshop on Algebraic Development Techniques (WADT 2002). Volume 2755 of Lecture Notes in Computer Science
  • …In this paper, we propose new structuring concepts for rule-based 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 rule-based approaches allowing one to build up large systems from small compo…
  • Cited by 2 (2 self) – Add To MetaCart
  • Distributed Graph Transformation Units  
  • by Peter Knirsch, Sabine Kuske — 2002 — International Journal on Software Engineering and Knowledge Engineering
  • …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…
  • Cited by 15 (13 self) – Add To MetaCart
  • Suggestions on the Modularization of Rule-Based Systems  
  • by Hans-Jörg Kreowski, Sabine Kuske — 2000
  • …Transformation units and transformation modules are structuring concepts for rule-based systems. Their semantics is described by binary relations on configurations which are obtained by the interleaving of rule applications and calls of imported transformation units. The composition of transformatio…
  • Cited by 1 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB