ComPOS - a Domain-Specific Language for Composing Internet-of-Things Systems

Forskningsoutput: AvhandlingDoktorsavhandling (sammanläggning)

153 Nedladdningar (Pure)

Sammanfattning

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.
Originalspråkengelska
KvalifikationDoktor
Tilldelande institution
  • Institutionen för datavetenskap
Handledare
  • Hedin, Görel, handledare
  • Magnusson, Boris, handledare
  • Fors, Niklas, handledare
Sponsorer för avhandling
Tilldelningsdatum2021 jun 18
Förlag
Tryckta ISBN978-91-7895-906-8
Elektroniska ISBN978-91-7895-905-1
StatusPublished - 2021 maj 25

Bibliografisk information

Defence details
Date: 2021-06-18
Time: 13:15
Place: Lecture hall E:1406, building E, Ole Römers väg 3, Faculty of Engineering LTH, Lund University, Lund. Link by registration: https://cs.lth.se/?97303&nid=102656
External reviewer(s)
Name: Mikkonen, Tommi J.
Title: Prof.
Affiliation: University of Helsinki, Finland.
---

Ämnesklassifikation (UKÄ)

  • Data- och informationsvetenskap

Fingeravtryck

Utforska forskningsämnen för ”ComPOS - a Domain-Specific Language for Composing Internet-of-Things Systems”. Tillsammans bildar de ett unikt fingeravtryck.

Citera det här