#### Filter Results:

- Full text PDF available (15)

#### Publication Year

2003

2009

- This year (0)
- Last 5 years (0)
- Last 10 years (7)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Paul Ziemann, Karsten Hölscher, Martin Gogolla
- Electr. Notes Theor. Comput. Sci.
- 2005

In this paper we present an approach that allows to validate properties of UML models. The approach is based on an integrated semantics for central parts of the UML. We formally cover UML use case, class, object, statechart, collaboration, and sequence diagrams. Additionally full OCL is supported in the common UML fashion. Our semantics is based on the… (More)

- Karsten Hölscher, Paul Ziemann, Martin Gogolla
- J. Vis. Lang. Comput.
- 2006

In this paper we present a concept of a rigorous approach that provides a formal semantics for a fundamental subset of UML. This semantics is derived by translating a given UML model into a graph transformation system, allowing modelers to actually execute their UML model. The graph transformation system comprises graph transformation rules and a working… (More)

- Claudia Ermel, Karsten Hölscher, Sabine Kuske, Paul Ziemann
- 2005 IEEE Symposium on Visual Languages and Human…
- 2005

This paper shows how integrated UML models combining class, object, use-case, collaboration and state diagrams can be animated in a domain-specific 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… (More)

- Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske
- Fundam. Inform.
- 2009

In this paper, we introduce the notion of a community of autonomous units as a rule-based and graph-transformational 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… (More)

- Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske
- ICGT
- 2006

In this paper, we introduce the notion of a community of autonomous units as a rule-based and graph-transformational 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… (More)

- Björn Cordes, Karsten Hölscher, Hans-Jörg Kreowski
- AGTIVE
- 2003

In this paper, the two types of UML interaction diagrams are considered. A translation of sequence diagrams into collaboration diagrams is constructed by means of graph transformation and shown correct.

- Paul Ziemann, Karsten Hölscher, Martin Gogolla
- Electr. Notes Theor. Comput. Sci.
- 2005

In this paper we continue our work on the formalization and validation of UML models by means of graph transformation systems. We here concentrate on statechart and collaboration diagrams albeit our approach covers use case, class, object, and sequence diagrams as well. The statechart and collaboration diagrams describe the operations of the underlying… (More)

- Karsten Hölscher, Renate Klempien-Hinrichs, Peter Knirsch
- Electr. Notes Theor. Comput. Sci.
- 2008

Graph transformation units are an approach-independent concept for programming by applying rules and imported transformation units to graphs, starting in an initial and ending in a terminal graph. This transformation process has to obey a so-called control condition, i.e. the device to select how rules or imported transformation units are to be combined in… (More)

- Hans-Jörg Kreowski, Karsten Hölscher, Peter Knirsch
- Electr. Notes Theor. Comput. Sci.
- 2006

In this paper, some fundamental aspects of the semantics of rule-based systems are sketched and related to the semantics of visual models. A rule-based system comprises a set of rules and some control conditions including descriptions of initial and terminal configurations. Semantically, the rules specify a binary relation on configurations of some kind by… (More)