lu.se

Datavetenskap

Lunds Tekniska Högskola

Kalendarium

PhD defence: ComPOS - a domain-specific language for composing Internet-of-things systems (Alfred Åkesson)

Seminarium

Tid: 2021-06-18 13:15 till 18:00
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).

Faculty opponent: Professor Tommi J Mikkonen, University of Helsinki

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

Download the thesis as PDF from research.portal.lu.se

 

Thesis abstract

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.

Registration

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.