Sven Schneider

Holger Giese

Maria Maximova

The analysis of behavioral models such as Graph Transformation Systems (GTSs) is of central importance in model-driven engineering. However, GTSs often result in intractably large or even infinite state spaces and may be equipped with multiple or even infinitely many start graphs. To mitigate these problems, static analysis techniques based on finite symbolic representations of sets of states or paths thereof have been devised. We focus on the technique of k-induction for establishing invariants specified using graph conditions. To this end, k-induction generates symbolic paths backwards from a symbolic state representing a violation of a candidate invariant to gather information on how that violation could have been reached possibly obtaining contradictions to assumed invariants. However, GTSs where multiple agents regularly perform actions independently from each other cannot be analyzed using this technique as of now as the independence among backward steps may prevent the gathering of relevant knowledge altogether. In this paper, we extend k-induction to GTSs with multiple agents thereby supporting a wide range of additional GTSs. As a running example, we consider an unbounded number of shuttles driving on a large-scale track topology, which adjust their velocity to speed limits to avoid derailing. As central contribution, we develop pruning techniques based on causality and independence among backward steps and verify that k-induction remains sound under this adaptation as well as terminates in cases where it did not terminate before.

Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction

Perfect Games sind kleine Sportspiele, die körperliche, mentale und soziale Fähigkeiten fordern und fördern. Perfect Games schöpfen somit das gesamte biopsychosoziale Lernpotenzial des Sportes aus - verbunden mit einer Menge Spaß und Action. In diesem Praxisband werden 45 actionreiche Sportspiele ausführlich in Wort und Bild vorgestellt und entlang ihrer körperlichen, mentalen und sozialen Anforderungen mittels eines praktischen Perfect-Games-Scores kategorisiert. Nach einer kurzen theoretischen Einführung wird jede Spielbeschreibung durch Aufbauskizzen, Sicherheitshinweise sowie Angaben zu Altersbereich, Zeit- und Gerätebedarf bereichert, sodass z.B. auch fachfremd Unterrichtende einen schnellen Einstieg finden. Perfect Games sind das, was Lehrer, Betreuer und Übungsleiter unterschiedlichster Disziplinen für ihre Sportstunde und ihr Training suchen: Innovative Spiele, die Kinder und Jugendliche begeistern und die sich schnell in jedes Training integrieren lassen.

Innovative Sportspiele zum Training körperlicher, mentaler und sozialer Fähigkeiten

Perfect Games

Projektarbeit aus dem Jahr 2015 im Fachbereich BWL - Unternehmensführung, Management, Organisation, Note: 1,3, Rheinische Fachhochschule Köln, Sprache: Deutsch, Abstract: In der heutigen Zeit sind Führungsinstrumente sowie Führungsqualitäten entscheidende Faktoren für das erfolgreiche Wirken von Unternehmen auf den für sie relevanten Märkten. Die Führungskompetenzen der handelnden Personen sind daher als wertvoller Ansatzpunkt zur Steuerung und Ausrichtung eines Unternehmens zu verstehen. Die Führung von Mitarbeitern und die Motivation, als elementarer Bestandteil der Führung zur Steuerung und Leitung von Mitarbeitern, gewinnen aus diesen Gründen stetig an Bedeutung hinzu. In dieser Hausarbeit sollen die Bedeutung als auch die Möglichkeiten der Motivation sowie Anreizsysteme in Verbindung mit Führungsstilen in Bezug auf Unternehmen heraus gestellt werden. Mögliche Problemstellungen sollen erörtert und überwunden werden. Der Sinn und die Zweckmäßigkeit von Motivation innerhalb einer Unternehmung sowie die Arten von Führungsstilen sollen hinterfragt und beurteilt werden. Weiterhin werden Ausprägungen und Effekte analysiert. Hierzu wird im Folgenden zunächst die Motivation als solche erklärt und anschließend unterschieden. Im Verlauf der Ausarbeitung werden Thesen evaluiert und entsprechende Ergebnisse festgehalten. Ziel der Arbeit ist es, dem Leser einen Überblick sowie Verständnis hinsichtlich der Thematik „Motivation und Anreizsysteme als Führungsinstrumente“ zu verschaffen und evtl. allgemeingültige Verbesserungsvorschläge für Unternehmen zu eruieren.

Sven Schneider

About

Books

Join the club