Modeling Agent Systems with Distributed Transformation Units

AbstractAgent systems have become more and more important in computer science. They allow to implement complex distributed systems composed of communicating autonomous entities. Transformation units constitute a structuring principle for graph transformation systems which split up large sets of rules, but still graphs are transformed as a whole. Recently, distributed transformation units have been introduced as an extension of transformation units to distributed graphs and distributed graph transformation. In this paper it is illustrated how different features of agent systems can be smoothly modeled in a uniform way by distributed graph transformation systems. For this purpose an agent system case study with simple agents communicating via blackboards and message passing is presented

Composite Modeling based on Distributed Graph Transformation and the Eclipse Modeling Framework

Model-driven development (MDD) has become a promising trend in software engineering for a number of reasons. Models as the key artifacts help the developers to abstract from irrelevant details, focus on important aspects of the underlying domain, and thus master complexity. As software systems grow, models may grow as well and finally become possibly too large to be developed and maintained in a comprehensible way. In traditional software development, the complexity of software systems is tackled by dividing the system into smaller cohesive parts, so-called components, and let distributed teams work on each concurrently. The question arises how this strategy can be applied to model-driven development. The overall aim of this thesis is to develop a formalized modularization concept to enable the structured and largely independent development of interrelated models in larger teams. To this end, this thesis proposes component models with explicit export and import interfaces where exports declare what is provided while imports declare what it needed. Then, composite model can be connected by connecting their compatible export and import interfaces yielding so-called composite models. Suitable to composite models, a transformation approach is developed which allows to describe changes over the whole composition structure. From the practical point of view, this concept especially targets models based on the Eclipse Modeling Framework (EMF). In the modeling community, EMF has evolved to a very popular framework which provides modeling and code generation facilities for Java applications based on structured data models. Since graphs are a natural way to represent the underlying structure of visual models, the formalization is based on graph transformation. Incorporated concepts according to distribution heavily rely on distributed graph transformation introduced by Taentzer. Typed graphs with inheritance and containment structures are well suited to describe the essentials of EMF models. However, they also induce a number of constraints like acyclic inheritance and containment which have to be taken into account. The category-theoretical foundation in this thesis allows for the precise definition of consistent composite graph transformations satisfying all inheritance and containment conditions. The composite modeling approach is shown to be coherent with the development of tool support for composite EMF models and composite EMF model transformation

Vernetzt planen und produzieren VPP 2006 : Tagungsband Chemnitz 14. und 15. September 2006: Vernetzt planen und produzieren VPP 2006 : Tagungsband Chemnitz14. und 15. September 2006

Vor dem Hintergrund sich immer schneller und stärker wandelnder Marktbedingungen gelten Netzwerke als die Unternehmensform des 21. Jahrhunderts. Sie erlauben insbesondere kleinen und mittelständischen Unternehmen die Erhaltung und Erhöhung ihrer Wettbewerbsfähigkeit durch gezielte Kooperation und Bündelung ihrer Kompetenzen. Unternehmen benötigen dafür entsprechende Methoden und Instrumentarien. Diese stehen neben Theorien und Modellen im Mittelpunkt der wissenschaftlichen Arbeiten des Sonderforschungsbereiches (SFB) 457 „Hierarchielose regionale Produktionsnetze“ an der Technischen Universität Chemnitz. Zum nunmehr fünften Male findet am 14. und 15. September 2006 die Fachtagung „Vernetzt planen und produzieren – VPP 2006“ statt. Es werden auch in diesem Jahr die aktuellen Ergebnisse des SFB 457, weiterer nationaler und internationaler Forschungsarbeiten und -projekte auf dem Gebiet der Netzwerkforschung sowie Erkenntnisse und Erfahrungen der praktischen Umsetzung durch die Industrie von Wissenschaftlern und Praktikern vorgestellt und diskutiert. Als Referenten der Plenarveranstaltung werden Herr Prof. Kuhn von der Universität Dortmund, Herr Prof. Westkämper von der Universität Stuttgart, Herr Prof. Herzog von der Universität Bremen, Herr Prof. Nyhuis von der Universität Hannover und Herr Prof. Smirnov von der Russischen Akademie der Wissenschaften Sankt Petersburg in ihren Beiträgen verschiedene Aspekte von Netzwerken thematisieren. Neben den schon traditionellen Workshops zu verschiedenen Themenbereichen des Bildens und Betreibens von Netzwerken wird in diesem Jahr ein zusätzlicher Workshop zum Thema „Netzwerke und Cluster in der brasilianisch-deutschen Zusammenarbeit“ stattfinden. Dieser ist Teil des Besuches einer Delegation aus Vertretern der Regierung und Wirtschaft des brasilianischen Bundesstaates Bahia, die gemeinsam mit Vertretern des Bundesministeriums für Bildung und Forschung sowie des Sächsischen Ministeriums für Wirtschaft und Arbeit an der Tagung teilnehmen werden, um neue Kontakte zu schließen und weitere Kooperationsvorhaben zu initiieren. Die Tagung „Vernetzt planen und produzieren – VPP 2006“ ist gleichzeitig Abschlusskolloquium des SFB 457, welcher nach sieben Jahren intensiver und erfolgreicher Netzforschung dieses Jahr endet. Maßgeblichen Anteil am SFB 457 hatten die ehemaligen Sprecher Prof. Siegfried Wirth und Prof. Hartmut Enderlein