PhD defence: ComPOS - a domain-specific language for composing Internet-of-things systems (Alfred Åkesson)
Plats: E:1406 and / or online
Kontakt: gorel [dot] hedin [at] cs [dot] lth [dot] se
Spara händelsen till din kalender
Thesis title: ComPOS - a domain-specific language for composing Internet-of-things systems
Author: Alfred Åkesson, Department of Computer Science, Lund university and Wallenberg AI, Autonomous Systems and Software Program (WASP).
When: 18 June 2021 at 13.15
Location: Online from room E:1406, LTH, Ole Römers väg 2 in Lund, Sweden - link by registration
Internet-of-Things (IoT) systems consist of spatially distributed interacting devices. In contrast to desktop applications, IoT systems are always running and need to deal with unresponsive devices and weak connectivity. In this thesis, we propose techniques for simplifying the development of such systems. The work addresses IoT systems organised as reusable services connected by compositions. We propose to program such compositions using stateful reactions that mediate messages. To this end, we have designed a domain-specific language (DSL), called ComPOS. To help systems operate partly in cases of weak connectivity, we propose that ComPOS aborts older reactions when newer messages arrive. We evaluate our DSL in home-automation and e-health scenarios.
Understanding IoT systems can be hard, and different analyses can help explain how they work. To support analysis, we propose a conceptual runtime model based on relational reference attribute grammars. We demonstrate the approach by formulating and implementing a Device Dependency Analysis (DDA). The DDA finds sets of devices needed for given parts of the system to work.
The ComPOS editor supports live programming to allow development while the system is running. We propose a methodology for live ComPOS programming which divides the development into three, iteratively applied, phases: finding services (explore), composing services (assemble), and abstracting compositions as new services (expose).
When developing a DSL, it takes substantial effort to specify the syntax and semantics, to build tools like editors, and to integrate with the environment (in this case the underlying middleware). To reduce the effort needed to experiment with ComPOS, we have created a tool called Jatte. Jatte is a generic projectional editor that developers can tune using attribute grammars. We used Jatte to implement the ComPOS editor.
The event is open to anyone interested. If you register at https://www.lth.se/digitalth/events/register-2021-06-18/ we send you a link for the event at the zoom platform.