Sistemas de tipos para capturar informação de contexto em computação pervasiva

Abstract

The Pervasive Computing is already a reality in daily life. Everyday new devices are designed aiming at the safety, convenience, entertainment and general welfare of the individual. Smart environments are becoming frequent and swiftly approaching the ordinary citizen. The demand for software to manage this interaction man-environment-device grows concomitantly requiring mechanisms that contribute to the construction of them. The capture and correct organization of the types of data to be manipulated by applications in the environment is a fundamental factor for the success of the responses required by users. Hence the idea of conducting this study on a type system that can structure the variables present in an environment with implementation of pervasive computing.