Back close

Programming Smart Environments Using π-calculus

Publication Type : Conference Proceedings

Publisher : Proceedings of the International Conference on Information and Communication Technologies (ICICT)2014, Procedia Computer Science

Source : Proceedings of the International Conference on Information and Communication Technologies (ICICT)2014, Procedia Computer Science, vol. 46. Science Direct, Elsevier, pp. 884-891, 2014

Url : https://www.sciencedirect.com/science/article/pii/S1877050915002227

Keywords : programming language, Smart environments, П-calculus

Campus : Amritapuri

School : Department of Computer Science and Engineering, School of Engineering

Department : Computer Science

Year : 2014

Abstract : 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. π -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 π-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 π-calculus and an application that executes π- calculus statements and generates the graphical representation of the smart environment represented by the π- calculus statement.

Cite this Research Publication :
V Geetha Lekshmy V. and Jasmine Bhaskar, “Programming Smart Environments Using π-calculus”, Proceedings of the International Conference on Information and Communication Technologies (ICICT)2014, Procedia Computer Science, vol. 46. Science Direct, Elsevier, pp. 884-891, 2014

Admissions Apply Now