Programs
- M. Tech. in Automotive Engineering -
- Clinical Fellowship in Laboratory Genetics & Genomics - Fellowship
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