Contexts and Context Awareness in View of the Diagram Predicate Framework

The paper presents a formal model of entities and of contexts with entry points, and a formal description of the scenarios an entity enters a context and an entity works in a context. Our model is defined within the Diagram Predicate Framework and therefore is automatically generic since any instantiation of the framework results in a special modeling technique including schema-based, graph-based, object-oriented or ontology-based techniques.