A Task-Based DSL for Microcomputers

Koopman, Pieter; Lubbers, Mart; Plasmeijer, Rinus

doi:10.1145/3183895.3183902

Cited by 15 publications

(16 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The reference implementation is the iTasks framework [19], which is an embedded domain specific language in the non-strict functional programming language Clean [18]. mTasks [13] is a TOP implementation specifically designed for embedded systems. A formalisation of TOP, called TOP (TopHat), has been created by Steenvoorden, Naus, and Klinik [20].…”

Section: The Tophat Languagementioning

confidence: 99%

Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution

Naus

Steenvoorden

2020

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Software that models business workflows is omnipresent in today's society. These systems coordinate collaboration in hospitals, companies, and military institutions. Unfortunately, workflow systems may obfuscate the influence of current user actions on the desired end result. In order to make the right decision, users need to oversee the full process and all information available, both of which are usually buried in the system. We have developed a way to automatically generate next step hints for task oriented programs. Task oriented programming provides programmers with an abstraction over workflow software, while still being expressive enough to describe real world collaboration. By leveraging symbolic execution, we can calculate these hints without modification of the original program. To our knowledge, this is the first time that symbolic execution is used to automatically generate next step hints for end users. We prove the generated hints to be sound and complete, and also demonstrate that the symbolic execution semantics we employ is correct for sequential input. In addition, we have developed a Haskell implementation of our automatic next step hint generation system. By providing next step hints, the chance of human error is reduced, while still allowing end users to intervene if required. The overall performance is raised, since the quality of decisions will improve.

show abstract

Section: The Tophat Languagementioning

confidence: 99%

Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution

Naus

Steenvoorden

2020

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…mTasks. The mTasks framework [13] is an implementation of top geared towards iot devices. As top its basic combinators are a subset of iTasks.…”

Section: Top Implementationsmentioning

confidence: 99%

“…mTasks is a subset of iTasks, focusing on iot devices and deployment on micro controllers. It has been used to control home thermostats and other home automation applications [13]. Both Challenges.…”

Section: Introductionmentioning

confidence: 99%

TopHat

Steenvoorden

Naus

Klinik

2019

Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming

View full text Add to dashboard Cite

Software that models how people work is omnipresent in today's society. Current languages and frameworks often focus on usability by non-programmers, sacrificing flexibility and high level abstraction. Task-oriented programming (TOP) is a programming paradigm that aims to provide the desired level of abstraction while still being expressive enough to describe real world collaboration. It prescribes a declarative programming style to specify multi-user workflows. Workflows can be higher-order. They communicate through typed values on a local and global level. Such specifications can be turned into interactive applications for different platforms, supporting collaboration during execution. TOP has been around for more than a decade, in the forms of iTasks and mTasks, which are tailored for real-world usability. So far, it has not been given a formalisation which is suitable for formal reasoning.In this paper we give a description of the TOP paradigm and then decompose its rich features into elementary language elements, which makes them suitable for formal treatment. We use the simply typed lambda-calculus, extended with pairs and references, as a base language. On top of this language, we develop TopHat, a language for modular interactive workflows. We describe TopHat by means of a layered semantics. These layers consist of multiple big-step evaluations on expressions, and two labelled transition systems, handling user inputs.With TopHat we prepare a way to formally reason about TOP languages and programs. This approach allows for comparison with other work in the field. We have implemented the semantic rules of TopHat in Haskell, and the task layer on top of the iTasks framework. This shows that our approach is feasible, and lets us demonstrate the concepts by means of illustrative case studies. TOP has been applied in projects with the Dutch coast guard, tax office, and navy. Our work matters because formal program verification is important for mission-critical software, especially for systems with concurrency.

show abstract

“…mTasks is a subset of iTasks, focusing on IOT devices and deployment on micro controllers. It has been used to control home thermostats and other home automation applications (P. Koopman et al, 2018).…”

Section: Implementations Of Topmentioning

confidence: 99%

“…The most used TOP implementation is iTasks (Plasmeijer, Lijnse, Michels, Achten, & Koopman, 2012). It has been subject of study for many years (P. Koopman, Lubbers, & Plasmeijer, 2018; P. W. M. Koopman, Plasmeijer, & Achten, 2008;Oortgiese, van Groningen, Achten, & Plasmeijer, 2017;Plasmeijer et al, 2011;Stutterheim, Achten, & Plasmeijer, 2017), and has been used to implement several systems for the Netherlands Royal Navy and the Dutch coast guard (Lijnse, Jansen, & Plasmeijer, 2012;Stutterheim, Achten, & Plasmeijer, 2016).…”

Section: Introductionmentioning

confidence: 99%

Assisting End Users in Workflow Systems

Naus¹

View full text Add to dashboard Cite

hintsystemen. Het ene wordt ondersteund door de programmeur, het andere is volledig automatisch. Als onderdeel van de ontwikkeling van het automatische systeem wordt ook een formele taak-georiënteerd programmeren semantiek ontwikkeld, inclusief een symbolische executie semantiek. Beide systemen worden sound en complete bewezen. Ook zijn beide systemen geïmplementeerd, waarmee hun werking in de praktijk gedemonstreerd wordt. Het voorzien van gebruikers van volgende-stap hints is cruciaal in het verbeteren van de kwaliteit van beslissingen. Het helpt gebruikers om inzicht te krijgen in het effect van hun keuzes, en om er zeker van te zijn dat ze alle informatie in hun overweging mee hebben genomen.

show abstract

A Task-Based DSL for Microcomputers

Cited by 15 publications

References 13 publications

Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution

Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution

TopHat

Assisting End Users in Workflow Systems

Contact Info

Product

Resources

About