Pu­bli­ca­ti­ons

2021

Technical & Data Protection Aspects of a Smart Digital Control Center for Smart Cities. Stroscher, Jan-Philipp; Schnaubelt, Marius; Sanchez Guinea, Alejandro; Fabian, Stefan; von Willich, Julius; Alhamwy, Yasin; Bauer, Maximilian; von Stryk, Oskar; Mühlhäuser, Max; Geihs, Kurt; Klingauf, Uwe; Hornung, Gerrit G. für Informatik e.V. (GI) (Hrsg.) (2021). 1047–1058.
[ BibTeX ]
 
@inproceedings{mci/Stroscher2021, author = {Stroscher, Jan-Philipp and Schnaubelt, Marius and Sanchez Guinea, Alejandro and Fabian, Stefan and von Willich, Julius and Alhamwy, Yasin and Bauer, Maximilian and von Stryk, Oskar and Mühlhäuser, Max and Geihs, Kurt and Klingauf, Uwe and Hornung, Gerrit}, booktitle = {INFORMATIK 2021}, editor = {für Informatik e.V. (GI), Gesellschaft}, keywords = {sys:relevantfor:vskassel emergenCity itegpub vs}, pages = {1047-1058}, publisher = {Gesellschaft für Informatik, Bonn}, title = {Technical & Data Protection Aspects of a Smart Digital Control Center for Smart Cities}, year = 2021 }
Blockchain-based Task-centric Team Building. Jahl, Alexander; Jakob, Stefan; Baraki, Harun; Alhamwy, Yasin; Geihs, Kurt (2021).
[ BibTeX ]
 
@inproceedings{jahl2021, author = {Jahl, Alexander and Jakob, Stefan and Baraki, Harun and Alhamwy, Yasin and Geihs, Kurt}, booktitle = {Proceedings of the 13th International Conference on Agents and Artificial Intelligence}, keywords = {itegpub vs}, organization = {INSTICC}, publisher = {SciTePress}, title = {Blockchain-based Task-centric Team Building}, year = 2021 }
Generating Commonsense Ontologies with Answer Set Programming. Jakob, Stefan; Jahl, Alexander; Baraki, Harun; Geihs, Kurt (2021).
[ BibTeX ]
 
@inproceedings{jakob2021, author = {Jakob, Stefan and Jahl, Alexander and Baraki, Harun and Geihs, Kurt}, booktitle = {Proceedings of the 13th International Conference on Agents and Artificial Intelligence}, keywords = {itegpub vs}, organization = {INSTICC}, publisher = {SciTePress}, title = {Generating Commonsense Ontologies with Answer Set Programming}, year = 2021 }
Information Management for Multi-Agent Systems. Alhamwy, Yasin in Electronic Communications of the EASST (2021). 80
[ BibTeX ]
 
@article{alhamwy2021information, author = {Alhamwy, Yasin}, journal = {Electronic Communications of the EASST}, keywords = {emergencity itegpub sys:relevantfor:vskassel vs}, title = {Information Management for Multi-Agent Systems}, volume = 80, year = 2021 }
Adaptive Semantic Routing in Dynamic Environments. Jakob, Stefan; Baraki, Harun; Jahl, Alexander; Chiadjeu, Eric Douglas Nyakam; Alhamwy, Yasin; Geihs, Kurt (2021).
[ BibTeX ]
 
@inproceedings{jakob2021adaptive, author = {Jakob, Stefan and Baraki, Harun and Jahl, Alexander and Chiadjeu, Eric Douglas Nyakam and Alhamwy, Yasin and Geihs, Kurt}, booktitle = {Proceedings of the 13th International Conference on Agents and Artificial Intelligence}, keywords = {itegpub vs}, organization = {INSTICC}, publisher = {SciTePress}, title = {Adaptive Semantic Routing in Dynamic Environments}, year = 2021 }
A Feasibility Analysis of Tether Localisation for Mobile Robots Alhamwy, Yasin; Watson, Simon; Carrasco, Joaquin; Cooper, Glen; Geihs, Kurt (2021). Zenodo, Bremerhaven, Germany.
[ BibTeX ] [ URL ]
 
@proceedings{yasin_alhamwy_2021_5603331, address = {Bremerhaven, Germany}, author = {Alhamwy, Yasin and Watson, Simon and Carrasco, Joaquin and Cooper, Glen and Geihs, Kurt}, keywords = {sys:relevantfor:vskassel emergenCity vs}, month = {oct}, publisher = {Zenodo}, title = {A Feasibility Analysis of Tether Localisation for Mobile Robots}, year = 2021 }
Performance Analysis of Mobile Computing in Edge/Cloud Configurations with Feedback. Geihs, Kurt (2021).
[ BibTeX ]
 
@conference{geihs2021performance, address = {Madrid/Spain}, author = {Geihs, Kurt}, booktitle = {IEEE GLOBECOM 2021 Workshop on Communication and Networking for Cloud-integrated Edge Computing}, keywords = {sys:relevantfor:vskassel vs}, month = {December}, publisher = {IEEE}, title = {Performance Analysis of Mobile Computing in Edge/Cloud Configurations with Feedback}, year = 2021 }

2020

A Self-Organizing Multi-Agent Knowledge Base. Jakob, Stefan; Jahl, Alexander; Baraki, Harun; Geihs, Kurt (2020).
[ BibTeX ]
 
@inproceedings{jakob2020, author = {Jakob, Stefan and Jahl, Alexander and Baraki, Harun and Geihs, Kurt}, booktitle = {The IEEE 2020 International Conference on Web Services (ICWS 2020)}, keywords = {itegpub vs}, organization = {IEEE}, publisher = {IEEE}, title = {A Self-Organizing Multi-Agent Knowledge Base}, year = 2020 }
Performance analysis of edge-fog-cloud architectures in the Internet of Things. Geihs, Kurt; Baraki, Harun; de la Oliva, Antonio (2020).
[ Abstract ] [ BibTeX ]
 
We present a general performance model for communication architectures in Internet of Things scenarios. The architecture involves three processing layers, i.e., edge, fog, and cloud computing. According to the objectives of edge and fog computing, we assume that a certain percentage of the data is finally processed at the edge and fog layer. The rest is forwarded to the next higher layer for further processing. Data processing is modeled as a sequence of queueing stations. This allows us to compute performance parameters such as throughput and response times at all layers. The main contribution of this paper is an easy to use method for IoT application designers that provides a very fast and very flexible parametric support for evaluating design trade-offs in edge-fog-cloud configurations.
@conference{geihs2020performance, abstract = {We present a general performance model for communication architectures in Internet of Things scenarios. The architecture involves three processing layers, i.e., edge, fog, and cloud computing. According to the objectives of edge and fog computing, we assume that a certain percentage of the data is finally processed at the edge and fog layer. The rest is forwarded to the next higher layer for further processing. Data processing is modeled as a sequence of queueing stations. This allows us to compute performance parameters such as throughput and response times at all layers. The main contribution of this paper is an easy to use method for IoT application designers that provides a very fast and very flexible parametric support for evaluating design trade-offs in edge-fog-cloud configurations.}, author = {Geihs, Kurt and Baraki, Harun and de la Oliva, Antonio}, booktitle = {Proceedings of the 13th IEEE/ACM International Conference on Utility and Cloud Computing Companion}, keywords = {iot itegpub vs}, month = {December}, publisher = {IEEE/ACM}, title = {Performance analysis of edge-fog-cloud architectures in the Internet of Things}, year = 2020 }
Engineering Challenges Ahead for Robot Teamwork in Dynamic Environments. Geihs, Kurt in Applied Sciences (2020). 10(4) 1368.
[ BibTeX ]
 
@article{geihs2020engineering, author = {Geihs, Kurt}, journal = {Applied Sciences}, keywords = {alica itegpub vs}, number = 4, pages = 1368, publisher = {Multidisciplinary Digital Publishing Institute}, title = {Engineering Challenges Ahead for Robot Teamwork in Dynamic Environments}, volume = 10, year = 2020 }

2019

Teaching Commonsense and Dynamic Knowledge to Service Robots. Opfer, Stephan; Jakob, Stefan; Geihs, Kurt (2019).
[ BibTeX ]
 
@inproceedings{Opfer2019b, author = {Opfer, Stephan and Jakob, Stefan and Geihs, Kurt}, booktitle = {11th Conference on Social Robotics (ICSR2019)}, keywords = {itegpub vs}, title = {{Teaching Commonsense and Dynamic Knowledge to Service Robots}}, year = 2019 }
Hierarchical Multi-Agent Deep Reinforcement Learning to Develop Long-Term Coordination. Ossenkopf, Marie; Jorgensen, Mackenzie; Geihs, Kurt in Proceedings of the 34th Annual ACM Symposium on Applied Computing SAC (2019).
[ BibTeX ] [ URL ]
 
@article{ossenkopf2019hierarchical, author = {Ossenkopf, Marie and Jorgensen, Mackenzie and Geihs, Kurt}, journal = {Proceedings of the 34th Annual ACM Symposium on Applied Computing SAC}, keywords = {itegpub vs}, title = {Hierarchical Multi-Agent Deep Reinforcement Learning to Develop Long-Term Coordination}, year = 2019 }
ALICA 2.0 - Domain-Independent Teamwork. Opfer, Stephan; Jakob, Stefan; Jahl, Alexander; Geihs, Kurt (2019).
[ BibTeX ]
 
@inproceedings{opfer2019ALICA, author = {Opfer, Stephan and Jakob, Stefan and Jahl, Alexander and Geihs, Kurt}, booktitle = {Proceedings of 42nd German Conference on Artificial Intelligence (KI2019)}, keywords = {alica itegpub vs}, title = {ALICA 2.0 - Domain-Independent Teamwork}, year = 2019 }
Optimizing Applications for Mobile Cloud Computing Through MOCCAA. Baraki, Harun; Jahl, Alexander; Jakob, Stefan; Schwarzbach, Corvin; Fax, Malte; Geihs, Kurt in Journal of Grid Computing (2019). 1–26.
[ BibTeX ]
 
@article{baraki2019optimizing, author = {Baraki, Harun and Jahl, Alexander and Jakob, Stefan and Schwarzbach, Corvin and Fax, Malte and Geihs, Kurt}, journal = {Journal of Grid Computing}, keywords = {itegpub vs}, pages = {1–26}, publisher = {Springer}, title = {Optimizing Applications for Mobile Cloud Computing Through MOCCAA}, year = 2019 }
Long-Horizon Active SLAM system for multi-agent coordinated exploration. Ossenkopf, Marie; Castro, Gastón; Pessacg, Facundo; Geihs, Kurt; De Cristóforis, Pablo (2019). 1–6.
[ BibTeX ]
 
@inproceedings{ossenkopf2019long, author = {Ossenkopf, Marie and Castro, Gast{ó}n and Pessacg, Facundo and Geihs, Kurt and De Crist{ó}foris, Pablo}, booktitle = {2019 European Conference on Mobile Robots (ECMR)}, keywords = {itegpub vs}, organization = {IEEE}, pages = {1–6}, title = {Long-Horizon Active SLAM system for multi-agent coordinated exploration}, year = 2019 }
When Does Communication Learning Need Hierarchical Multi-Agent Deep Reinforcement Learning. Ossenkopf, Marie; Jorgensen, Mackenzie; Geihs, Kurt in Cybernetics and Systems (2019). 50(8) 672–692.
[ Abstract ] [ BibTeX ] [ URL ]
 
AbstractMulti-agent systems need to communicate to coordinate a shared task. We show that a recurrent neural network (RNN) can learn a communication protocol for coordination, even if the actions to coordinate are performed steps after the communication phase. We show that a separation of tasks with different temporal scale is necessary for successful learning. We contribute a hierarchical deep reinforcement learning model for multi-agent systems that separates the communication and coordination task from the action picking through a hierarchical policy. We further on show that a separation of concerns in communication is beneficial but not necessary. As a testbed, we propose the Dungeon Lever Game and we extend the Differentiable Inter-Agent Learning (DIAL) framework. We present and compare results from different model variations on the Dungeon Lever Game.
@article{doi:10.1080/01969722.2019.1677335, abstract = {AbstractMulti-agent systems need to communicate to coordinate a shared task. We show that a recurrent neural network (RNN) can learn a communication protocol for coordination, even if the actions to coordinate are performed steps after the communication phase. We show that a separation of tasks with different temporal scale is necessary for successful learning. We contribute a hierarchical deep reinforcement learning model for multi-agent systems that separates the communication and coordination task from the action picking through a hierarchical policy. We further on show that a separation of concerns in communication is beneficial but not necessary. As a testbed, we propose the Dungeon Lever Game and we extend the Differentiable Inter-Agent Learning (DIAL) framework. We present and compare results from different model variations on the Dungeon Lever Game.}, author = {Ossenkopf, Marie and Jorgensen, Mackenzie and Geihs, Kurt}, journal = {Cybernetics and Systems}, keywords = {itegpub vs}, number = 8, pages = {672-692}, publisher = {Taylor & Francis}, title = {When Does Communication Learning Need Hierarchical Multi-Agent Deep Reinforcement Learning}, volume = 50, year = 2019 }
COOP - AutomatiC ValidatiOn of EvOlving Microservice ComPositions. Groh, Olga; Baraki, Harun; Jahl, Alexander; Geihs, Kurt (2019).
[ BibTeX ]
 
@inproceedings{Groh2019, author = {Groh, Olga and Baraki, Harun and Jahl, Alexander and Geihs, Kurt}, booktitle = {Proceedings of the Seminar Series on Advanced Techniques & Tools for Software Evolution (SATTOSE 2019)}, keywords = {adaptive co-evolution itegpub vs}, title = {COOP - AutomatiC ValidatiOn of EvOlving Microservice ComPositions}, year = 2019 }
Positioning of Active Wheels for Optimal Ball Handling. Beuermann, Maximilian; Ossenkopf, Marie; Geihs, Kurt (2019). 30–43.
[ BibTeX ]
 
@inproceedings{beuermann2019positioning, author = {Beuermann, Maximilian and Ossenkopf, Marie and Geihs, Kurt}, booktitle = {Robot World Cup}, keywords = {itegpub vs}, organization = {Springer}, pages = {30–43}, title = {Positioning of Active Wheels for Optimal Ball Handling}, year = 2019 }

2018

Reasoning for Autonomous Agents in Dynamic Domains: Towards Automatic Satisfaction of the Module Property. Opfer, Stephan; Jakob, Stefan; Geihs, Kurt (2018). (Bd. 1) 22–47.
[ BibTeX ]
 
@inproceedings{opfer2018reasoning, author = {Opfer, Stephan and Jakob, Stefan and Geihs, Kurt}, booktitle = {Agents and Artificial Intelligence}, keywords = {alica itegpub vs}, pages = {22–47}, publisher = {Springer International Publishing}, title = {Reasoning for Autonomous Agents in Dynamic Domains: Towards Automatic Satisfaction of the Module Property}, volume = 1, year = 2018 }
SAM: A Semantic-aware Middleware for Mobile Cloud Computing. Baraki, Harun; Schwarzbach, Corvin; Jakob, Stefan; Jahl, Alexander; Geihs, Kurt (2018).
[ Abstract ] [ BibTeX ] [ URL ]
 
Mobile Cloud Computing (MCC) requires an infrastructure that is combining the capabilities of resource-constrained but mobile and context-aware devices with that of immovable but powerful resources in the cloud. Application execution shall be boosted and battery consumption reduced. Our goal is to relieve mobile devices by enabling applications to cooperate transparently with components provided by third parties remotely, locally, or both. For this purpose, we developed SAM - the Semantic-aware Middleware - and the SAM Store. The latter resembles a registry. It allows component providers to publish semantically enriched interfaces and to offer corresponding local and remote implementations. SAM makes use of the SAM Store to match local interprocess communication (IPC) messages transparently against local and remote components. This architecture facilitates the integration of powerful, but resource-intensive remote components, which may be prioritized over local ones, and fosters various patterns of cooperation that demonstrate useful solutions in the area of MCC. By means of a realistic scenario, our evaluation proves the efficiency with respect to latency and practicality.
@conference{baraki-etal-cloud2018, abstract = {Mobile Cloud Computing (MCC) requires an infrastructure that is combining the capabilities of resource-constrained but mobile and context-aware devices with that of immovable but powerful resources in the cloud. Application execution shall be boosted and battery consumption reduced. Our goal is to relieve mobile devices by enabling applications to cooperate transparently with components provided by third parties remotely, locally, or both. For this purpose, we developed SAM - the Semantic-aware Middleware - and the SAM Store. The latter resembles a registry. It allows component providers to publish semantically enriched interfaces and to offer corresponding local and remote implementations. SAM makes use of the SAM Store to match local interprocess communication (IPC) messages transparently against local and remote components. This architecture facilitates the integration of powerful, but resource-intensive remote components, which may be prioritized over local ones, and fosters various patterns of cooperation that demonstrate useful solutions in the area of MCC. By means of a realistic scenario, our evaluation proves the efficiency with respect to latency and practicality.}, author = {Baraki, Harun and Schwarzbach, Corvin and Jakob, Stefan and Jahl, Alexander and Geihs, Kurt}, booktitle = {2018 IEEE 11th International Conference on Cloud Computing (CLOUD)}, keywords = {sys:relevantfor:vskassel cloud co-evolution itegpub vs}, publisher = {IEEE}, title = {SAM: A Semantic-aware Middleware for Mobile Cloud Computing}, year = 2018 }
Behavior-based Service Change Detection. Jahl, Alexander; Tran, Tam Huu; Baraki, Harun; Geihs, Kurt (2018).
[ BibTeX ]
 
@inproceedings{jahl2018behaviorbased, author = {Jahl, Alexander and Tran, Tam Huu and Baraki, Harun and Geihs, Kurt}, booktitle = {4th IEEE International Conference on Smart Computing (SMARTCOMP)}, keywords = {adaptive co-evolution itegpub vs}, organization = {IEEE}, title = {Behavior-based Service Change Detection}, year = 2018 }
MOCCAA: A Delta-synchronized and Adaptable Mobile Cloud Computing Framework. Baraki, Harun; Schwarzbach, Corvin; Fax, Malte; Geihs, Kurt in Proceedings of the 8th International Conference on Cloud Computing and Services Science 2018, (SCITEPRESS, Hrsg.) (2018). 136–147.
[ Abstract ] [ BibTeX ] [ URL ]
 
