Contexts and Context Awareness in View of the Diagram Predicate Framework

  • Uwe Wolter
  • Zinovy Diskin
Part of the Communications in Computer and Information Science book series (CCIS, volume 17)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [CHR08]
    Cafezeiro, I., Haeusler, E.H., Rademaker, A.: Ontology and context. In: Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), Hong Kong, 17-21 March 2008, pp. 417–422. IEEE Computer Society, Los Alamitos (2008)CrossRefGoogle Scholar
  2. [DED08]
    Diskin, Z., Easterbrook, S., Dingel, J.: Engineering Associations: From Models to Codeand Back through Semantics. In: Paige, R.F., Meyer, B. (eds.) 46th International Conference, Tools, Objects, Components, Models and Patterns EUROPE 2008. LNBIP, vol. 11, pp. 336–355. Springer, Heidelberg (2008)Google Scholar
  3. [Dis97]
    Diskin, Z.: Towards algebraic graph-based model theory for computer science. Bulletin of Symbolic Logic 3, 144–145 (1997); Presented (by title) Logic Colloquium 1995Google Scholar
  4. [Dis03]
    Diskin, Z.: Mathematics of UML: Making the Odysseys of UML less dramatic. In: Kilov, H., Baclawski, K. (eds.) Practical Foundations of Business System Specifications, pp. 348–381. Kluwer Academic Publishers, Dordrecht (2003)Google Scholar
  5. [DK03]
    Diskin, Z., Kadish, B.: Variable set semantics for keyed generalized sketches: Formal semantics for object identity and abstract syntax for conceptual modeling. Data & Knowledge Engineering 47, 1–59 (2003)CrossRefGoogle Scholar
  6. [DW08]
    Diskin, Z., Wolter, U.: A Diagrammatic Logic for Object-Oriented Visual Modeling. ENTCS (accepted, 2008)Google Scholar
  7. [EEPT06]
    Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformations. EATCS Monographs on Theoretical Computer Science. Springer, Berlin (2006)zbMATHGoogle Scholar
  8. [EM90]
    Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. EATCS Monographs on Theoretical Computer Science, vol. 21. Springer, Berlin (1990)CrossRefzbMATHGoogle Scholar
  9. [End05]
    Endler, M.: Context awareness (2005) (Summary)Google Scholar
  10. [Fia05]
    Fiadeiro, J.L.: Categories for Software Engineering. Springer, Berlin (2005)zbMATHGoogle Scholar
  11. [SLP04]
    Strang, T., Linnhoff-Popien, C.: A Context Modeling Survey. In: 1st Int. Workshop on Advanced Context Modeling, Reasoning and Management (2004)Google Scholar
  12. [WD07]
    Wolter, U., Diskin, Z.: From Indexed to Fibred Semantics – The Generalized Sketch File. Technical Report Report No 361, Department of Informatics, University of Bergen (October 2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Uwe Wolter
    • 1
  • Zinovy Diskin
    • 2
  1. 1.Department of InformaticsUniversity of BergenNorway
  2. 2.Department of Computer ScienceUniversity of TorontoCanada

Personalised recommendations