Programming smart environments using π-calculus

In the realm of Internet of Things (IoT), the complexity of designing ubiquitous and smart systems with dynamically evolving structure has grown to an extent where system modelling and verification has become a real hurdle. Though, a lot of innovations have taken place in this field, there are no good mechanisms for describing and modelling smart environments in a formal manner. pi-calculus, proposed by Milner is a formal language which provides strong mathematical base that can be used for modelling and verifying system requirements. In this paper, we intend to offer a contribution towards understanding the usefulness of pi-calculus as a language for programming a special kind of ubiquitous application: smart environments. Here we propose a model that includes a type checker for pi-calculus and an application that executes pi-calculus statements and generates the graphical representation of the smart environment represented by the pi-calculus statement. (C) 2015 Published by Elsevier B.V.