Volume 12: Formal Modeling of Adaptive and Mobile Processes

DOI: http://dx.doi.org/10.14279/tuj.eceasst.12

Table of Contents

Preface

Preface
Julia Padberg, Kathrin Hoffmann
PDF

Articles

Analysis of Mobile Agents using Invariants of Object Nets
Michael Köhler-Bußmeier, Daniel Moldt
PDF
Layered Architecture Consistency for MANETs: Introducing New Team Members
Julia Padberg, Enrico Biermann, Kathrin Hoffmann
PDF
Using Resources as Synchronizers to Manage Mobile Process Adaptation
Paolo Bottoni, Fabio De Rosa, Massimo Mecella
PDF
On a General Notion of Transformation for Multiagent Systems and its Implementation
Jochen Pfalzgraf, Thomas Soboll
PDF
On the Modelling of an Agent's Epistemic State and its Dynamic Changes
Christoph Beierle, Gabriele Kern-Isberner
PDF
Flexible Modeling of Emergency Scenarios using Reconfigurable Systems
Kathrin Hoffmann, Hartmut Ehrig, Julia Padberg
PDF