Mobile Cloud Computing (MCC) requires an infrastructure that is merging the capabilities of resource-constrained but mobile and context-aware devices with that of immovable but powerful resources in the cloud. Application execution shall be boosted and battery consumption reduced. However, a solution's practicability is only ensured, if the provided tools, environment and framework themselves are performant too and if developers are able to adopt, extend and apply it easily. In this light, we introduce our comprehensive and extendable framework MOCCAA (MObile Cloud Computing AdaptAble) and demonstrate its effectiveness. Its performance gain is mainly achieved through minimized monitoring efforts for resource consumption prediction, scalable and location-aware resource discovery and management, and, in particular, through our graph-based delta synchronization of local and remote object states. This allows us to reduce synchronization costs significantly and improve quality dimensions such as latency and bandwidth consumption.
@article{unknown, abstract = {Mobile Cloud Computing (MCC) requires an infrastructure that is merging the capabilities of resource-constrained but mobile and context-aware devices with that of immovable but powerful resources in the cloud. Application execution shall be boosted and battery consumption reduced. However, a solution's practicability is only ensured, if the provided tools, environment and framework themselves are performant too and if developers are able to adopt, extend and apply it easily. In this light, we introduce our comprehensive and extendable framework MOCCAA (MObile Cloud Computing AdaptAble) and demonstrate its effectiveness. Its performance gain is mainly achieved through minimized monitoring efforts for resource consumption prediction, scalable and location-aware resource discovery and management, and, in particular, through our graph-based delta synchronization of local and remote object states. This allows us to reduce synchronization costs significantly and improve quality dimensions such as latency and bandwidth consumption.}, author = {Baraki, Harun and Schwarzbach, Corvin and Fax, Malte and Geihs, Kurt}, editor = {SCITEPRESS}, journal = {Proceedings of the 8th International Conference on Cloud Computing and Services Science 2018}, keywords = {adaptive co-evolution itegpub vs}, month = {03}, pages = {136-147}, title = {MOCCAA: A Delta-synchronized and Adaptable Mobile Cloud Computing Framework}, year = 2018 }
Decentralized decision making in adaptive multi-robot teams. Geihs, Kurt; Witsch, Andreas in it - Information Technology (2018). 60(4) 239–248.
[ BibTeX ]
 
@article{geihs2018decentralized, author = {Geihs, Kurt and Witsch, Andreas}, journal = {it - Information Technology}, keywords = {adaptive alica itegpub vs}, month = {jul}, number = 4, pages = {239-248}, title = {Decentralized decision making in adaptive multi-robot teams}, volume = 60, year = 2018 }
DECOM: A framework to support evolution of IoT services. Tran, Tam Huu; Jahl, Alexander; Geihs, Kurt; Kuppili, Ramaprasad; Nguyen, Thang Xuan; Binh Huynh, Thanh Thi (2018).
[ BibTeX ] [ URL ]
 
@inproceedings{tran2018decom, address = {Danang City, Viet Nam}, author = {Tran, Tam Huu and Jahl, Alexander and Geihs, Kurt and Kuppili, Ramaprasad and Nguyen, Thang Xuan and Binh Huynh, Thanh Thi}, booktitle = {Proceedings of the Ninth International Symposium on Information and Communication Technology}, keywords = {adaptive itegpub vs}, month = {December}, title = {DECOM: A framework to support evolution of IoT services}, year = 2018 }
Formal Verification of ALICA Multi-agent Plans Using Model Checking. Nguyen Van, Thao; Fredivianus, Nugroho; Tran, Tam Huu; Geihs, Kurt; Binh Huynh, Thanh Thi (2018).
[ BibTeX ] [ URL ]
 
@inproceedings{nguyenvan2018formal, address = {Danang City, Viet Nam}, author = {Nguyen Van, Thao and Fredivianus, Nugroho and Tran, Tam Huu and Geihs, Kurt and Binh Huynh, Thanh Thi}, booktitle = {Proceedings of the Ninth International Symposium on Information and Communication Technology}, keywords = {alica itegpub vs}, month = {December}, title = {Formal Verification of ALICA Multi-agent Plans Using Model Checking}, year = 2018 }
Student Competition Teams: Combining Research and Teaching. Opfer, Stephan; Ossenkopf, Marie; Geihs, Kurt (2018).
[ BibTeX ] [ URL ]
 
@inproceedings{opfer2018student, address = {Cape Town, South Africa}, author = {Opfer, Stephan and Ossenkopf, Marie and Geihs, Kurt}, booktitle = {Proceedings of the 47th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2018}, keywords = {itegpub vs}, title = {Student Competition Teams: Combining Research and Teaching}, year = 2018 }

2017

NICER911: Ad-hoc Communication and Emergency Services Using Networking Smartphones and Wireless Home Routers. Meurisch, Christian; Nguyen, The An Binh; Wulkotte, Stefan; Niemczyk, Stefan; Kohnhäuser, Florian; Mühlhäuser, Max (2017).
[ BibTeX ]
 
@inproceedings{meurisch2017nicer911, address = {Madras, Chennai, India}, author = {Meurisch, Christian and Nguyen, The An Binh and Wulkotte, Stefan and Niemczyk, Stefan and Kohnhäuser, Florian and Mühlhäuser, Max}, booktitle = {Proceedings of the 18th International Symposium on Mobile Ad Hoc Net-working and Computing (MobiHoc 2017)}, keywords = {itegpub vs}, title = {NICER911: Ad-hoc Communication and Emergency Services Using Networking Smartphones and Wireless Home Routers}, year = 2017 }
The Notion of Self-aware Computing. Kounev, Samuel; Lewis, Peter; Bellman, Kirstie L; Bencomo, Nelly; Camara, Javier; Diaconescu, Ada; Esterle, Lukas; Geihs, Kurt; Giese, Holger; Götz, Sebastian; others in Self-Aware Computing Systems (2017). 3–16.
[ BibTeX ]
 
@incollection{kounev2017notion, author = {Kounev, Samuel and Lewis, Peter and Bellman, Kirstie L and Bencomo, Nelly and Camara, Javier and Diaconescu, Ada and Esterle, Lukas and Geihs, Kurt and Giese, Holger and G{ö}tz, Sebastian and others}, booktitle = {Self-Aware Computing Systems}, keywords = {itegpub vs}, pages = {3–16}, publisher = {Springer}, title = {The Notion of Self-aware Computing}, year = 2017 }
State of the Art in Architectures for Self-aware Computing Systems. Giese, Holger; Vogel, Thomas; Diaconescu, Ada; Götz, Sebastian; Bencomo, Nelly; Geihs, Kurt; Kounev, Samuel; Bellman, Kirstie L in Self-Aware Computing Systems (2017). 237–275.
[ BibTeX ]
 
@incollection{giese2017state, author = {Giese, Holger and Vogel, Thomas and Diaconescu, Ada and G{ö}tz, Sebastian and Bencomo, Nelly and Geihs, Kurt and Kounev, Samuel and Bellman, Kirstie L}, booktitle = {Self-Aware Computing Systems}, keywords = {itegpub vs}, pages = {237–275}, publisher = {Springer}, title = {State of the Art in Architectures for Self-aware Computing Systems}, year = 2017 }
Self-aware Computing Systems: Open Challenges and Future Research Directions. Birke, Robert; Cámara, Javier; Chen, Lydia Y; Esterle, Lukas; Geihs, Kurt; Gelenbe, Erol; Giese, Holger; Robertsson, Anders; Zhu, Xiaoyun in Self-Aware Computing Systems (2017). 709–722.
[ BibTeX ]
 
@incollection{birke2017self, author = {Birke, Robert and C{á}mara, Javier and Chen, Lydia Y and Esterle, Lukas and Geihs, Kurt and Gelenbe, Erol and Giese, Holger and Robertsson, Anders and Zhu, Xiaoyun}, booktitle = {Self-Aware Computing Systems}, keywords = {itegpub vs}, pages = {709–722}, publisher = {Springer}, title = {Self-aware Computing Systems: Open Challenges and Future Research Directions}, year = 2017 }
Adaptive Task-Oriented Message Template for In-Network Processing. Nguyen, The An Bingh; Meurisch, Christian; Niemczyk, Stefan; Böhnstedt, Doreen; Geihs, Kurt; Mühlhäuser, Max; Steinmetz, Ralf (2017).
[ BibTeX ]
 
@inproceedings{geihsadaptive, address = {Göttingen, Germany}, author = {Nguyen, The An Bingh and Meurisch, Christian and Niemczyk, Stefan and Böhnstedt, Doreen and Geihs, Kurt and M{ü}hlh{ä}user, Max and Steinmetz, Ralf}, booktitle = {Proceedings of the International GI/ITG Conference on Network Systems (NetSys 2017)}, keywords = {itegpub vs}, title = {Adaptive Task-Oriented Message Template for In-Network Processing}, year = 2017 }
MiniWorld: Resource-aware Distributed Network Emulation via Full Virtualization. Schmidt, Nils; Baumgärtner, Lars; Lampe, Patrick; Geihs, Kurt; Freisleben, Bernd (2017).
[ BibTeX ]
 
@inproceedings{schmidt2017miniworld, address = {Heraklion, Greece}, author = {Schmidt, Nils and Baumgärtner, Lars and Lampe, Patrick and Geihs, Kurt and Freisleben, Bernd}, booktitle = {Proceedings of the 22nd IEEE Symposium on Computers and Communications}, keywords = {itegpub vs}, title = {MiniWorld: Resource-aware Distributed Network Emulation via Full Virtualization}, year = 2017 }
Optimization of Non-functional Properties in Internet of Things Applications. Nguyen, Xuan Thang; Tran, Huu Tam; Baraki, Harun; Geihs, Kurt in Journal of Network and Computer Applications (2017).
[ BibTeX ]
 
@article{nguyen2017optimization, author = {Nguyen, Xuan Thang and Tran, Huu Tam and Baraki, Harun and Geihs, Kurt}, journal = {Journal of Network and Computer Applications}, keywords = {itegpub prosecco sys:relevantfor:iteg sys:relevantfor:vskassel vs}, publisher = {Elsevier}, title = {Optimization of Non-functional Properties in Internet of Things Applications}, year = 2017 }
On-the-Fly Transformation Synthesis for Information Sharing in Heterogeneous Multi-Agent Systems. Niemczyk, Stefan; Fredivianus, Nugroho; Geihs, Kurt (2017).
[ BibTeX ]
 
@inproceedings{niemczyk2017onthefly, address = {Marakesh, Marocco}, author = {Niemczyk, Stefan and Fredivianus, Nugroho and Geihs, Kurt}, booktitle = {Proceedings of Intelligent Robotics and Multi-Agent Systems (IRMAS '17)}, keywords = {itegpub vs}, title = {On-the-Fly Transformation Synthesis for Information Sharing in Heterogeneous Multi-Agent Systems}, year = 2017 }
Reinforcement Learning for Manipulators without Direct Obstacle Perception in Physically Constrained Environments. Ossenkopf, Marie; Ennen, Philipp; Vossen, Rene; Jeschke, Sabina in Procedia Manufacturing (2017). 11 329–337.
[ BibTeX ]
 
@article{ossenkopf2017reinforcement, author = {Ossenkopf, Marie and Ennen, Philipp and Vossen, Rene and Jeschke, Sabina}, journal = {Procedia Manufacturing}, keywords = {reinforcementLearning vs}, pages = {329–337}, publisher = {Elsevier}, title = {Reinforcement Learning for Manipulators without Direct Obstacle Perception in Physically Constrained Environments}, volume = 11, year = 2017 }
ICE – Self-Configuration of Information Processing in Heterogeneous Agent Teams. Niemczyk, Stefan; Opfer, Stephan; Fredivianus, Nugroho; Geihs, Kurt (2017).
[ BibTeX ]
 
@inproceedings{niemczyk2017selfconfiguration, address = {Marakesh, Marocco}, author = {Niemczyk, Stefan and Opfer, Stephan and Fredivianus, Nugroho and Geihs, Kurt}, booktitle = {Proceedings of 12th Dependable, Adaptive, and Trustworthy Distributed Systems (DADS '17)}, keywords = {itegpub vs}, title = {ICE – Self-Configuration of Information Processing in Heterogeneous Agent Teams}, year = 2017 }
Upgrading Wireless Home Routers as Emergency Cloudlet and Secure DTN Communication Bridge. Meurisch, Christian; Nguyen, The An Binh; Gedeon, Julien; Kohnhäuser, Florian; Schmittner, Milan; Niemczyk, Stefan; Wullkotte, Stefan; Mühlhäuser, Max (2017).
[ BibTeX ]
 
@inproceedings{TUD-CS-2017-0103, author = {Meurisch, Christian and Nguyen, The An Binh and Gedeon, Julien and Kohnh{ä}user, Florian and Schmittner, Milan and Niemczyk, Stefan and Wullkotte, Stefan and M{ü}hlh{ä}user, Max}, booktitle = {International Conference on Computer Communications and Networks (ICCCN'17): Posters}, keywords = {nicer vs}, month = {jul}, publisher = {IEEE}, title = {Upgrading Wireless Home Routers as Emergency Cloudlet and Secure DTN Communication Bridge}, year = 2017 }
Classifier Systems with Native Fuzzy Logic Control Operation. Fredivianus, Nugroho; Geihs, Kurt in GECCO ’17 (2017). 1341–1348.
[ BibTeX ] [ URL ]
 
@inproceedings{Fredivianus:2017:CSN:3067695.3082487, address = {New York, NY, USA}, author = {Fredivianus, Nugroho and Geihs, Kurt}, booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference Companion}, keywords = {XCS classifier_control_fuzzy_logic_systems vs}, pages = {1341–1348}, publisher = {ACM}, series = {GECCO '17}, title = {Classifier Systems with Native Fuzzy Logic Control Operation}, year = 2017 }
Lifting Low-Level Changes through User-Defined Graph-Rule-Based Patterns. Jahl, Alexander; Baraki, Harun; Tran, Huu Tam; Kuppili, Ramaprasad; Geihs, Kurt (2017). 115–128.
[ Abstract ] [ BibTeX ] [ URL ]
 
In dynamic service-oriented architectures, services and service compositions underlie constant evolution that may not only affect the own workflow but dependent services too. Subsequently, required adaptations necessitate an effective detection of the changes and their effects. Merely capturing a sequence of low-level changes and analyzing each of them demands much coordination and may lead to an incomplete picture. An abstraction that summarizes a combination of low-level changes will facilitate the detection and reduce the number of changes that shall be considered for adaptation. In this paper, we propose an abstraction that is formulated through graph-based patterns, since service compositions are workflows that can be mapped to directed labeled graphs. The characteristics and granularity of a graph pattern can be adjusted by domain experts to the respective workflow language and application case. In particular, graph-based patterns are crucial when workflows are represented in two different formats. This could be the case if there exists one representation for the execution and one for the verification. We present implementation details and a detailed example that shows the feasibility and simplicity of our solution.
@inproceedings{jahl2017lifting, abstract = {In dynamic service-oriented architectures, services and service compositions underlie constant evolution that may not only affect the own workflow but dependent services too. Subsequently, required adaptations necessitate an effective detection of the changes and their effects. Merely capturing a sequence of low-level changes and analyzing each of them demands much coordination and may lead to an incomplete picture. An abstraction that summarizes a combination of low-level changes will facilitate the detection and reduce the number of changes that shall be considered for adaptation. In this paper, we propose an abstraction that is formulated through graph-based patterns, since service compositions are workflows that can be mapped to directed labeled graphs. The characteristics and granularity of a graph pattern can be adjusted by domain experts to the respective workflow language and application case. In particular, graph-based patterns are crucial when workflows are represented in two different formats. This could be the case if there exists one representation for the execution and one for the verification. We present implementation details and a detailed example that shows the feasibility and simplicity of our solution.}, author = {Jahl, Alexander and Baraki, Harun and Tran, Huu Tam and Kuppili, Ramaprasad and Geihs, Kurt}, booktitle = {Proceedings of the 17th IFIP International Conference on Distributed Applications and Interoperable Systems: DAIS}, keywords = {co-evolution itegpub prosecco vs}, pages = {115-128}, publisher = {Springer}, title = {Lifting Low-Level Changes through User-Defined Graph-Rule-Based Patterns}, year = 2017 }
Reasoning for Autonomous Agents in Dynamic Domains. Opfer, Stephan; Jakob, Stefan; Geihs, Kurt (2017). (Bd. Volume 2)
[ BibTeX ] [ URL ]
 
@inproceedings{opfer2017reasoning, address = {Porto, Portugal}, author = {Opfer, Stephan and Jakob, Stefan and Geihs, Kurt}, booktitle = {Proceedings of the 9th International Conference on Agents and Artificial Intelligence: ICAART}, keywords = {sys:relevantfor:vskassel ASP alica autonomous-agents itegpub vs}, title = {Reasoning for Autonomous Agents in Dynamic Domains}, volume = {Volume 2}, year = 2017 }

2016

Multi-Agent Plan Verification with Answer Set Programming. Opfer, Stephan; Niemczyk, Stefan; Geihs, Kurt (2016).
[ Abstract ] [ BibTeX ]
 
Reasoning about multi-agent plans allows to detect modelling failures and to improve the efficiency of the modelling process. Therefore, we evaluate the applicability of an answer set programming based reasoning support for the multi-agent modelling language ALICA. For a proper judgement several reasoning tasks of different complexity are investigated. The overall architecture is highlighted and encountered problems are discussed. Finally it is concluded that answer set programming is a promising approach for reasoning about multi-agent plans.
@inproceedings{opfer2016multiagent, abstract = {Reasoning about multi-agent plans allows to detect modelling failures and to improve the efficiency of the modelling process. Therefore, we evaluate the applicability of an answer set programming based reasoning support for the multi-agent modelling language ALICA. For a proper judgement several reasoning tasks of different complexity are investigated. The overall architecture is highlighted and encountered problems are discussed. Finally it is concluded that answer set programming is a promising approach for reasoning about multi-agent plans.}, address = {Leipzig, Germany}, author = {Opfer, Stephan and Niemczyk, Stefan and Geihs, Kurt}, booktitle = {Proceedings ot the Third Workshop on Model-Driven Robot Software Engineering (MORSE16)}, keywords = {alica itegpub vs}, month = {jul}, publisher = {ACM}, title = {Multi-Agent Plan Verification with Answer Set Programming}, year = 2016 }
A multi-tenant hierarchical modeling for cloud computing workload. An, Chunyan; Zhou, Jiantao; Liu, Shuai; Geihs, Kurt in Intelligent Automation & Soft Computing (2016). 1–8.
[ Abstract ] [ BibTeX ] [ URL ]
 
AbstractDiverse realistic workloads are urgently needed by SaaS providers and researchers to study the cloud environment. Workload model is an important way to specify and produce workloads. However, existing workload models are usually simplified. They cannot comprehensively describe the variations of the behaviors in user-level, application-level and service level in real environment. Moreover, existing workload models are aimed to only specific applications. They fail to support multi-users, multi-applications and multi-service-units in one workload model. To solve the problem, a hierarchical workload modeling approach is proposed in this paper. The approach constructs a cloud workload model on three layers: User, application, service-units. At each layer two key time-varying variations are captured; amount and composition. Then the workload model is the superposition of the three layers. The approach provides a unified model for different applications and various user behaviors. The experiments give the hierarchical workload models of three examples, which applications are Bag-of-Tasks, MapReduce and self-contained service-units. The experimental results show the flexibility of the novel workload modeling. Finally, architecture of a workload generator based on the model is given.
@article{an2016multitenant, abstract = {AbstractDiverse realistic workloads are urgently needed by SaaS providers and researchers to study the cloud environment. Workload model is an important way to specify and produce workloads. However, existing workload models are usually simplified. They cannot comprehensively describe the variations of the behaviors in user-level, application-level and service level in real environment. Moreover, existing workload models are aimed to only specific applications. They fail to support multi-users, multi-applications and multi-service-units in one workload model. To solve the problem, a hierarchical workload modeling approach is proposed in this paper. The approach constructs a cloud workload model on three layers: User, application, service-units. At each layer two key time-varying variations are captured; amount and composition. Then the workload model is the superposition of the three layers. The approach provides a unified model for different applications and various user behaviors. The experiments give the hierarchical workload models of three examples, which applications are Bag-of-Tasks, MapReduce and self-contained service-units. The experimental results show the flexibility of the novel workload modeling. Finally, architecture of a workload generator based on the model is given.}, author = {An, Chunyan and Zhou, Jiantao and Liu, Shuai and Geihs, Kurt}, journal = {Intelligent Automation & Soft Computing}, keywords = {vs}, pages = {1-8}, title = {A multi-tenant hierarchical modeling for cloud computing workload}, year = 2016 }
From Requirement to Design Patterns for Ubiquitous Computing Applications. Knote, Robin; Baraki, Harun; Söllner, Matthias; Geihs, Kurt; Leimeister, Jan Marco (2016).
[ BibTeX ]
 
@inproceedings{knote2016requirement, address = {Germany}, author = {Knote, Robin and Baraki, Harun and Söllner, Matthias and Geihs, Kurt and Leimeister, Jan Marco}, booktitle = {Proceedings of the 21st European Conference on Pattern Languages of Programs}, keywords = {vs}, month = {jul}, title = {From Requirement to Design Patterns for Ubiquitous Computing Applications}, year = 2016 }
User Intervention in Self-adaptive Context-aware Applications. Geihs, Kurt; Evers, Christoph in ACSW ’16 (2016). 51:1–51:8.
[ BibTeX ] [ URL ]
 
@inproceedings{Geihs:2016:UIS:2843043.2843373, address = {New York, NY, USA}, author = {Geihs, Kurt and Evers, Christoph}, booktitle = {Proceedings of the Australasian Computer Science Week Multiconference}, keywords = {itegpub vs}, month = {feb}, pages = {51:1–51:8}, publisher = {ACM}, series = {ACSW '16}, title = {User Intervention in Self-adaptive Context-aware Applications}, year = 2016 }
"Know thyselves" - Computational Self-Reflection in Collective Technical Systems. Haehner, Joerg; von Mammen, Sebastian; Timpf, Sabine; Tomforde, Sven; Sick, Bernhard; Geihs, Kurt; Stumme, Gerd; Hornung, Gerrit; Goeble, Thilo (2016).
[ BibTeX ]
 
@inproceedings{haehner2016thyselves, author = {Haehner, Joerg and von Mammen, Sebastian and Timpf, Sabine and Tomforde, Sven and Sick, Bernhard and Geihs, Kurt and Stumme, Gerd and Hornung, Gerrit and Goeble, Thilo}, booktitle = {Proceedings of the 3rd International Workshop on Self-optimisation in Autonomic and Organic Computing Systems (SAOS), co-located with ARCS'2016}, keywords = {vs}, month = {apr}, title = {"Know thyselves" - Computational Self-Reflection in Collective Technical Systems}, year = 2016 }
A Notification Management Architecture for Service Co-evolution in the Internet of Things. Tran, Huu Tam; Baraki, Harun; Kuppili, Ramaprasad; Taherkordi, Amir; Geihs, Kurt (2016).
[ BibTeX ]
 
@inproceedings{tran2016notification, author = {Tran, Huu Tam and Baraki, Harun and Kuppili, Ramaprasad and Taherkordi, Amir and Geihs, Kurt}, booktitle = {10th Symposium on the Maintenance and Evolution of Service-Oriented Systems and Cloud-Based Environments}, keywords = {co-evolution vs}, month = {oct}, publisher = {IEEE}, title = {A Notification Management Architecture for Service Co-evolution in the Internet of Things}, year = 2016 }

2015

Calculation of COBIT Metrics Using a Formal Ontology. Textor, Andreas; Geihs, Kurt (2015).
[ BibTeX ]
 
@inproceedings{textor2015calculation, address = {Ottawa, Canada}, author = {Textor, Andreas and Geihs, Kurt}, booktitle = {10th IFIP/IEEE International Workshop on Business-driven IT Management}, keywords = {vs}, month = {may}, title = {Calculation of COBIT Metrics Using a Formal Ontology}, year = 2015 }
An Adaptive Middleware Core for a Multi-Agent Coordination Language. Witsch, Andreas; Geihs, Kurt (2015). 1–8.
[ BibTeX ]
 
@inproceedings{cacenetsys, author = {Witsch, Andreas and Geihs, Kurt}, booktitle = {2015 International Conference and Workshops on Networked Systems (NetSys)}, keywords = {ALICA VS itegpub}, month = {March}, pages = {1-8}, publisher = {IEEE}, title = {An Adaptive Middleware Core for a Multi-Agent Coordination Language}, year = 2015 }
Service Co-evolution in the Internet of Things. Tran, Huu Tam; Baraki, Harun; Geihs, Kurt in EAI Endorsed Transactions on Cloud Systems (2015). 15(1)
[ BibTeX ] [ URL ]
 
@article{tran2015service, author = {Tran, Huu Tam and Baraki, Harun and Geihs, Kurt}, journal = {EAI Endorsed Transactions on Cloud Systems}, keywords = {co-evolution itegpub myown service vs}, month = 2, number = 1, publisher = {ICST}, title = {Service Co-evolution in the Internet of Things}, volume = 15, year = 2015 }
Interdisciplinary Design Patterns for Socially Aware Computing. Baraki, Harun; Geihs, Kurt; Voigtmann, Christian; Hoffmann, Axel; Kniewel, Romy; Macek, Björn-Elmar; Zirfas, Julia (2015).
[ Abstract ] [ BibTeX ] [ URL ]
 
The success of software applications that collect and process personal data does not only depend on technical aspects, but is also linked to social compatibility and user acceptance. It requires experts from different disciplines to ensure legal compliance, to foster the users' trust, to enhance the usability of the application and to finally realize the application. Multidisciplinary requirements have to be formulated, interwoven and implemented. We advocate the use of interdisciplinary design patterns that capture the design know-how of typical, recurring features in socially aware applications with particular concern for socio-technical requirements. The proposed patterns address interdisciplinary concerns in a tightly interwoven manner and are intended to facilitate the development of accepted and acceptable applications that in particular deal with sensitive user context information.
@inproceedings{baraki2015interdisciplinary, abstract = {The success of software applications that collect and process personal data does not only depend on technical aspects, but is also linked to social compatibility and user acceptance. It requires experts from different disciplines to ensure legal compliance, to foster the users' trust, to enhance the usability of the application and to finally realize the application. Multidisciplinary requirements have to be formulated, interwoven and implemented. We advocate the use of interdisciplinary design patterns that capture the design know-how of typical, recurring features in socially aware applications with particular concern for socio-technical requirements. The proposed patterns address interdisciplinary concerns in a tightly interwoven manner and are intended to facilitate the development of accepted and acceptable applications that in particular deal with sensitive user context information.}, author = {Baraki, Harun and Geihs, Kurt and Voigtmann, Christian and Hoffmann, Axel and Kniewel, Romy and Macek, Björn-Elmar and Zirfas, Julia}, booktitle = {The 37th International Conference on Software Engineering (ICSE), Software Engineering in Society (SEIS) track}, keywords = {design interdisciplinary itegpub myown pattern socio-technical vs}, publisher = {ACM/IEEE}, title = {Interdisciplinary Design Patterns for Socially Aware Computing}, year = 2015 }
All Together Now: Collective Intelligence for Computer-Supported Collective Action. Valetto, G.; Bucchiarone, A.; Geihs, K.; Buscher, M.; Petersen, K.; Nowak, A.; Rychwalska, A.; Pitt, J.; Shalhoub, J.; Rossi, F.; Silingardi, P.; Bernardeschi, P. (2015).
[ Abstract ] [ BibTeX ]
 
In their contribution, Valetto et al. outline a new methodological paradigm and software platform for designing sustainable computer-supported collective action in smart communities. This enables, for instance, collaborative energy conservation within smart cities. The presented platform is based on the idea of "Collective Intelligence as a Service" and uses insights from dynamic psychological processes and social practices.
@inproceedings{valetto2015together, abstract = {In their contribution, Valetto et al. outline a new methodological paradigm and software platform for designing sustainable computer-supported collective action in smart communities. This enables, for instance, collaborative energy conservation within smart cities. The presented platform is based on the idea of "Collective Intelligence as a Service" and uses insights from dynamic psychological processes and social practices.}, address = {Cambridge, MA}, author = {Valetto, G. and Bucchiarone, A. and Geihs, K. and Buscher, M. and Petersen, K. and Nowak, A. and Rychwalska, A. and Pitt, J. and Shalhoub, J. and Rossi, F. and Silingardi, P. and Bernardeschi, P.}, booktitle = {Third International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems}, keywords = {itegpub vs}, month = {sep}, title = {All Together Now: Collective Intelligence for Computer-Supported Collective Action}, year = 2015 }
Ubiquitäre IKT-Systeme und -Anwendungen. Geihs, Kurt in Innovationsführerschaft - Credo und Praxis, A. Schröder, T. Sommerlatte (Hrsg.) (2015). (First )
[ BibTeX ]
 
@incollection{geihs2015ubiquitre, address = {Düsseldorf}, author = {Geihs, Kurt}, booktitle = {Innovationsführerschaft - Credo und Praxis}, edition = {First}, editor = {Schröder, Axel and Sommerlatte, Tom}, keywords = {itegpub vs}, publisher = {Symposion Publishing}, title = {Ubiquitäre IKT-Systeme und -Anwendungen}, year = 2015 }
Distributed Service Co-evolution based on Domain Objects. De Sanctis, Martina; Geihs, Kurt; Bucchiarone, Antonio; Valetto, Giuseppe; Marconi, Annapaola; Pistore, Marco (2015).
[ Abstract ] [ BibTeX ]
 
Service evolution is a critical ingredient of the service life-cycle. The more our society depends on large-scale, complex service environments including cloud and mobile services, the more pressing becomes the question of how to evolve a service on-the-fly at runtime without bringing whole systems to a halt. Service inter–dependencies make it increasingly difficult to manage the service collection as a whole. Thus, there is an urgent need for coordinated service evolution. The main contributions of this paper are a conceptual solution for dynamic on-the-fly co-evolution of services, and a framework that supports the engineering of such co-evolution support. We analyze the types of changes that might happen in a service and their potential impact on dependent clients and servers. We present the design of a co-evolution support infrastructure based on a service computing model and platform. Our solution is built on top of the Domain Object concept, and our application domain is smart urban mobility.
@inproceedings{desanctis2015distributed, abstract = {Service evolution is a critical ingredient of the service life-cycle. The more our society depends on large-scale, complex service environments including cloud and mobile services, the more pressing becomes the question of how to evolve a service on-the-fly at runtime without bringing whole systems to a halt. Service inter–dependencies make it increasingly difficult to manage the service collection as a whole. Thus, there is an urgent need for coordinated service evolution. The main contributions of this paper are a conceptual solution for dynamic on-the-fly co-evolution of services, and a framework that supports the engineering of such co-evolution support. We analyze the types of changes that might happen in a service and their potential impact on dependent clients and servers. We present the design of a co-evolution support infrastructure based on a service computing model and platform. Our solution is built on top of the Domain Object concept, and our application domain is smart urban mobility.}, address = {Goa, India}, author = {De Sanctis, Martina and Geihs, Kurt and Bucchiarone, Antonio and Valetto, Giuseppe and Marconi, Annapaola and Pistore, Marco}, booktitle = {11th Int. Workshop on Engineering Service-Oriented Applications (WESOA'15), colocated with ICSOC 2015}, keywords = {co-evolution itegpub vs}, month = {nov}, title = {Distributed Service Co-evolution based on Domain Objects}, year = 2015 }
FRASAD: A Framework for Model-driven IoT Application Development. Nguyen, Xuan Thang; Tran, Huu Tam; Baraki, Harun; Geihs, Kurt (2015).
[ Abstract ] [ BibTeX ]
 
This paper presents FRASAD, an effective model-driven software development framework to manage the complexity of Internet of Things (IoT) applications. We propose a node-centric software architecture and a rule-based programming model that allow designers to describe their application using only sensor node domain concepts. The final application code is successively generated from the initial models through an automatic model transformation process. The evaluation results show that our framework enables a fast way to develop IoT applications by reducing the cost of dealing with the heterogeneity and complexity exhibited by sensor nodes and their operating systems.
@inproceedings{nguyen2015frasad, abstract = {This paper presents FRASAD, an effective model-driven software development framework to manage the complexity of Internet of Things (IoT) applications. We propose a node-centric software architecture and a rule-based programming model that allow designers to describe their application using only sensor node domain concepts. The final application code is successively generated from the initial models through an automatic model transformation process. The evaluation results show that our framework enables a fast way to develop IoT applications by reducing the cost of dealing with the heterogeneity and complexity exhibited by sensor nodes and their operating systems.}, address = {Milan, Italy}, author = {Nguyen, Xuan Thang and Tran, Huu Tam and Baraki, Harun and Geihs, Kurt}, booktitle = {IEEE 2nd World Forum on Internet of Things (WF-IoT)}, keywords = {itegpub vs}, month = {dec}, title = {FRASAD: A Framework for Model-driven IoT Application Development}, year = 2015 }
IMPERA: Integrated Mission Planning for Multi-Robot Systems. Saur, Daniel; Geihs, Kurt in Robotics (2015). 4(4) 435.
[ Abstract ] [ BibTeX ] [ URL ]
 
This paper presents the results of the project IMPERA (Integrated Mission Planning for Distributed Robot Systems). The goal of IMPERA was to realize an extraterrestrial exploration scenario using a heterogeneous multi-robot system. The main challenge was the development of a multi-robot planning and plan execution architecture. The robot team consists of three heterogeneous robots, which have to explore an unknown environment and collect lunar drill samples. The team activities are described using the language ALICA (A Language for Interactive Agents). Furthermore, we use the mission planning system pRoPhEt MAS (Reactive Planning Engine for Multi-Agent Systems) to provide an intuitive interface to generate team activities. Therefore, we define the basic skills of our team with ALICA and define the desired goal states by using a logic description. Based on the skills, pRoPhEt MAS creates a valid ALICA plan, which will be executed by the team. The paper describes the basic components for communication, coordinated exploration, perception and object transportation. Finally, we evaluate the planning engine pRoPhEt MAS in the IMPERA scenario. In addition, we present further evaluation of pRoPhEt MAS in more dynamic environments.
@article{saur2015impera, abstract = {This paper presents the results of the project IMPERA (Integrated Mission Planning for Distributed Robot Systems). The goal of IMPERA was to realize an extraterrestrial exploration scenario using a heterogeneous multi-robot system. The main challenge was the development of a multi-robot planning and plan execution architecture. The robot team consists of three heterogeneous robots, which have to explore an unknown environment and collect lunar drill samples. The team activities are described using the language ALICA (A Language for Interactive Agents). Furthermore, we use the mission planning system pRoPhEt MAS (Reactive Planning Engine for Multi-Agent Systems) to provide an intuitive interface to generate team activities. Therefore, we define the basic skills of our team with ALICA and define the desired goal states by using a logic description. Based on the skills, pRoPhEt MAS creates a valid ALICA plan, which will be executed by the team. The paper describes the basic components for communication, coordinated exploration, perception and object transportation. Finally, we evaluate the planning engine pRoPhEt MAS in the IMPERA scenario. In addition, we present further evaluation of pRoPhEt MAS in more dynamic environments.}, author = {Saur, Daniel and Geihs, Kurt}, journal = {Robotics}, keywords = {alica itegpub vs}, number = 4, pages = 435, title = {IMPERA: Integrated Mission Planning for Multi-Robot Systems}, volume = 4, year = 2015 }
Adaptive Run-Time Models for Groups of Autonomous Robots. Niemczyk, Stefan; Geihs, Kurt (2015). 127–133.
[ BibTeX ] [ URL ]
 
@inproceedings{niemczyk2015adaptive, author = {Niemczyk, Stefan and Geihs, Kurt}, booktitle = {2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)}, crossref = {conf/icse/2015seams}, keywords = {itegpub vs}, month = {may}, pages = {127-133}, publisher = {IEEE}, title = {Adaptive Run-Time Models for Groups of Autonomous Robots.}, year = 2015 }

2014

VENUS meets SEMAT – How do they compare?. Geihs, Kurt; Evers, Christoph; Niemczyk, Stefan (2014).
[ Abstract ] [ BibTeX ]
 
SEMAT (Software Engineering Methods And Theory) is an initiative to define a generic foundation for software engineering as a rigorous discipline. The so-called SEMAT kernel provides a thinking framework for software engineers that is not constrained to certain methods and processes but aims to encompass all kinds of proven principles and best practices. Our own interdisciplinary VENUS development method is designed to achieve similar generality and compatibility objectives, although the chosen application domain in VENUS has a much narrower scope. In this paper we compare the VENUS de velopment method with SEMAT. The main contributions are positioning the VENUS development concepts within the SEMAT conceptual framework, and investigating whether SEMAT is an appropriate framework for dealing with inherently interdisciplinary development processes. In the end we present suggestions for the improvement of both approaches.
@inproceedings{geihs2014venus, abstract = {SEMAT (Software Engineering Methods And Theory) is an initiative to define a generic foundation for software engineering as a rigorous discipline. The so-called SEMAT kernel provides a thinking framework for software engineers that is not constrained to certain methods and processes but aims to encompass all kinds of proven principles and best practices. Our own interdisciplinary VENUS development method is designed to achieve similar generality and compatibility objectives, although the chosen application domain in VENUS has a much narrower scope. In this paper we compare the VENUS de velopment method with SEMAT. The main contributions are positioning the VENUS development concepts within the SEMAT conceptual framework, and investigating whether SEMAT is an appropriate framework for dealing with inherently interdisciplinary development processes. In the end we present suggestions for the improvement of both approaches.}, address = {Buenos Aires, Argentina}, author = {Geihs, Kurt and Evers, Christoph and Niemczyk, Stefan}, booktitle = {ASSE 2014 Argentine Symposium on Software Engineering}, keywords = {vs}, month = {september}, title = {VENUS meets SEMAT – How do they compare?}, year = 2014 }
Die VENUS-Entwicklungsmethode Eine interdisziplinäre Methode für soziotechnische Softwaregestaltung Atzmüller, Martin; Baraki, Harun; Behrenbruch, Kay; Comes, Diana; Evers, Christoph; Hoffmann, Axel; Hoffmann, Holger; Jandt, Silke; Kibanov, Mark; Kieselmann, Olga; Kniewel, Romy; König, Immanuel; Macek, Björn‐Elmar; Niemczyk, Stefan; Scholz, Christoph; Schuldt, Michaela; Schulz, Thomas; Skistims, Hendrik; Söllner, Matthias; Voigtmann, Christian; Witsch, Andreas; Zirfas, Julia (A. Hoffmann; S. Niemczyk, Hrsg.) (2014).
[ BibTeX ] [ URL ]
 
@techreport{atzmuller2014venusentwicklungsmethode, author = {Atzmüller, Martin and Baraki, Harun and Behrenbruch, Kay and Comes, Diana and Evers, Christoph and Hoffmann, Axel and Hoffmann, Holger and Jandt, Silke and Kibanov, Mark and Kieselmann, Olga and Kniewel, Romy and König, Immanuel and Macek, Björn‐Elmar and Niemczyk, Stefan and Scholz, Christoph and Schuldt, Michaela and Schulz, Thomas and Skistims, Hendrik and Söllner, Matthias and Voigtmann, Christian and Witsch, Andreas and Zirfas, Julia}, editor = {Hoffmann, Axel and Niemczyk, Stefan}, institution = {Zentrum für Informationstechnik‐Gestaltung (ITeG)}, keywords = {vs}, organization = {Kassel University}, publisher = {Kassel University Press}, title = {Die VENUS-Entwicklungsmethode Eine interdisziplinäre Methode für soziotechnische Softwaregestaltung}, year = 2014 }
Qualitative Bayesian Failure Diagnosis for Robot Systems. Kirchner, Dominik; Geihs, Kurt W. Burgard (Hrsg.) (2014). 1–6.
[ Abstract ] [ BibTeX ]
 
Reliability is a key challenge for intelligent robot systems. In order to address this challenge, runtime failure detection and diagnosis (FDD) is an essential task to maintain autonomous operation. The complexity of fully fledged robot systems and the included noise in system observations complicate this task. In this paper, we present our Qualitative Bayesian Failure Diagnosis (QBFD) for precise and robust failure estimation. Our approach uses a Dynamic Bayesian Network to model uncertainties of the measurements while considering temporal relations. Instead of detailed a priori knowledge of system dynamics, our approach models cause-effect relations. These relations are, in practice, more intuitive to specify. As a consequence, we reduce the level of needed system knowledge and therefore increase the practical applicability. We evaluate the quality in respect to two reference approaches in extensive simulations. Due to our results, we are confident that our proposed approach provides comparable, if not superior, estimation quality, while simultaneously reducing the level of needed model details. Furthermore, we provide evidence that, given a proper system decomposition, high quality estimates are possible using general observations, like the resource usage.
@inproceedings{Kirchner2014, abstract = {Reliability is a key challenge for intelligent robot systems. In order to address this challenge, runtime failure detection and diagnosis (FDD) is an essential task to maintain autonomous operation. The complexity of fully fledged robot systems and the included noise in system observations complicate this task. In this paper, we present our Qualitative Bayesian Failure Diagnosis (QBFD) for precise and robust failure estimation. Our approach uses a Dynamic Bayesian Network to model uncertainties of the measurements while considering temporal relations. Instead of detailed a priori knowledge of system dynamics, our approach models cause-effect relations. These relations are, in practice, more intuitive to specify. As a consequence, we reduce the level of needed system knowledge and therefore increase the practical applicability. We evaluate the quality in respect to two reference approaches in extensive simulations. Due to our results, we are confident that our proposed approach provides comparable, if not superior, estimation quality, while simultaneously reducing the level of needed model details. Furthermore, we provide evidence that, given a proper system decomposition, high quality estimates are possible using general observations, like the resource usage.}, address = {Chicago}, author = {Kirchner, Dominik and Geihs, Kurt}, booktitle = {International Conference on Intelligent Robots and Systems, AI and Robotics}, editor = {Burgard, Wolfram}, keywords = {VS}, pages = {1 – 6}, publisher = {IEEE}, title = {{Qualitative Bayesian Failure Diagnosis for Robot Systems}}, year = 2014 }
Socio-technical Design of Ubiquitous Computing Systems David, K.; Geihs, K.; Leimeister, J. M.; Roßnagel, A.; Schmidt, L.; Stumme, G.; Wacker, A. (2014). Springer, Berlin.
[ Abstract ] [ BibTeX ] [ URL ]
 
By using various data inputs, ubiquitous computing systems detect their current usage context, automatically adapt their services to the user’s situational needs and interact with other services or resources in their environment on an ad-hoc basis. Designing such self-adaptive, context-aware knowledge processing systems is, in itself, a formidable challenge. This book presents core findings from the VENUS project at the Interdisciplinary Research Center for Information System Design (ITeG) at Kassel University, where researchers from different fields, such as computer science, information systems, human-computer interaction and law, together seek to find general principles and guidelines for the design of socially aware ubiquitous computing systems. To this end, system usability, user trust in the technology and adherence to privacy laws and regulations were treated as particularly important criteria in the context of socio-technical system design. During the project, a comprehensive blueprint for systematic, interdisciplinary software development was developed, covering the particular functional and non-functional design aspects of ubiquitous computing at the interface between technology and human beings. The organization of the book reflects the structure of the VENUS work program. After an introductory part I, part II provides the groundwork for VENUS by presenting foundational results from all four disciplines involved. Subsequently, part III focuses on methodological research funneling the development activities into a common framework. Part IV then covers the design of the demonstrators that were built in order to develop and evaluate the VENUS method. Finally, part V is dedicated to the evaluation phase to assess the user acceptance of the new approach and applications. The presented findings are especially important for researchers in computer science, information systems, and human-computer interaction, but also for everyone working on the acceptance of new technologies in society in general.
@book{david2014sociotechnical, abstract = {By using various data inputs, ubiquitous computing systems detect their current usage context, automatically adapt their services to the user’s situational needs and interact with other services or resources in their environment on an ad-hoc basis. Designing such self-adaptive, context-aware knowledge processing systems is, in itself, a formidable challenge. This book presents core findings from the VENUS project at the Interdisciplinary Research Center for Information System Design (ITeG) at Kassel University, where researchers from different fields, such as computer science, information systems, human-computer interaction and law, together seek to find general principles and guidelines for the design of socially aware ubiquitous computing systems. To this end, system usability, user trust in the technology and adherence to privacy laws and regulations were treated as particularly important criteria in the context of socio-technical system design. During the project, a comprehensive blueprint for systematic, interdisciplinary software development was developed, covering the particular functional and non-functional design aspects of ubiquitous computing at the interface between technology and human beings. The organization of the book reflects the structure of the VENUS work program. After an introductory part I, part II provides the groundwork for VENUS by presenting foundational results from all four disciplines involved. Subsequently, part III focuses on methodological research funneling the development activities into a common framework. Part IV then covers the design of the demonstrators that were built in order to develop and evaluate the VENUS method. Finally, part V is dedicated to the evaluation phase to assess the user acceptance of the new approach and applications. The presented findings are especially important for researchers in computer science, information systems, and human-computer interaction, but also for everyone working on the acceptance of new technologies in society in general.}, address = {Berlin}, author = {David, K. and Geihs, K. and Leimeister, J. M. and Roßnagel, A. and Schmidt, L. and Stumme, G. and Wacker, A.}, keywords = {vs}, publisher = {Springer}, title = {Socio-technical Design of Ubiquitous Computing Systems}, year = 2014 }
A Formal Multi-Agent Language for Cooperative Autonomous Driving Scenarios. Witsch, Andreas; Opfer, Stephan; Geihs, Kurt (2014).
[ Abstract ] [ BibTeX ]
 
This paper addresses the problem of coordinating autonomous cars to provide higher safety standards in public road traffic with limited computational resources. We present a modelling language that allows formal program verification to guarantee correctness. We apply the multi-agent coordination language ALICA that has originally been developed for the robotic football domain. To show the practical applicability and efficiency for the autonomous driving domain, we applied ALICA to two autonomous car driving scenarios. Thus, we demonstrate the benefits of using a conceptually sound methodology for the coordination of autonomous cars.
@conference{12, abstract = {This paper addresses the problem of coordinating autonomous cars to provide higher safety standards in public road traffic with limited computational resources. We present a modelling language that allows formal program verification to guarantee correctness. We apply the multi-agent coordination language ALICA that has originally been developed for the robotic football domain. To show the practical applicability and efficiency for the autonomous driving domain, we applied ALICA to two autonomous car driving scenarios. Thus, we demonstrate the benefits of using a conceptually sound methodology for the coordination of autonomous cars.}, address = {Vienna, Austria}, author = {Witsch, Andreas and Opfer, Stephan and Geihs, Kurt}, booktitle = {2014 International Conference on Connected Vehicles & Expo (ICCVE 2014)}, keywords = {ALICA VS}, month = {11/2014}, title = {A Formal Multi-Agent Language for Cooperative Autonomous Driving Scenarios}, year = 2014 }
A resource oriented integration architecture for the internet of things: A business process perspective. Dar, Kashif; Taherkordi, Amir; Baraki, Harun; Eliassen, Frank; Geihs, Kurt in Pervasive and Mobile Computing (2014).
[ Abstract ] [ BibTeX ] [ URL ]
 
Abstract The vision of the Internet of Things (IoT) foresees a future Internet incorporating smart physical objects that offer hosted functionality as IoT services. These services when integrated with the traditional enterprise level services form the creation of ambient intelligence for a wide range of applications. To facilitate seamless access and service life cycle management of large, distributed and heterogeneous IoT resources, service oriented computing and resource oriented approaches have been widely used as promising technologies. However, a reference architecture integrating IoT services into either of these two technologies is still an open research challenge. In this article, we adopt the resource oriented approach to provide an end-to-end integration architecture of front-end IoT devices with the back-end business process applications. The proposed architecture promises a programmer friendly access to IoT services, an event management mechanism to propagate context information of IoT devices, a service replacement facility upon service failure, and a decentralized execution of the IoT aware business processes
@article{Dar2014, abstract = {Abstract The vision of the Internet of Things (IoT) foresees a future Internet incorporating smart physical objects that offer hosted functionality as IoT services. These services when integrated with the traditional enterprise level services form the creation of ambient intelligence for a wide range of applications. To facilitate seamless access and service life cycle management of large, distributed and heterogeneous IoT resources, service oriented computing and resource oriented approaches have been widely used as promising technologies. However, a reference architecture integrating IoT services into either of these two technologies is still an open research challenge. In this article, we adopt the resource oriented approach to provide an end-to-end integration architecture of front-end IoT devices with the back-end business process applications. The proposed architecture promises a programmer friendly access to IoT services, an event management mechanism to propagate context information of IoT devices, a service replacement facility upon service failure, and a decentralized execution of the IoT aware business processes}, author = {Dar, Kashif and Taherkordi, Amir and Baraki, Harun and Eliassen, Frank and Geihs, Kurt}, journal = {Pervasive and Mobile Computing}, keywords = {VS}, publisher = {Elsevier}, title = {A resource oriented integration architecture for the internet of things: A business process perspective}, year = 2014 }
An Approach towards service co-evolution in the Internet of Things. Huu Tam, Tran; Baraki, Harun; Geihs, Kurt (2014).
[ BibTeX ]
 
@inproceedings{huutam2014approach, author = {Huu Tam, Tran and Baraki, Harun and Geihs, Kurt}, booktitle = {IoTaaS2014 the International Conference on IoT as a Service}, keywords = {VS co-evolution}, month = {October}, publisher = {Springer}, title = {An Approach towards service co-evolution in the Internet of Things}, year = 2014 }
Integrating OData Services into the Semantic Web: A SPARQL Interface for OData. Kirchhoff, Marc; Geihs, Kurt in i-KNOW ’14 (2014). 2:1–2:8.
[ BibTeX ] [ URL ]
 
@inproceedings{kirchhoff2014integrating, address = {New York, NY, USA}, author = {Kirchhoff, Marc and Geihs, Kurt}, booktitle = {Proceedings of the 14th International Conference on Knowledge Technologies and Data-driven Business}, keywords = {vs}, pages = {2:1–2:8}, publisher = {ACM}, series = {i-KNOW '14}, title = {Integrating OData Services into the Semantic Web: A SPARQL Interface for OData}, year = 2014 }
Know thyself -- Computational Self-Reflection in Intelligent Technical Systems. Tomforde, Sven; Haehner, Joerg; Mammen, Sebastian von; Gruhl, Christian; Sick, Bernhard; Geihs, Kurt (2014).
[ BibTeX ]
 
@inproceedings{tomforde2014thyself, address = {London, England}, author = {Tomforde, Sven and Haehner, Joerg and Mammen, Sebastian von and Gruhl, Christian and Sick, Bernhard and Geihs, Kurt}, booktitle = {Workshop on Self-Improving System Integration (SISSY 2014), co-located with SASO 2014 - Eight IEEE International Conference on Self-Adaptive and Self-Organizing Systems}, keywords = {vs}, title = {Know thyself – Computational Self-Reflection in Intelligent Technical Systems}, year = 2014 }
On the socially aware development of self-adaptive ubiquitous computing applications. Geihs, Kurt; Niemczyk, Stefan; Roßnagel, Alexander; Witsch, Andreas in it-it (2014). 56(1) 33–41.
[ Abstract ] [ BibTeX ] [ URL ]
 
Ubiquitous computing applications provide pervasive support to users in a self-adaptive and non-obtrusive way. Applications reason about the user situation and adapt dynamically, often without explicit user interaction. Such applications exploit technical features such as context awareness, context reasoning, adaptation models, dynamic resource discovery/binding, and self-configuration. The engineering of ubiquitous computing applications is a challenge because the user acceptance depends not only on functional features but at least as much on non-functional and user-related features that we address under the term “social awareness”. In this paper we present an interdisciplinary development approach for self-adaptive applications that takes into account social awareness requirements in a systematic and integrated manner. Our focus is on usability, trust, and legality. We present the ingredients of our new methodology and its evaluation based on application prototypes. Our approach is compatible with existing software engineering process models and practices.
@article{kurt2014socially, abstract = {Ubiquitous computing applications provide pervasive support to users in a self-adaptive and non-obtrusive way. Applications reason about the user situation and adapt dynamically, often without explicit user interaction. Such applications exploit technical features such as context awareness, context reasoning, adaptation models, dynamic resource discovery/binding, and self-configuration. The engineering of ubiquitous computing applications is a challenge because the user acceptance depends not only on functional features but at least as much on non-functional and user-related features that we address under the term “social awareness”. In this paper we present an interdisciplinary development approach for self-adaptive applications that takes into account social awareness requirements in a systematic and integrated manner. Our focus is on usability, trust, and legality. We present the ingredients of our new methodology and its evaluation based on application prototypes. Our approach is compatible with existing software engineering process models and practices.}, author = {Geihs, Kurt and Niemczyk, Stefan and Roßnagel, Alexander and Witsch, Andreas}, journal = {it-it}, keywords = {vs}, number = 1, pages = {33-41}, title = {On the socially aware development of self-adaptive ubiquitous computing applications}, volume = 56, year = 2014 }
pRoPhEt MAS: Reactive Planning Engine For Multi-agent systems. Saur, Daniel; Geihs, Kurt (2014).
[ Abstract ] [ BibTeX ]
 
Autonomous mobile robots can substantially increase their effectiveness in dynamic environments by using planning. This paper proposes a design for a soft real time planning system for autonomous robots and offers a generic and modular approach to control a team of robots. Our system pRoPhEt MAS is based on ALICA (A Language for Interactive Cooperative Agents) and offers the coordination of team behaviors at runtime. In the evaluation scenario the system pRoPhEt MAS uses a state of the art planner "Fast Downward Planning System". The evaluation focuses on planning during execution time. The team executes the best solutions found, selected by the heuristic, under certain time constraints. The results show that the execution with soft real time planning is as good as sequential planning and execution. Hence, it offers the ability to react quickly in dynamic domains.
@inproceedings{saur2014prophet, abstract = {Autonomous mobile robots can substantially increase their effectiveness in dynamic environments by using planning. This paper proposes a design for a soft real time planning system for autonomous robots and offers a generic and modular approach to control a team of robots. Our system pRoPhEt MAS is based on ALICA (A Language for Interactive Cooperative Agents) and offers the coordination of team behaviors at runtime. In the evaluation scenario the system pRoPhEt MAS uses a state of the art planner "Fast Downward Planning System". The evaluation focuses on planning during execution time. The team executes the best solutions found, selected by the heuristic, under certain time constraints. The results show that the execution with soft real time planning is as good as sequential planning and execution. Hence, it offers the ability to react quickly in dynamic domains.}, address = {Padova}, author = {Saur, Daniel and Geihs, Kurt}, booktitle = {13th International Conference on Intelligent Autonomous Systems (IAS)}, keywords = {ALICA VS}, title = {pRoPhEt MAS: Reactive Planning Engine For Multi-agent systems}, year = 2014 }
Empirical study of planning and execution for large teams of robots. Saur, Daniel; Haque, Tareq Rezaul; Geihs, Kurt (2014).
[ Abstract ] [ BibTeX ]
 
Autonomous mobile robots can substantially increase the effectiveness of planning by acting as coordinated team. Our focus is on the planning of the activities of a team of autonomous, mobile robots in such environments. The communication bandwidth of robot systems is constrained. Being able to model complex activities of a team in an intuitive way requires combining modeling and planning techniques. The main contribution of the paper is the optimization of the planning process while using every agent as a planning resource and aiming at low communication needs. A general conclusion is that the planning process for teams of up to 75 agents can be improved compared to state of the art approaches by up to 23%.
@inproceedings{saur2014empirical, abstract = {Autonomous mobile robots can substantially increase the effectiveness of planning by acting as coordinated team. Our focus is on the planning of the activities of a team of autonomous, mobile robots in such environments. The communication bandwidth of robot systems is constrained. Being able to model complex activities of a team in an intuitive way requires combining modeling and planning techniques. The main contribution of the paper is the optimization of the planning process while using every agent as a planning resource and aiming at low communication needs. A general conclusion is that the planning process for teams of up to 75 agents can be improved compared to state of the art approaches by up to 23%.}, address = {York, UK}, author = {Saur, Daniel and Haque, Tareq Rezaul and Geihs, Kurt}, booktitle = {First Workshop on Model-Driven Robot Software Engineering at Software Technologies: Applications and Foundations}, keywords = {ALICA VS}, title = {Empirical study of planning and execution for large teams of robots}, year = 2014 }
MAGiC : Multi-Agent Planning using Grid Computing concepts. Saur, Daniel; Haque, Tareq Rezaul; Herzog, Ralf; Geihs, Kurt (2014).
[ Abstract ] [ BibTeX ]
 
This paper presents a distributed planning approach which is able to produce a plan with minimum communication among the agents of the team. We developed a fusion planner which considers the limitations of distributed and centralized planning. Principally, a central agent distributes tasks among multiple agents to solve a problem in reduced search space compared to centralized planner. Moreover, the designed planner requires lesser communication than a distributed planner among multiple agents. We perform evaluation on NASA's Mars Rover domain and compare the proposed planner with similar ones. A general conclusion is that the planning process for a team of agents can be improved compared to the state of the art approaches by up to 46.4% faster and 98.2% lesser messages.
@inproceedings{saur2014magic, abstract = {This paper presents a distributed planning approach which is able to produce a plan with minimum communication among the agents of the team. We developed a fusion planner which considers the limitations of distributed and centralized planning. Principally, a central agent distributes tasks among multiple agents to solve a problem in reduced search space compared to centralized planner. Moreover, the designed planner requires lesser communication than a distributed planner among multiple agents. We perform evaluation on NASA's Mars Rover domain and compare the proposed planner with similar ones. A general conclusion is that the planning process for a team of agents can be improved compared to the state of the art approaches by up to 46.4% faster and 98.2% lesser messages.}, address = {Montreal}, author = {Saur, Daniel and Haque, Tareq Rezaul and Herzog, Ralf and Geihs, Kurt}, booktitle = {12th International Symposium on Artificial Intelligence, Robotics and Automation in Space}, keywords = {ALICA VS}, title = {MAGiC : Multi-Agent Planning using Grid Computing concepts}, year = 2014 }
Adaptive Model-based Monitoring for Robots. Kirchner, Dominik; Geihs, Kurt (2014).
[ Abstract ] [ BibTeX ]
 
Continuous and comprehensive monitoring is a key requirement for reliable failure detection. However, the overhead of the observation process conflicts with the limited resources of a robot platform. Therefore, robot monitoring faces high efficiency requirements. This defines a trade-off between comprehensive observation and monitoring resource overhead. In this paper, we propose an adaptive, model-based monitoring approach that addresses this trade-off. We specify an individual monitoring configuration in an abstract system model to focus the observation on expressive state aspects. Moreover, we introduce adaptivity to further improve the efficiency of the monitoring process. To evaluate this efficiency, we compare our approach with a reference monitoring system. Due to our results, we are confident that the proposed approach significantly reduces the resource overhead.
@inproceedings{kirchner2014adaptive, abstract = {Continuous and comprehensive monitoring is a key requirement for reliable failure detection. However, the overhead of the observation process conflicts with the limited resources of a robot platform. Therefore, robot monitoring faces high efficiency requirements. This defines a trade-off between comprehensive observation and monitoring resource overhead. In this paper, we propose an adaptive, model-based monitoring approach that addresses this trade-off. We specify an individual monitoring configuration in an abstract system model to focus the observation on expressive state aspects. Moreover, we introduce adaptivity to further improve the efficiency of the monitoring process. To evaluate this efficiency, we compare our approach with a reference monitoring system. Due to our results, we are confident that the proposed approach significantly reduces the resource overhead.}, address = {Padova, Italy}, author = {Kirchner, Dominik and Geihs, Kurt}, booktitle = {13th International Conference on Intelligent Autonomous Systems (IAS)}, keywords = {vs}, title = {Adaptive Model-based Monitoring for Robots}, year = 2014 }
Investigating the Impact of Different Research Designs on Empirical Results. Söllner, Matthias; Voss, Amanda; Niemczyk, Stefan; Geihs, Kurt; Leimeister, Jan Marco in AIS-Journals Joint Author Workshop (2014).
[ BibTeX ]
 
@inproceedings{sollner2014investigating, address = {Israel, Tel Aviv}, author = {Söllner, Matthias and Voss, Amanda and Niemczyk, Stefan and Geihs, Kurt and Leimeister, Jan Marco}, booktitle = {European Conference on Information Systems 2014}, keywords = {vs}, month = {June}, series = {AIS-Journals Joint Author Workshop}, title = {Investigating the Impact of Different Research Designs on Empirical Results}, year = 2014 }
Distributed Sensing in a Robotic Soccer Team. Niemczyk, Stefan; Kirchner, Dominik; Witsch, Andreas; Opfer, Stephan; Geihs, Kurt (2014).
[ BibTeX ]
 
@inproceedings{niemczyk2014distributed, address = {Berlin}, author = {Niemczyk, Stefan and Kirchner, Dominik and Witsch, Andreas and Opfer, Stephan and Geihs, Kurt}, booktitle = {CPSWeek 2014 - International Workshop on Robotic Sensor Networks}, keywords = {vs}, title = {Distributed Sensing in a Robotic Soccer Team}, year = 2014 }
Towards Interdisciplinary Design Patterns for Ubiquitous Computing Applications Baraki, Harun; Geihs, Kurt; Hoffmann, Axel; Voigtmann, Christian; Kniewel, Romy; Macek, Björn-Elmar; Zirfas, Julia (2014).
[ Abstract ] [ BibTeX ] [ URL ]
 
To draw on the full potential of Ubiquitous Computing (UC) systems, they have to be designed with awareness for their social embedding in order to increase the user acceptance. To this end, not only the compliance with laws has to be ensured, but also usability-enhancing and trust and confidence-building measures have to be applied. This makes the development of UC applications a challenging task that involves experts from different disciplines. The main contribution of this report is a set of design patterns for UC applications that specifically focus on the interweaving and implementation of multidisciplinary requirements. The patterns capture the design know-how of typical, recurring features in context-aware adaptive UC applications with particular concern for the sociotechnical requirements. First, we present a detailed discussion of the related work on design patterns in the realm of UC. Afterwards, we explain our research methodology and the template structure of our pattern specifications. The core of the report consists of eight interdisciplinary UC design patterns. This initial list of patterns was derived from several application case studies in the interdisciplinary research project LOEWE-VENUS. We view this collection as a starting point for an evolving set of commonly accepted reusable design patterns that facilitate the development of accepted and acceptable UC applications.
@techreport{baraki2014towards, abstract = {To draw on the full potential of Ubiquitous Computing (UC) systems, they have to be designed with awareness for their social embedding in order to increase the user acceptance. To this end, not only the compliance with laws has to be ensured, but also usability-enhancing and trust and confidence-building measures have to be applied. This makes the development of UC applications a challenging task that involves experts from different disciplines. The main contribution of this report is a set of design patterns for UC applications that specifically focus on the interweaving and implementation of multidisciplinary requirements. The patterns capture the design know-how of typical, recurring features in context-aware adaptive UC applications with particular concern for the sociotechnical requirements. First, we present a detailed discussion of the related work on design patterns in the realm of UC. Afterwards, we explain our research methodology and the template structure of our pattern specifications. The core of the report consists of eight interdisciplinary UC design patterns. This initial list of patterns was derived from several application case studies in the interdisciplinary research project LOEWE-VENUS. We view this collection as a starting point for an evolving set of commonly accepted reusable design patterns that facilitate the development of accepted and acceptable UC applications.}, author = {Baraki, Harun and Geihs, Kurt and Hoffmann, Axel and Voigtmann, Christian and Kniewel, Romy and Macek, Björn-Elmar and Zirfas, Julia}, institution = {Zentrum für Informationstechnik‐Gestaltung (ITeG)}, keywords = {VS itegpub}, month = {dec}, title = {Towards Interdisciplinary Design Patterns for Ubiquitous Computing Applications}, year = 2014 }

2013

Grenzen von SROIQ bei der Unterstuetzung der Modellierung von Multi-Agenten-Plaenen. Opfer, Stephan in Informatik-Spektrum (2013). 36(6) 1–4.
[ Abstract ] [ BibTeX ] [ URL ]
 
Die Unterstützung durch logisches Schlussfolgern während der Modellierung von Multi-Agenten-Plänen erhöht die Qualität der Ergebnisse und die Effizienz des Modellierungsprozesses. Daher haben wir die Anwendbarkeit eines auf Beschreibungslogik basierenden Verfahrens für die Multi-Agenten-Modellierungssprache ALICA untersucht. Wir wählten SROIQ als eine der ausdrucksstärksten Beschreibungslogiken. Für eine umfassende Beurteilung der Anwendbarkeit wurden Schlussfolgerungsaufgaben verschiedener Komplexität realisiert. Nach einer ausführlichen Diskussion der entdeckten Probleme kommen wir zu dem Schluss, dass nur verbesserte oder alternative Schlussfolgerungstechniken für die Komplexität von Multi-Agenten-Plänen geeignet sind.
@article{opfer2013grenzen, abstract = {Die Unterstützung durch logisches Schlussfolgern während der Modellierung von Multi-Agenten-Plänen erhöht die Qualität der Ergebnisse und die Effizienz des Modellierungsprozesses. Daher haben wir die Anwendbarkeit eines auf Beschreibungslogik basierenden Verfahrens für die Multi-Agenten-Modellierungssprache ALICA untersucht. Wir wählten SROIQ als eine der ausdrucksstärksten Beschreibungslogiken. Für eine umfassende Beurteilung der Anwendbarkeit wurden Schlussfolgerungsaufgaben verschiedener Komplexität realisiert. Nach einer ausführlichen Diskussion der entdeckten Probleme kommen wir zu dem Schluss, dass nur verbesserte oder alternative Schlussfolgerungstechniken für die Komplexität von Multi-Agenten-Plänen geeignet sind.}, author = {Opfer, Stephan}, journal = {Informatik-Spektrum}, keywords = {alica vs}, month = {dec}, number = 6, pages = {1-4}, publisher = {Springer Berlin Heidelberg}, title = {Grenzen von SROIQ bei der Unterstuetzung der Modellierung von Multi-Agenten-Plaenen}, volume = 36, year = 2013 }
Giving Robots a Voice: A Kineto-Acoustic Project. Hoyer, Ralf; Bartetzki, Andre; Kirchner, Dominik; Witsch, Andreas (2013).
[ Abstract ] [ BibTeX ] [ URL ]
 
In this paper we present a kineto-acoustic project based on soccer robots. The movements of robots, determined by the needs of a soccer game, are transformed into a piece of music. Therefore, the robots are equipped with microphones, speakers, and custom-designed audio modules. The amplification of microphones and speakers is adjusted to create constantly varying feedback effects. These effects evolve from the relative positions and motions of the robots. Furthermore, data from control computers are utilized for the musical sound modulation. As the sequence of movements is not deterministic the resulting musical structure is unique in each performance.
@inproceedings{2013, abstract = {In this paper we present a kineto-acoustic project based on soccer robots. The movements of robots, determined by the needs of a soccer game, are transformed into a piece of music. Therefore, the robots are equipped with microphones, speakers, and custom-designed audio modules. The amplification of microphones and speakers is adjusted to create constantly varying feedback effects. These effects evolve from the relative positions and motions of the robots. Furthermore, data from control computers are utilized for the musical sound modulation. As the sequence of movements is not deterministic the resulting musical structure is unique in each performance.}, address = {Milano (Italy)}, author = {Hoyer, Ralf and Bartetzki, Andre and Kirchner, Dominik and Witsch, Andreas}, booktitle = {{Third International Conference on Arts and Technology}}, keywords = {alica vs}, month = {03}, title = {Giving Robots a Voice: A Kineto-Acoustic Project}, year = 2013 }
RoSHA: A Multi-Robot Self-Healing Architecture. Kirchner, Dominik; Niemczyk, Stefan; Geihs, Kurt Springer (Hrsg.) (2013). 1–12.
[ Abstract ] [ BibTeX ]
 
Reliability is one of the key challenges in multi-robot systems to increase practicable applicability and hence the commercial usage. This paper presents RoSHA, a self-healing architecture for multi-robot systems. RoSHA is based on the established robot middleware ROS and provides components for application independent analysis and repair. A plug-in architecture enables the developer to simply add new components for repair and analysis. Bayesian networks are used to diagnose failures and their root causes. ALICA, a domain specific language for multi-robot systems, is applied to coordinate recovery plans in multi-robot systems.
@inproceedings{kirchnerniemczyk2013rosha, abstract = {Reliability is one of the key challenges in multi-robot systems to increase practicable applicability and hence the commercial usage. This paper presents RoSHA, a self-healing architecture for multi-robot systems. RoSHA is based on the established robot middleware ROS and provides components for application independent analysis and repair. A plug-in architecture enables the developer to simply add new components for repair and analysis. Bayesian networks are used to diagnose failures and their root causes. ALICA, a domain specific language for multi-robot systems, is applied to coordinate recovery plans in multi-robot systems.}, author = {Kirchner, Dominik and Niemczyk, Stefan and Geihs, Kurt}, booktitle = {RoboCup 2013: Robot Soccer World Cup XVII. RoboCup International Symposium (RoboCup-2013)}, editor = {Springer}, keywords = {alica vs}, pages = {1-12}, publisher = {Springer}, title = {RoSHA: A Multi-Robot Self-Healing Architecture}, year = 2013 }
Challenging the Need for Transparency, Controllability, and Consistency in Usable Adaptation Design. Kniewel, Romy; Evers, Christoph; Schmidt, Ludger; Geihs, Kurt in Electronic Communications of the EASST, T. Margaria, J. Padberg, G. Taentzer (Hrsg.) (2013). (Bd. 56)
[ Abstract ] [ BibTeX ]
 
Adaptive applications constitute the basis for many ubiquitous computing scenarios as they can dynamically adapt to changing contexts. The usability design principles transparency, controllability, and consistency have been recommended for the design of adaptive interfaces. However, designing self-adaptive applications that may act completely autonomous is still a challenging task because there is no set of usability design guidelines. Applying the three principles in the design of the five different adaptations of the mobile adaptive application Meet-U revealed as difficult. Based on an analysis of the design problem space, we elaborate an approach for the design of usable adaptations. Our approach is based on a notification design concept which calculates the attention costs and utility benefits of notified adaptations by varying the design aspects transparency and controllability. We present several designs for the adaptations of Meet‑U. The results of a user study shows that the notification design approach is beneficial for the design of adaptations. Varying transparency and controllability is necessary to adjust an adaptation’s design to the particular context of use. This leads to a partially inconsistent design for adaptations within an application.
@inproceedings{Kniewel.2013, abstract = {Adaptive applications constitute the basis for many ubiquitous computing scenarios as they can dynamically adapt to changing contexts. The usability design principles transparency, controllability, and consistency have been recommended for the design of adaptive interfaces. However, designing self-adaptive applications that may act completely autonomous is still a challenging task because there is no set of usability design guidelines. Applying the three principles in the design of the five different adaptations of the mobile adaptive application Meet-U revealed as difficult. Based on an analysis of the design problem space, we elaborate an approach for the design of usable adaptations. Our approach is based on a notification design concept which calculates the attention costs and utility benefits of notified adaptations by varying the design aspects transparency and controllability. We present several designs for the adaptations of Meet‑U. The results of a user study shows that the notification design approach is beneficial for the design of adaptations. Varying transparency and controllability is necessary to adjust an adaptation’s design to the particular context of use. This leads to a partially inconsistent design for adaptations within an application.}, author = {Kniewel, Romy and Evers, Christoph and Schmidt, Ludger and Geihs, Kurt}, booktitle = {Proceedings of the Combined workshop on Self-organizing, Adaptive, and ContextSensitive Distributed Systems and Self-organized Communication in Disaster Scenarios (SACS/SoCoDiS 2013)}, editor = {Margaria, Tiziana and Padberg, Julia and Taentzer, Gabriele}, keywords = {vs}, series = {Electronic Communications of the EASST}, title = {Challenging the Need for Transparency, Controllability, and Consistency in Usable Adaptation Design}, volume = 56, year = 2013 }
Self-Adaptivity from Different Application Perspectives. Geihs, Kurt in Software Engineering for Self-Adaptive Systems II, R. Lemos, H. Giese, H. Müller, M. Shaw (Hrsg.) (2013). (Bd. 7475) 376–392.
[ Abstract ] [ BibTeX ] [ URL ]
 
Self-adaptivity can be beneficial in many application domains. In recent years we have researched the engineering of self-adaptive software systems in three rather diverse domains: ubiquitous computing applications, teams of autonomous mobile robots, and management of service-oriented software systems. While all of them perform dynamic adaptation at run-time following a specified control loop, they differ fundamentally in their specific objectives, requirements, properties, and constraints. Consequently, their design and realization focus on different domain aspects and require different modeling and engineering techniques. In this paper we elaborate on synergies and discrepancies in developing the three case studies. We evaluate these self-adaptive systems using a recently published framework for evaluating self-adaptive software systems. The main contributions of this paper are a reflection on the design space of self-adaptive systems and a critique of the proposed evaluation framework.
@incollection{geihs2013selfadaptivity, abstract = {Self-adaptivity can be beneficial in many application domains. In recent years we have researched the engineering of self-adaptive software systems in three rather diverse domains: ubiquitous computing applications, teams of autonomous mobile robots, and management of service-oriented software systems. While all of them perform dynamic adaptation at run-time following a specified control loop, they differ fundamentally in their specific objectives, requirements, properties, and constraints. Consequently, their design and realization focus on different domain aspects and require different modeling and engineering techniques. In this paper we elaborate on synergies and discrepancies in developing the three case studies. We evaluate these self-adaptive systems using a recently published framework for evaluating self-adaptive software systems. The main contributions of this paper are a reflection on the design space of self-adaptive systems and a critique of the proposed evaluation framework.}, author = {Geihs, Kurt}, booktitle = {Software Engineering for Self-Adaptive Systems II}, editor = {Lemos, Rogério and Giese, Holger and Müller, HausiA. and Shaw, Mary}, keywords = {alica vs}, pages = {376-392}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes in Computer Science}, title = {Self-Adaptivity from Different Application Perspectives}, volume = 7475, year = 2013 }
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Lemos, Rogério; Giese, Holger; Müller, HausiA.; Shaw, Mary; Andersson, Jesper; Litoiu, Marin; Schmerl, Bradley; Tamura, Gabriel; Villegas, NorhaM.; Vogel, Thomas; Weyns, Danny; Baresi, Luciano; Becker, Basil; Bencomo, Nelly; Brun, Yuriy; Cukic, Bojan; Desmarais, Ron; Dustdar, Schahram; Engels, Gregor; Geihs, Kurt; Göschka, KarlM.; Gorla, Alessandra; Grassi, Vincenzo; Inverardi, Paola; Karsai, Gabor; Kramer, Jeff; Lopes, Antónia; Magee, Jeff; Malek, Sam; Mankovskii, Serge; Mirandola, Raffaela; Mylopoulos, John; Nierstrasz, Oscar; Pezzè, Mauro; Prehofer, Christian; Schäfer, Wilhelm; Schlichting, Rick; Smith, DennisB.; Sousa, JoãoPedro; Tahvildari, Ladan; Wong, Kenny; Wuttke, Jochen in Software Engineering for Self-Adaptive Systems II, R. Lemos, H. Giese, H. Müller, M. Shaw (Hrsg.) (2013). (Bd. 7475) 1–32.
[ Abstract ] [ BibTeX ] [ URL ]
 
The goal of this roadmap paper is to summarize the state-of-the-art and identify research challenges when developing, deploying and managing self-adaptive software systems. Instead of dealing with a wide range of topics associated with the field, we focus on four essential topics of self-adaptation: design space for self-adaptive solutions, software engineering processes for self-adaptive systems, from centralized to decentralized control, and practical run-time verification & validation for self-adaptive systems. For each topic, we present an overview, suggest future directions, and focus on selected challenges. This paper complements and extends a previous roadmap on software engineering for self-adaptive systems published in 2009 covering a different set of topics, and reflecting in part on the previous paper. This roadmap is one of the many results of the Dagstuhl Seminar 10431 on Software Engineering for Self-Adaptive Systems, which took place in October 2010.
@incollection{lemos2013software, abstract = {The goal of this roadmap paper is to summarize the state-of-the-art and identify research challenges when developing, deploying and managing self-adaptive software systems. Instead of dealing with a wide range of topics associated with the field, we focus on four essential topics of self-adaptation: design space for self-adaptive solutions, software engineering processes for self-adaptive systems, from centralized to decentralized control, and practical run-time verification & validation for self-adaptive systems. For each topic, we present an overview, suggest future directions, and focus on selected challenges. This paper complements and extends a previous roadmap on software engineering for self-adaptive systems published in 2009 covering a different set of topics, and reflecting in part on the previous paper. This roadmap is one of the many results of the Dagstuhl Seminar 10431 on Software Engineering for Self-Adaptive Systems, which took place in October 2010.}, author = {Lemos, Rogério and Giese, Holger and Müller, HausiA. and Shaw, Mary and Andersson, Jesper and Litoiu, Marin and Schmerl, Bradley and Tamura, Gabriel and Villegas, NorhaM. and Vogel, Thomas and Weyns, Danny and Baresi, Luciano and Becker, Basil and Bencomo, Nelly and Brun, Yuriy and Cukic, Bojan and Desmarais, Ron and Dustdar, Schahram and Engels, Gregor and Geihs, Kurt and Göschka, KarlM. and Gorla, Alessandra and Grassi, Vincenzo and Inverardi, Paola and Karsai, Gabor and Kramer, Jeff and Lopes, Antónia and Magee, Jeff and Malek, Sam and Mankovskii, Serge and Mirandola, Raffaela and Mylopoulos, John and Nierstrasz, Oscar and Pezzè, Mauro and Prehofer, Christian and Schäfer, Wilhelm and Schlichting, Rick and Smith, DennisB. and Sousa, JoãoPedro and Tahvildari, Ladan and Wong, Kenny and Wuttke, Jochen}, booktitle = {Software Engineering for Self-Adaptive Systems II}, editor = {Lemos, Rogério and Giese, Holger and Müller, HausiA. and Shaw, Mary}, keywords = {vs}, pages = {1-32}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes in Computer Science}, title = {Software Engineering for Self-Adaptive Systems: A Second Research Roadmap}, volume = 7475, year = 2013 }
Semantic Description of OData Services. Kirchhoff, Marc; Geihs, Kurt in SWIM ’13 (2013). 2:1–2:8.
[ Abstract ] [ BibTeX ] [ URL ]
 
The Open Data Protocol (OData) is a data access protocol that is based on the REST principles. It is built upon existing and well-known technologies such as HTTP, AtomPub and JSON. OData is already widely-used in the industry. Many IT companies provide OData interfaces for their applications. The structure of the data that is provided by an OData service is described with the Conceptual Schema Definition Language (CSDL). To make this data available for the integration with the Semantic Web, we propose to semantically annotate CSDL-documents. This extension of CSDL allows the definition of mappings from the underlying Entity Data Model (EDM) to RDF graphs which is a first step towards the implementation of a SPARQL endpoint on top of existing OData services. Based on the OData interfaces of existing enterprise resource planning (ERP) systems, it is possible to realize a SPARQL endpoint for those systems which can lead to a great simplification in the retrieval of data.
@inproceedings{kirchhoff2013semantic, abstract = {The Open Data Protocol (OData) is a data access protocol that is based on the REST principles. It is built upon existing and well-known technologies such as HTTP, AtomPub and JSON. OData is already widely-used in the industry. Many IT companies provide OData interfaces for their applications. The structure of the data that is provided by an OData service is described with the Conceptual Schema Definition Language (CSDL). To make this data available for the integration with the Semantic Web, we propose to semantically annotate CSDL-documents. This extension of CSDL allows the definition of mappings from the underlying Entity Data Model (EDM) to RDF graphs which is a first step towards the implementation of a SPARQL endpoint on top of existing OData services. Based on the OData interfaces of existing enterprise resource planning (ERP) systems, it is possible to realize a SPARQL endpoint for those systems which can lead to a great simplification in the retrieval of data.}, address = {New York, NY, USA}, author = {Kirchhoff, Marc and Geihs, Kurt}, booktitle = {Proceedings of the Fifth Workshop on Semantic Web Information Management}, keywords = {CSDL EDM OData RDF SPARQL}, pages = {2:1–2:8}, publisher = {ACM}, series = {SWIM '13}, title = {Semantic Description of OData Services}, year = 2013 }
Playing MUSIC — building context-aware and self-adaptive mobile applications. Floch, J.; Frà, C.; Fricke, R.; Geihs, K.; Wagner, M.; Lorenzo, J.; Soladana, E.; Mehlhase, S.; Paspallis, N.; Rahnama, H.; Ruiz, P.A.; Scholz, U. in Software: Practice and Experience (2013). 43(3) 359–388.
[ Abstract ] [ BibTeX ] [ URL ]
 
Although the idea of context-awareness was introduced almost two decades ago, few mobile software applications are available today that can sense and adapt to their run-time environment. The development of context-aware and self-adaptive applications is complex and few developers have experience in this area. On the basis of several demonstrators built by the joint European research project MUSIC, this paper describes typical context and adaptation features relevant for the development of context-aware and self-adaptive mobile applications. We explain how the demonstrators were realised using the open-source platform MUSIC and present the feedback of the developers of these demonstrators. The main contribution of this paper is to show how the development complexity of context-aware and self-adaptive mobile applications can be mastered by using an adaptation framework such as MUSIC. Copyright © 2012 John Wiley & Sons, Ltd.
@article{floch2013playing, abstract = {Although the idea of context-awareness was introduced almost two decades ago, few mobile software applications are available today that can sense and adapt to their run-time environment. The development of context-aware and self-adaptive applications is complex and few developers have experience in this area. On the basis of several demonstrators built by the joint European research project MUSIC, this paper describes typical context and adaptation features relevant for the development of context-aware and self-adaptive mobile applications. We explain how the demonstrators were realised using the open-source platform MUSIC and present the feedback of the developers of these demonstrators. The main contribution of this paper is to show how the development complexity of context-aware and self-adaptive mobile applications can be mastered by using an adaptation framework such as MUSIC. Copyright © 2012 John Wiley & Sons, Ltd.}, author = {Floch, J. and Frà, C. and Fricke, R. and Geihs, K. and Wagner, M. and Lorenzo, J. and Soladana, E. and Mehlhase, S. and Paspallis, N. and Rahnama, H. and Ruiz, P.A. and Scholz, U.}, journal = {Software: Practice and Experience}, keywords = {adaptive selfadaptive}, number = 3, pages = {359–388}, publisher = {John Wiley & Sons, Ltd}, title = {Playing MUSIC — building context-aware and self-adaptive mobile applications}, volume = 43, year = 2013 }
Context-Aware Prediction of QoS and QoE Properties for Web Services. Baraki, H.; Comes, D.; Geihs, K. (2013). 102–109.
[ Abstract ] [ BibTeX ]
 
Web Services are commonly used for integrating applications between partners over the Internet. Since services with the same functionality are advertised with different Quality of Service (QoS) levels and are assessed with different Quality of Experience (QoE), choosing the right service may be quite challenging. It is essential for a user to predict QoS and QoE values as accurately as possible in order to find a suitable service. Usually collaborative filtering is applied using similar users and services for predictive purposes. We hypothesize a correlation between context data and QoS and QoE dimensions which can be additionally incorporated to improve predictive accuracy and scalability. In this paper we present the two algorithms PredReg and PredNet in order to predict QoS and QoE values for Web Services. The PredReg algorithm is based on multiple linear regression. The PredNet algorithm uses additionally a neural network for prediction. Both algorithms include context data of users and services generating personalized predictions for the requesting user. In addition, PredNet is able to process categorical variables so that user profiles can also be considered for predictions. We evaluated PredReg and PredNet and compared them with the state-of-the-art approach WSRec [1] which is a memory-based collaborative filtering approach. Our experiments demonstrated that PredReg and PredNet provide a higher predictive accuracy and a significantly improved scalability. Therefore, we recommend the application of PredReg and PredNet for future personalized predictions.
@inproceedings{baraki2013contextaware, abstract = {Web Services are commonly used for integrating applications between partners over the Internet. Since services with the same functionality are advertised with different Quality of Service (QoS) levels and are assessed with different Quality of Experience (QoE), choosing the right service may be quite challenging. It is essential for a user to predict QoS and QoE values as accurately as possible in order to find a suitable service. Usually collaborative filtering is applied using similar users and services for predictive purposes. We hypothesize a correlation between context data and QoS and QoE dimensions which can be additionally incorporated to improve predictive accuracy and scalability. In this paper we present the two algorithms PredReg and PredNet in order to predict QoS and QoE values for Web Services. The PredReg algorithm is based on multiple linear regression. The PredNet algorithm uses additionally a neural network for prediction. Both algorithms include context data of users and services generating personalized predictions for the requesting user. In addition, PredNet is able to process categorical variables so that user profiles can also be considered for predictions. We evaluated PredReg and PredNet and compared them with the state-of-the-art approach WSRec [1] which is a memory-based collaborative filtering approach. Our experiments demonstrated that PredReg and PredNet provide a higher predictive accuracy and a significantly improved scalability. Therefore, we recommend the application of PredReg and PredNet for future personalized predictions.}, author = {Baraki, H. and Comes, D. and Geihs, K.}, booktitle = {Networked Systems (NetSys), 2013 Conference on}, keywords = {Context Prediction QoE QoS Services Web}, pages = {102-109}, title = {Context-Aware Prediction of QoS and QoE Properties for Web Services}, year = 2013 }
Reliable Robotics – Diagnostics ++. Kirchner, Dominik; Saur, Daniel (2013).
[ Abstract ] [ BibTeX ] [ URL ]
 
Let a robot do something is one thing, but let a robot do something reliably quite another. This talk will teach the basics of the diagnostic stack and related tools. Additionally, it will provide some pointers to useful extensions and will highlight the addressed topics in a real world system. After the talk the attendees have a good starting point to set up their own diagnostic system in their robotic projects.
@misc{kirchner2013developer, abstract = {Let a robot do something is one thing, but let a robot do something reliably quite another. This talk will teach the basics of the diagnostic stack and related tools. Additionally, it will provide some pointers to useful extensions and will highlight the addressed topics in a real world system. After the talk the attendees have a good starting point to set up their own diagnostic system in their robotic projects.}, address = {Stuttgart}, author = {Kirchner, Dominik and Saur, Daniel}, booktitle = {ROS Developer Conference}, keywords = {vs}, organization = {Willow Garage}, title = {Reliable Robotics – Diagnostics ++}, year = 2013 }
Team Description: Carpe Noctem 2013 Amma, Till; Beifuß, Jewgeni; Bozic, Zjelko; Bui, Mike; Gawora, Fridolin; Haque, Tareque; Geihs, Kurt; Jakob, Stefan; Kirchner, Dominik; Kubitza, Nils; Liebscher, Kai; Opfer, Stephan; Saur, Daniel; Schaake, Tim; Schlüter, Tim; Triller, Stefan; Witsch, Andreas (2013).
[ Abstract ] [ BibTeX ]
 
Carpe Noctem is a Mid-Size League Robocup team at the University of Kassel. It is part of the Distributed Autonomous Systems Laboratory of the Distributed Systems Group which is well known for its research contributions on middleware platforms, distributed system management, and software technologies for distributed systems. Carpe Noctem is a team of researchers and students who collectively aim at competing in the Robocup championships. Several undergraduate students are involved in the research as part of their bachelor or master thesis, and the achieved results are directly integrated into the overall system. Carpe Noctem successfully developed a modular and platform-independent communication middleware for autonomous robots in the past years. The main research focus has now shifted towards representation and robust execution of cooperative strategies in dynamic domains. As such, Robocup is again an ideal domain to evaluate our approach.
@techreport{2013, abstract = {Carpe Noctem is a Mid-Size League Robocup team at the University of Kassel. It is part of the Distributed Autonomous Systems Laboratory of the Distributed Systems Group which is well known for its research contributions on middleware platforms, distributed system management, and software technologies for distributed systems. Carpe Noctem is a team of researchers and students who collectively aim at competing in the Robocup championships. Several undergraduate students are involved in the research as part of their bachelor or master thesis, and the achieved results are directly integrated into the overall system. Carpe Noctem successfully developed a modular and platform-independent communication middleware for autonomous robots in the past years. The main research focus has now shifted towards representation and robust execution of cooperative strategies in dynamic domains. As such, Robocup is again an ideal domain to evaluate our approach.}, author = {Amma, Till and Beifuß, Jewgeni and Bozic, Zjelko and Bui, Mike and Gawora, Fridolin and Haque, Tareque and Geihs, Kurt and Jakob, Stefan and Kirchner, Dominik and Kubitza, Nils and Liebscher, Kai and Opfer, Stephan and Saur, Daniel and Schaake, Tim and Schl{ü}ter, Tim and Triller, Stefan and Witsch, Andreas}, booktitle = {RoboCup International Symposium (RoboCup-2013)}, keywords = {vs}, series = {RoboCup Federation}, title = {Team Description: Carpe Noctem 2013}, year = 2013 }
A Design Space for Self-Adaptive Systems. Brun, Yuriy; Desmarais, Ron; Geihs, Kurt; Litoiu, Marin; Lopes, Antonia; Shaw, Mary; Smit, Michael in Software Engineering for Self-Adaptive Systems II, R. Lemos, H. Giese, H. Müller, M. Shaw (Hrsg.) (2013). (Bd. 7475) 33–50.
[ Abstract ] [ BibTeX ] [ URL ]
 
Self-adaptive systems research is expanding as systems professionals recognize the importance of automation for managing the growing complexity, scale, and scope of software systems. The current approach to designing such systems is ad hoc, varied, and fractured, often resulting in systems with parts of multiple, sometimes poorly compatible designs. In addition to the challenges inherent to all software, this makes evaluating, understanding, comparing, maintaining, and even using such systems more difficult. This paper discusses the importance of systematic design and identifies the dimensions of the self-adaptive system design space. It identifies key design decisions, questions, and possible answers relevant to the design space, and organizes these into five clusters: observation, representation, control, identification, and enacting adaptation. This characterization can serve as a standard lexicon, that, in turn, can aid in describing and evaluating the behavior of existing and new self-adaptive systems. The paper also outlines the future challenges for improving the design of self-adaptive systems.
@incollection{brun2013design, abstract = {Self-adaptive systems research is expanding as systems professionals recognize the importance of automation for managing the growing complexity, scale, and scope of software systems. The current approach to designing such systems is ad hoc, varied, and fractured, often resulting in systems with parts of multiple, sometimes poorly compatible designs. In addition to the challenges inherent to all software, this makes evaluating, understanding, comparing, maintaining, and even using such systems more difficult. This paper discusses the importance of systematic design and identifies the dimensions of the self-adaptive system design space. It identifies key design decisions, questions, and possible answers relevant to the design space, and organizes these into five clusters: observation, representation, control, identification, and enacting adaptation. This characterization can serve as a standard lexicon, that, in turn, can aid in describing and evaluating the behavior of existing and new self-adaptive systems. The paper also outlines the future challenges for improving the design of self-adaptive systems.}, author = {Brun, Yuriy and Desmarais, Ron and Geihs, Kurt and Litoiu, Marin and Lopes, Antonia and Shaw, Mary and Smit, Michael}, booktitle = {Software Engineering for Self-Adaptive Systems II}, editor = {Lemos, Rogério and Giese, Holger and Müller, HausiA. and Shaw, Mary}, keywords = {adaptive architecture design self-adaptive}, pages = {33-50}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes in Computer Science}, title = {A Design Space for Self-Adaptive Systems}, volume = 7475, year = 2013 }
Using Incomplete Satisfiability Modulo Theories to Determine Robotic Tasks. Witsch, Andreas; Skubch, Hendrik; Niemczyk, Stefan; Geihs, Kurt (2013).
[ Abstract ] [ BibTeX ]
 
Many robotic task specifications can be naturally expressed by boolean combinations of arbitrary constraints. This allows a separation of problem description and solution strategy. In this paper, we present a novel approach to solve non-linear constraint systems based on Satisfiability Modulo Theories. While most SMT-based techniques emphasize completeness, we intentionally use an incomplete local search strategy. Despite this incompleteness, the presented solution is able to deal with many real world problems like task allocation or robot positioning. We show that our approach is able to exploit the logical structure to solve highly complex tasks almost in real-time.
@inproceedings{witsch2013using, abstract = {Many robotic task specifications can be naturally expressed by boolean combinations of arbitrary constraints. This allows a separation of problem description and solution strategy. In this paper, we present a novel approach to solve non-linear constraint systems based on Satisfiability Modulo Theories. While most SMT-based techniques emphasize completeness, we intentionally use an incomplete local search strategy. Despite this incompleteness, the presented solution is able to deal with many real world problems like task allocation or robot positioning. We show that our approach is able to exploit the logical structure to solve highly complex tasks almost in real-time.}, author = {Witsch, Andreas and Skubch, Hendrik and Niemczyk, Stefan and Geihs, Kurt}, booktitle = {IEEE International Workshop on Intelligent Robots and Systems (IROS)}, keywords = {alica vs}, title = {Using Incomplete Satisfiability Modulo Theories to Determine Robotic Tasks}, year = 2013 }
The user in the loop: Enabling user participation for self-adaptive applications. Evers, Christoph; Kniewel, Romy; Geihs, Kurt; Schmidt, Ludger in Future Generation Computer Systems (2013).
[ Abstract ] [ BibTeX ] [ URL ]
 
Abstract Future computing systems must adjust to the user’s situations, habits, and intentions. Self-adaptive applications autonomously adapt to changing contexts without asking the user. However, the self-adaptive behaviour lacks of success if it does not correspond to the user’s personal interaction habits and intentions, particularly for complex scenarios with a high degree of user interaction. Concerning the interaction design, such adaptations can be irritating and distracting for the user if they do not match the current situation. In this article we provide a solution how to integrate the user in the self-adaptation feedback loop. The user will be able to influence the adaptation behaviour at run-time and in the long term by setting individual preferences. Consequently, we achieve a harmonization between full application autonomy and user control. We implemented our generic concepts by extending an existing self-adaptation middleware with capabilities to respect the user’s application focus and interaction behaviour. A notification-based solution for user participation has been evaluated in a substantial user study with 62 participants. Although participants perceived much better control with our solution, the study made clear that notification design is specific for each adaptation type.
@article{Evers2013, abstract = {Abstract Future computing systems must adjust to the user’s situations, habits, and intentions. Self-adaptive applications autonomously adapt to changing contexts without asking the user. However, the self-adaptive behaviour lacks of success if it does not correspond to the user’s personal interaction habits and intentions, particularly for complex scenarios with a high degree of user interaction. Concerning the interaction design, such adaptations can be irritating and distracting for the user if they do not match the current situation. In this article we provide a solution how to integrate the user in the self-adaptation feedback loop. The user will be able to influence the adaptation behaviour at run-time and in the long term by setting individual preferences. Consequently, we achieve a harmonization between full application autonomy and user control. We implemented our generic concepts by extending an existing self-adaptation middleware with capabilities to respect the user’s application focus and interaction behaviour. A notification-based solution for user participation has been evaluated in a substantial user study with 62 participants. Although participants perceived much better control with our solution, the study made clear that notification design is specific for each adaptation type.}, author = {Evers, Christoph and Kniewel, Romy and Geihs, Kurt and Schmidt, Ludger}, journal = {Future Generation Computer Systems}, keywords = {vs}, title = {The user in the loop: Enabling user participation for self-adaptive applications}, year = 2013 }

2012

Merging Backgrounds – An Interdisciplinary Course Concept for a Robotic Laboratory. Kirchner, Dominik; Geihs, Kurt Springer (Hrsg.) (2012). 107–116.
[ Abstract ] [ BibTeX ]
 
Interdisciplinary work is seen as an essential part in industrial development and scientific research projects. Modern education should address this skill. But integrating interdisciplinarity in a teaching curriculum is a demanding task. In this paper, we present a design of an introductory robotic laboratory, which is suitable for students in robotic related study programs, such as computer science, electrical engineering, mechatronics, and mechanical engineering. The course concept proposes the application of optional individual tasks to balance the different backgrounds and levels of the participants. Active participation and self-contained learning is identified as a key aspect in the proposed concept and therefore specifically addressed. Criteria for a suitable robot kit were formulated and a corresponding robot kit as an attractive teaching platform is presented. Results of a questionnaire provide an evaluation of the realized course concept.
@inproceedings{kirchner2012merging, abstract = {Interdisciplinary work is seen as an essential part in industrial development and scientific research projects. Modern education should address this skill. But integrating interdisciplinarity in a teaching curriculum is a demanding task. In this paper, we present a design of an introductory robotic laboratory, which is suitable for students in robotic related study programs, such as computer science, electrical engineering, mechatronics, and mechanical engineering. The course concept proposes the application of optional individual tasks to balance the different backgrounds and levels of the participants. Active participation and self-contained learning is identified as a key aspect in the proposed concept and therefore specifically addressed. Criteria for a suitable robot kit were formulated and a corresponding robot kit as an attractive teaching platform is presented. Results of a questionnaire provide an evaluation of the realized course concept.}, address = {Riva del Garda (Trento, Italy)}, author = {Kirchner, Dominik and Geihs, Kurt}, booktitle = {3rd International Workshop Teaching Robotics, Teaching with Robotics}, editor = {Springer}, keywords = {vs}, pages = {107-116}, title = {Merging Backgrounds – An Interdisciplinary Course Concept for a Robotic Laboratory}, year = 2012 }
Team Description: Carpe Noctem 2012 Amma, Till; Beifuß, Jewgeni; Bozic, Zjelko; Bui, Mike; Gawora, Fridolin; Haque, Tareque; Geihs, Kurt; Jakob, Stefan; Kirchner, Dominik; Kubitza, Nils; Liebscher, Kai; Opfer, Stephan; Saur, Daniel; Schaake, Tim; Schlüter, Tim; Triller, Stefan; Witsch, Andreas (2012).
[ Abstract ] [ BibTeX ]
 
Carpe Noctem is a Mid-Size League Robocup team at the University of Kassel. It is part of the Distributed Autonomous Systems Laboratory of the Distributed Systems Group which is well known for its research contributions on middleware platforms, distributed system management, and software technologies for distributed systems. Carpe Noctem is a team of researchers and students who collectively aim at competing in the Robocup championships. Several undergraduate students are involved in the research as part of their bachelor or master thesis, and the achieved results are directly integrated into the overall system. Carpe Noctem successfully developed a modular and platform-independent communication middleware for autonomous robots in the past years. The main research focus has now shifted towards representation and robust execution of cooperative strategies in dynamic domains. As such, Robocup is again an ideal domain to evaluate our approach.
@techreport{2012, abstract = {Carpe Noctem is a Mid-Size League Robocup team at the University of Kassel. It is part of the Distributed Autonomous Systems Laboratory of the Distributed Systems Group which is well known for its research contributions on middleware platforms, distributed system management, and software technologies for distributed systems. Carpe Noctem is a team of researchers and students who collectively aim at competing in the Robocup championships. Several undergraduate students are involved in the research as part of their bachelor or master thesis, and the achieved results are directly integrated into the overall system. Carpe Noctem successfully developed a modular and platform-independent communication middleware for autonomous robots in the past years. The main research focus has now shifted towards representation and robust execution of cooperative strategies in dynamic domains. As such, Robocup is again an ideal domain to evaluate our approach.}, author = {Amma, Till and Beifuß, Jewgeni and Bozic, Zjelko and Bui, Mike and Gawora, Fridolin and Haque, Tareque and Geihs, Kurt and Jakob, Stefan and Kirchner, Dominik and Kubitza, Nils and Liebscher, Kai and Opfer, Stephan and Saur, Daniel and Schaake, Tim and Schlüter, Tim and Triller, Stefan and Witsch, Andreas}, keywords = {vs}, series = {RoboCup Federation}, title = {Team Description: Carpe Noctem 2012}, year = 2012 }
Achieving User Participation for Adaptive Applications. Evers, Christoph; Kniewel, Romy; Geihs, Kurt; Schmidt, Ludger in Ubiquitous Computing and Ambient Intelligence, J. Bravo, D. López-de Ipiña, F. Moya (Hrsg.) (2012). (Bd. 7656) 200–207.
[ Abstract ] [ BibTeX ] [ URL ]
 
Adaptive applications establish the basis for many ubiquitous computing scenarios as they can dynamically adapt to changing contexts. But adaptive applications lack of success when the adaptive behaviour does not correspond to the user’s interaction habits. A user study revealed that such applications are not satisfying for complex scenarios with a high degree of user interaction. We claim that there must be a trade-off between automation and user participation. By extending an existing adaptation middleware with capabilities to respect user preference and interaction behaviour we demonstrate how to integrate the user in the self-adaptation loop. Interdisciplinary results from the fields of usability engineering and interaction design include the need for an adaptation notification concept to avoid mismatching adaptation behaviour.
@incollection{evers2012achieving, abstract = {Adaptive applications establish the basis for many ubiquitous computing scenarios as they can dynamically adapt to changing contexts. But adaptive applications lack of success when the adaptive behaviour does not correspond to the user’s interaction habits. A user study revealed that such applications are not satisfying for complex scenarios with a high degree of user interaction. We claim that there must be a trade-off between automation and user participation. By extending an existing adaptation middleware with capabilities to respect user preference and interaction behaviour we demonstrate how to integrate the user in the self-adaptation loop. Interdisciplinary results from the fields of usability engineering and interaction design include the need for an adaptation notification concept to avoid mismatching adaptation behaviour.}, author = {Evers, Christoph and Kniewel, Romy and Geihs, Kurt and Schmidt, Ludger}, booktitle = {Ubiquitous Computing and Ambient Intelligence}, editor = {Bravo, José and López-de Ipiña, Diego and Moya, Francisco}, keywords = {VS}, pages = {200-207}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes in Computer Science}, title = {Achieving User Participation for Adaptive Applications}, volume = 7656, year = 2012 }
Akzeptanz technikferner Nutzergruppen für innovative Smartphone-Apps. Behrenbruch, K.; Kniewel, R.; Niemczyk, S.; Schmidt, L. in VDI-Berichte, V.-G. M.-. und Automatisierungstechnik (Hrsg.) (2012). (Bd. 2179) 65–74.
[ Abstract ] [ BibTeX ]
 
Zu einer sozialverträglichen Technikgestaltung neuartiger Smartphone-Anwendungen gehört es, die Bedürfnisse unterschiedlicher Nutzergruppen zu berücksichtigen. Dieser Beitrag stellt die Kasseler Entwicklungsmethodik vor, die darauf ausgerichtet ist, softwarebasierte Systeme sozialverträglich zu gestalten und im Rahmen der Zusammenarbeit im Forschungsprojekt VENUS gemeinsam entworfen wird. Die koordinierte Zusammenarbeit von Experten aus den Bereichen Informatik, Rechts- und Wirtschaftswissenschaften sowie Ergonomie im Rahmen der Kasseler Methodik wird im Folgenden am Beispiel der Gestaltung der Smartphone Applikation Meet-U dargestellt. Dabei wird das Entwicklungsergebnis mit Kasseler Methodik (Meet-U-A) im Rahmen einer Evaluation der Nutzerakzeptanz mit einer Version B der Anwendung (Meet-U-B) verglichen, die ohne Kasseler Methodik entwickelt wurde. Die Auswertung der Evaluationen (n=150 bzw. n=153) erfolgte mit dem Ziel, die folgende Hypothese zu prüfen: Die Entwicklung nach Kasseler Methodik führt zu einer höheren Akzeptanz bei einer relativ technikfernen Nutzergruppe. Für die technikfernen Personen konnte tatsächlich eine signifikante Erhöhung der Akzeptanz von etwa 50% (Meet-U-B) auf 70% (Meet-U-A) festgestellt werden. Die Ergebnisse der Evaluationen werden bezogen auf ihre Aussagekraft für die Qualität der Kasseler Methodik diskutiert.
@inproceedings{behrenbruch2012akzeptanz, abstract = {Zu einer sozialverträglichen Technikgestaltung neuartiger Smartphone-Anwendungen gehört es, die Bedürfnisse unterschiedlicher Nutzergruppen zu berücksichtigen. Dieser Beitrag stellt die Kasseler Entwicklungsmethodik vor, die darauf ausgerichtet ist, softwarebasierte Systeme sozialverträglich zu gestalten und im Rahmen der Zusammenarbeit im Forschungsprojekt VENUS gemeinsam entworfen wird. Die koordinierte Zusammenarbeit von Experten aus den Bereichen Informatik, Rechts- und Wirtschaftswissenschaften sowie Ergonomie im Rahmen der Kasseler Methodik wird im Folgenden am Beispiel der Gestaltung der Smartphone Applikation Meet-U dargestellt. Dabei wird das Entwicklungsergebnis mit Kasseler Methodik (Meet-U-A) im Rahmen einer Evaluation der Nutzerakzeptanz mit einer Version B der Anwendung (Meet-U-B) verglichen, die ohne Kasseler Methodik entwickelt wurde. Die Auswertung der Evaluationen (n=150 bzw. n=153) erfolgte mit dem Ziel, die folgende Hypothese zu prüfen: Die Entwicklung nach Kasseler Methodik führt zu einer höheren Akzeptanz bei einer relativ technikfernen Nutzergruppe. Für die technikfernen Personen konnte tatsächlich eine signifikante Erhöhung der Akzeptanz von etwa 50\% (Meet-U-B) auf 70\% (Meet-U-A) festgestellt werden. Die Ergebnisse der Evaluationen werden bezogen auf ihre Aussagekraft für die Qualität der Kasseler Methodik diskutiert.}, address = {Düsseldorf}, author = {Behrenbruch, K. and Kniewel, R. and Niemczyk, S. and Schmidt, L.}, booktitle = {Useware 2012: Mensch-Maschine-Interaktion (Kaiserslautern 2012)}, editor = {{VDI/VDE-Gesellschaft Mess- und Automatisierungstechnik}}, keywords = {vs}, pages = {65–74}, publisher = {VDI-Verlag}, series = {VDI-Berichte}, title = {Akzeptanz technikferner Nutzergruppen für innovative Smartphone-Apps}, volume = 2179, year = 2012 }
A Personality Based Design Approach Using Subgroup Discovery. Behrenbruch, Kay; Atzmüller, Martin; Evers, Christoph; Schmidt, Ludger; Stumme, Gerd; Geihs, Kurt in Human-Centered Software Engineering, M. Winckler, P. Forbrig, R. Bernhaupt (Hrsg.) (2012). (Bd. 7623) 259–266.
[ Abstract ] [ BibTeX ] [ URL ]
 
To facilitate user-centered software engineering, developers need an easy to grasp understanding of the user. The use of personas helps to keep specific user needs in mind during the design process. Technology acceptance is of particular interest for the design of innovative applications previously unknown to potential users. Therefore, our research focuses on defining a typology of relevant user characteristics with respect to technology acceptance and transferring those findings to the description of personas. The presented work focuses on the statistical relationship between technology acceptance and personality. We apply sub-group discovery as a statistical tool. Based on the statistically derived subgroups and patterns we define the mentioned personas to help developers to understand different forms of technology acceptance. By integrating the specifically defined personas into existing methods in the field of software engineering the feasibility of the presented approach is demonstrated.
@incollection{behrenbruch2012personality, abstract = {To facilitate user-centered software engineering, developers need an easy to grasp understanding of the user. The use of personas helps to keep specific user needs in mind during the design process. Technology acceptance is of particular interest for the design of innovative applications previously unknown to potential users. Therefore, our research focuses on defining a typology of relevant user characteristics with respect to technology acceptance and transferring those findings to the description of personas. The presented work focuses on the statistical relationship between technology acceptance and personality. We apply sub-group discovery as a statistical tool. Based on the statistically derived subgroups and patterns we define the mentioned personas to help developers to understand different forms of technology acceptance. By integrating the specifically defined personas into existing methods in the field of software engineering the feasibility of the presented approach is demonstrated.}, author = {Behrenbruch, Kay and Atzmüller, Martin and Evers, Christoph and Schmidt, Ludger and Stumme, Gerd and Geihs, Kurt}, booktitle = {Human-Centered Software Engineering}, editor = {Winckler, Marco and Forbrig, Peter and Bernhaupt, Regina}, keywords = {Acceptance Design Discovery Engineering Personality Software Subgroup Technology Usercentered}, pages = {259-266}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes in Computer Science}, title = {A Personality Based Design Approach Using Subgroup Discovery}, volume = 7623, year = 2012 }
A development framework and methodology for self-adapting applications in ubiquitous computing environments. Hallsteinsen, S.; Geihs, K.; Paspallis, N.; Eliassen, F.; Horn, G.; Lorenzo, J.; Mamelli, A.; Papadopoulos, G.A. in Journal of Systems and Software (2012). 85(12) 2840–2859.
[ Abstract ] [ BibTeX ] [ URL ]
 
Today software is the main enabler of many of the appliances and devices omnipresent in our daily life and important for our well being and work satisfaction. It is expected that the software works as intended, and that the software always and everywhere provides us with the best possible utility. This paper discusses the motivation, technical approach, and innovative results of the MUSIC project. MUSIC provides a comprehensive software development framework for applications that operate in ubiquitous and dynamic computing environments and adapt to context changes. Context is understood as any information about the user needs and operating environment which vary dynamically and have an impact on design choices. MUSIC supports several adaptation mechanisms and offers a model-driven application development approach supported by a sophisticated middleware that facilitates the dynamic and automatic adaptation of applications and services based on a clear separation of business logic, context awareness and adaptation concerns. The main contribution of this paper is a holistic, coherent presentation of the motivation, design, implementation, and evaluation of the MUSIC development framework and methodology.
@article{hallsteinsen2012development, abstract = {Today software is the main enabler of many of the appliances and devices omnipresent in our daily life and important for our well being and work satisfaction. It is expected that the software works as intended, and that the software always and everywhere provides us with the best possible utility. This paper discusses the motivation, technical approach, and innovative results of the \{MUSIC\} project. \{MUSIC\} provides a comprehensive software development framework for applications that operate in ubiquitous and dynamic computing environments and adapt to context changes. Context is understood as any information about the user needs and operating environment which vary dynamically and have an impact on design choices. \{MUSIC\} supports several adaptation mechanisms and offers a model-driven application development approach supported by a sophisticated middleware that facilitates the dynamic and automatic adaptation of applications and services based on a clear separation of business logic, context awareness and adaptation concerns. The main contribution of this paper is a holistic, coherent presentation of the motivation, design, implementation, and evaluation of the \{MUSIC\} development framework and methodology.}, author = {Hallsteinsen, S. and Geihs, K. and Paspallis, N. and Eliassen, F. and Horn, G. and Lorenzo, J. and Mamelli, A. and Papadopoulos, G.A.}, journal = {Journal of Systems and Software}, keywords = {Adaptive Middleware Model-driven Ubiquitous}, number = 12, pages = {2840 - 2859}, title = {A development framework and methodology for self-adapting applications in ubiquitous computing environments}, volume = 85, year = 2012 }
BPRules and the BPR-Framework: Comprehensive Support for Managing QoS in Web Service Compositions. Comes, DianaElena; Baraki, Harun; Reichle, Roland; Geihs, Kurt in Distributed Applications and Interoperable Systems, K. Göschka, S. Haridi (Hrsg.) (2012). (Bd. 7272) 222–235.
[ Abstract ] [ BibTeX ] [ URL ]
 
For a successful collaboration between enterprises, Web services and service compositions need to fulfill certain QoS (Quality of Service) requirements so that they can be trusted by their clients. Thus, the best services have to be chosen for the composition, the performance of the composition needs to be monitored and in case of QoS deviations, appropriate management actions are required. We propose the BPRules language and the BPR-framework that offer novel capabilities and improved flexibility for the management of BPEL processes with regard to QoS concerns. The BPRules language allows to specify the QoS monitoring of BPEL processes and offers a variety of management actions for controlling the process and for the improvement of its QoS behavior. Thereby, the BPR-framework provides the necessary components to perform the QoS monitoring and to execute the management actions. For the selection of high quality services, the BPR-framework comes with efficient selection algorithms, like our OPTIM_PRO algorithm. We present the features of BPRules that we consider as indispensable for managing the services’ QoS behavior.
@incollection{comes2012bprules, abstract = {For a successful collaboration between enterprises, Web services and service compositions need to fulfill certain QoS (Quality of Service) requirements so that they can be trusted by their clients. Thus, the best services have to be chosen for the composition, the performance of the composition needs to be monitored and in case of QoS deviations, appropriate management actions are required. We propose the BPRules language and the BPR-framework that offer novel capabilities and improved flexibility for the management of BPEL processes with regard to QoS concerns. The BPRules language allows to specify the QoS monitoring of BPEL processes and offers a variety of management actions for controlling the process and for the improvement of its QoS behavior. Thereby, the BPR-framework provides the necessary components to perform the QoS monitoring and to execute the management actions. For the selection of high quality services, the BPR-framework comes with efficient selection algorithms, like our OPTIM_PRO algorithm. We present the features of BPRules that we consider as indispensable for managing the services’ QoS behavior.}, author = {Comes, DianaElena and Baraki, Harun and Reichle, Roland and Geihs, Kurt}, booktitle = {Distributed Applications and Interoperable Systems}, editor = {Göschka, KarlMichael and Haridi, Seif}, keywords = {vs}, pages = {222-235}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes in Computer Science}, title = {BPRules and the BPR-Framework: Comprehensive Support for Managing QoS in Web Service Compositions}, volume = 7272, year = 2012 }
Context-Awareness for Self-adaptive Applications in Ubiquitous Computing Environments. Geihs, Kurt; Wagner, Michael in Context-Aware Systems and Applications, P. Vinh, N. Hung, N. Tung, J. Suzuki (Hrsg.) (2012). (Bd. 109) 108–120.
[ Abstract ] [ BibTeX ] [ URL ]
 
Context-awareness is a prerequisite for self-adaptive applications that are able to react and adapt to their runtime context. We have built and evaluated a comprehensive development framework for context-aware, self-adaptive applications in dynamic ubiquitous computing scenarios. The framework consists of a middleware and an associated model-driven development methodology. In this paper we focus on the context-awareness part of the framework. We discuss design objectives, design decisions, and lessons learnt. The main contributions of this paper are generally applicable insights into the design and seamless integration of context-awareness, dynamic service landscapes, and application adaptation management for applications in highly dynamic execution environments. These insights not only relate to the functional requirements and constraints, but also to non-functional aspects that have a strong influence on the user acceptance of such applications.
@incollection{geihs2012contextawareness, abstract = {Context-awareness is a prerequisite for self-adaptive applications that are able to react and adapt to their runtime context. We have built and evaluated a comprehensive development framework for context-aware, self-adaptive applications in dynamic ubiquitous computing scenarios. The framework consists of a middleware and an associated model-driven development methodology. In this paper we focus on the context-awareness part of the framework. We discuss design objectives, design decisions, and lessons learnt. The main contributions of this paper are generally applicable insights into the design and seamless integration of context-awareness, dynamic service landscapes, and application adaptation management for applications in highly dynamic execution environments. These insights not only relate to the functional requirements and constraints, but also to non-functional aspects that have a strong influence on the user acceptance of such applications.}, author = {Geihs, Kurt and Wagner, Michael}, booktitle = {Context-Aware Systems and Applications}, editor = {Vinh, PhanCong and Hung, NguyenManh and Tung, NguyenThanh and Suzuki, Junichi}, keywords = {context-awareness middleware self-adaptation socio-technical vs}, pages = {108-120}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, title = {Context-Awareness for Self-adaptive Applications in Ubiquitous Computing Environments}, volume = 109, year = 2012 }
On Socio-technical Enablers for Ubiquitous Computing Applications. Geihs, K.; Leimeister, J.M.; Rossnagel, A.; Schmidt, L. (2012). 405–408.
[ Abstract ] [ BibTeX ]
 
The focus of this paper is on context-aware, self-adaptive ubiquitous computing applications that involve mobile users. The development of such applications is inherently complex for two main reasons: From a technical perspective, context management and adaptation management add complexity to the application design and implementation. From a socio-technical perspective, concerns and requirements related to the social embedding and user acceptance must be addressed in the application design and lead to additional complexity, particularly because sensitive personal data is collected, processed, stored and communicated by such applications. In this position paper we present an analysis of the problem space and a solution approach. We have developed an interdisciplinary methodology that systematically addresses technical as well as non-technical concerns. Our conclusion is that solving the socio-technical challenges will be a key enabler for ubiquitous computing.
@inproceedings{geihs2012sociotechnical, abstract = {The focus of this paper is on context-aware, self-adaptive ubiquitous computing applications that involve mobile users. The development of such applications is inherently complex for two main reasons: From a technical perspective, context management and adaptation management add complexity to the application design and implementation. From a socio-technical perspective, concerns and requirements related to the social embedding and user acceptance must be addressed in the application design and lead to additional complexity, particularly because sensitive personal data is collected, processed, stored and communicated by such applications. In this position paper we present an analysis of the problem space and a solution approach. We have developed an interdisciplinary methodology that systematically addresses technical as well as non-technical concerns. Our conclusion is that solving the socio-technical challenges will be a key enabler for ubiquitous computing.}, author = {Geihs, K. and Leimeister, J.M. and Rossnagel, A. and Schmidt, L.}, booktitle = {Applications and the Internet (SAINT), 2012 IEEE/IPSJ 12th International Symposium on}, keywords = {vs}, month = {July}, pages = {405-408}, title = {On Socio-technical Enablers for Ubiquitous Computing Applications}, year = 2012 }
Solving Non-linear Arithmetic Constraints in Soft Realtime Environments. Skubch, Hendrik in SAC ’12 (2012). 67–73.
[ Abstract ] [ BibTeX ] [ URL ]
 
In many domains, such as in multi-robot scenarios, operational instructions controlling a system are highly complex. In order to facilitate both ease of modeling and intelligent decision making, powerful reasoning techniques become available, which are able to solve complex non-linear formulae within a very small time frame. We argue that the problem class of arbitrary boolean combinations of non-linear constraints is a suitable representation for a wide range of robotic problems and present an evaluation of several state-of-the-art solving techniques, targeting problems that arise in robotic and multi-robotic domains, which need to be solved in near real-time. Additionally, we combine available techniques yielding two highly competitive solvers for non-linear continuous constraint systems. Finally, we present new results on complexity phase transition phenomena of the local searches involved.
@inproceedings{skubch2012solving, abstract = {In many domains, such as in multi-robot scenarios, operational instructions controlling a system are highly complex. In order to facilitate both ease of modeling and intelligent decision making, powerful reasoning techniques become available, which are able to solve complex non-linear formulae within a very small time frame. We argue that the problem class of arbitrary boolean combinations of non-linear constraints is a suitable representation for a wide range of robotic problems and present an evaluation of several state-of-the-art solving techniques, targeting problems that arise in robotic and multi-robotic domains, which need to be solved in near real-time. Additionally, we combine available techniques yielding two highly competitive solvers for non-linear continuous constraint systems. Finally, we present new results on complexity phase transition phenomena of the local searches involved.}, address = {New York, NY, USA}, author = {Skubch, Hendrik}, booktitle = {Proceedings of the 27th Annual ACM Symposium on Applied Computing}, keywords = {acceptance adaptive alica design ubiquitous vs}, pages = {67–73}, publisher = {ACM}, series = {SAC '12}, title = {Solving Non-linear Arithmetic Constraints in Soft Realtime Environments}, year = 2012 }
Querying SAP ERP with SPARQL. Kirchhoff, Marc; Geihs, Kurt in I-SEMANTICS ’12 (2012). 173–176.
[ Abstract ] [ BibTeX ] [ URL ]
 
Most of the mid-size and large companies employ enterprise resource planning (ERP) systems to manage their business data and business processes. Business entities like purchase orders, equipments or customers are represented as business objects in ERP systems. Multiple business objects can span a business object graph by referencing each other. The SAP ERP system provides several interfaces to access business objects. Querying business objects with regard to their positions within a business object graph by using these existing interfaces is not an easy task. In this paper, we propose to use the RDF query language SPARQL to express queries against business object graphs. We argue that SPARQL is well suited to query business objects in ERP systems and introduce an architecture to provide a SPARQL endpoint on top of an SAP ERP system. This novel approach simplifies the retrieval of data from ERP systems and makes it available to the integration with the Semantic Web.
@inproceedings{kirchhoff2012querying, abstract = {Most of the mid-size and large companies employ enterprise resource planning (ERP) systems to manage their business data and business processes. Business entities like purchase orders, equipments or customers are represented as business objects in ERP systems. Multiple business objects can span a business object graph by referencing each other. The SAP ERP system provides several interfaces to access business objects. Querying business objects with regard to their positions within a business object graph by using these existing interfaces is not an easy task. In this paper, we propose to use the RDF query language SPARQL to express queries against business object graphs. We argue that SPARQL is well suited to query business objects in ERP systems and introduce an architecture to provide a SPARQL endpoint on top of an SAP ERP system. This novel approach simplifies the retrieval of data from ERP systems and makes it available to the integration with the Semantic Web.}, address = {New York, NY, USA}, author = {Kirchhoff, Marc and Geihs, Kurt}, booktitle = {Proceedings of the 8th International Conference on Semantic Systems}, keywords = {ERP SAP SPARQL ontologies vs}, pages = {173–176}, publisher = {ACM}, series = {I-SEMANTICS '12}, title = {Querying SAP ERP with SPARQL}, year = 2012 }
Designing Socio-technical Applications for Ubiquitous Computing. Comes, DianaElena; Evers, Christoph; Geihs, Kurt; Hoffmann, Axel; Kniewel, Romy; Leimeister, JanMarco; Niemczyk, Stefan; Roßnagel, Alexander; Schmidt, Ludger; Schulz, Thomas; Söllner, Matthias; Witsch, Andreas in Distributed Applications and Interoperable Systems, K. Göschka, S. Haridi (Hrsg.) (2012). (Bd. 7272) 194–201.
[ Abstract ] [ BibTeX ] [ URL ]
 
A major challenge for ubiquitous system design is creating applications that are legal-compatible and accepted by their intended users. Today’s European data protection principles contradict the ideas of ubiquitous computing. Additionally, users have to deal with unconventional interaction concepts leading to a low amount of trust and acceptance in such systems. Current development approaches do not sufficiently cover these concerns, as they do not systematically incorporate expertise from the relevant disciplines. We present a novel development approach for ubiquitous systems that explicitly addresses these concerns. Our primary task was to manage the increased number of stakeholders and dependencies, respectively conflicts between requirements of the particular disciplines. The approach incorporates predefined artifacts and a defined workflow with responsibilities, as well as suggesting how to develop mutual understanding. We apply this multidisciplinary approach to develop the ubiquitous application Meet-U.
@incollection{comes2012designing, abstract = {A major challenge for ubiquitous system design is creating applications that are legal-compatible and accepted by their intended users. Today’s European data protection principles contradict the ideas of ubiquitous computing. Additionally, users have to deal with unconventional interaction concepts leading to a low amount of trust and acceptance in such systems. Current development approaches do not sufficiently cover these concerns, as they do not systematically incorporate expertise from the relevant disciplines. We present a novel development approach for ubiquitous systems that explicitly addresses these concerns. Our primary task was to manage the increased number of stakeholders and dependencies, respectively conflicts between requirements of the particular disciplines. The approach incorporates predefined artifacts and a defined workflow with responsibilities, as well as suggesting how to develop mutual understanding. We apply this multidisciplinary approach to develop the ubiquitous application Meet-U.}, author = {Comes, DianaElena and Evers, Christoph and Geihs, Kurt and Hoffmann, Axel and Kniewel, Romy and Leimeister, JanMarco and Niemczyk, Stefan and Roßnagel, Alexander and Schmidt, Ludger and Schulz, Thomas and Söllner, Matthias and Witsch, Andreas}, booktitle = {Distributed Applications and Interoperable Systems}, editor = {Göschka, KarlMichael and Haridi, Seif}, keywords = {Acceptance Computing Law Trust Ubiquitous Usability vs}, pages = {194-201}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes in Computer Science}, title = {Designing Socio-technical Applications for Ubiquitous Computing}, volume = 7272, year = 2012 }