Topology-based geometric modeling tackles the issue of representing objects with data structures that encode topological subdivision modeled in vertices, edges, faces, and volumes. Such subdivisions can be represented graphs labeled by dimensions on arcs, while operations used to edit formalized as graph transformations. Among existing models, we consider generalized oriented maps, defined cons...

The main aim of this paper is an extension of the theory of algebraic graph transformation systems by a loose semantics. For this purpose, graph transitions are introduced as a loose interpretation of graph productions. They are deened using a double pullback construction in contrast to classical graph derivations based on double-pushouts. Two characterisation results relate graph transitions t...

The DRAGOS database eases the development of graphbased applications by providing a uniform graph-oriented data storage facility. In this paper, we extend the existing database by a basic Query and Transformation Mechanism, which facilitates the construction of graph transformation systems. Users can therefore access the database by applying structured rules instead of using atomic operations p...

Knowledge graphs’ reasoning is of great significance for the further development artificial intelligence and information retrieval, especially over temporal knowledge graphs. The rotation-based method has been shown to be effective at modeling entities relations on a graph. However, due lack representation capability, existing approaches can only model partial relational patterns they cannot ha...

Resilience is a concept of rising interest in computer science and software engineering. For systems which correctness w.r.t. safety condition unachievable, fast recovery demanded. We investigate resilience problems graph transformation systems. Our main contribution the decidability two for well-structured (with strong compatibility). prove our results abstract framework transition apply them ...

The framework of graph transformation combines the potentials and advantages of both, graphs and rules, to a single computational paradigm. In this paper we present some recent developments in applying graph transformation as a rule-based framework for the specification and development of systems, languages, and tools. After reviewing the basic features of graph transformation, we discuss a sel...

In recent years, visual models represented by graphs have become very popular in systems development, as the wide-spread use of UML and Petri nets proves. Visual modeling techniques provide an intuitive, yet precise way to model the structure and behavior of systems at their natural level of abstraction. Validating model behavior is one of the main aims of visual behavior modeling. To express t...

The transformation driven architecture (TDA) is a system building (in particular, tool building) approach that is based on model transformations, interface metamodels with corresponding engines, and event/command mechanism. This paper describes a metamodel and the corresponding engine for graph diagram presentations within TDA. The facilities of the metamodel and the engine include static diagr...