Behavior-based programming of Lego Mindstorms EV3 robot

Abstract

A recent trend in the evolution of programming languages is to use behavioral types to ensure the accurate operation of large-scale communication-based systems. Behavioral types define a set of interfaces, communication protocols, contracts and choreography. Their successful application presumes that the programmer knows how they are represented in a given programming language and how to integrate them with other programming constructs. The present paper aims at studying the integration of behavioral types in Java by means of a Lego Mindstorms EV3 robot program.