A type system for checking consistencies of a policy specification used in ubiquitous programming environment

Abstract

The high-level policy description language used for ubiquitous programming framework specifies context entity relations, as well as context-based access control and adap- tation rules. Then the specification in the policy description language is translated into the code in a general-purpose language, which is to be used in ubiquitous environment. However, the inconsistencies and errors in the policy spec- ification are all passed into the translated code, potentially resulting disastrous malfunction. This paper introduces a type system that checks the consistency of a policy spec- ification so that the specification is free from type-related errors and inconsistencies.