TY - GEN A1 - Graff, Daniel A1 - Röhrig, Daniel A1 - Karnapke, Reinhardt T1 - Systemic Support of Transaction-Based Spatial-Temporal Programming of Mobile Robot Swarms T2 - Proceedings of the 40th Annual IEEE Conference on Local Computer Networks LCN 2015, Clearwater Beach, Florida, USA N2 - In this paper, we present an approach to support transaction-based spatial-temporal programming of mobile robot swarms on a systemic level. We introduce a programming model for swarms of mobile robots. Swarm applications consist of concurrent, distributed and context-aware actions. We provide distributed transactions in order to guarantee atomic execution of a set of dependent actions. We distinguish between schedulability and executability of a set of actions. In order to guarantee exe- cutability of a distributed transaction of spatial-temporal actions, we present the concept of path alternatives and a time-based two- phase commit protocol in order to assure consistency. We show the feasibility of our approach by a proof-of-concept. Y1 - 2016 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/15068 SP - 730 EP - 733 PB - IEEE ER -