Towards a Formalization of Individual Work Execution at Computer Workplaces

  • Benedikt Schmidt
  • Heiko Paulheim
  • Todor Stoitsev
  • Max Mühlhäuser
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6828)


To better understand, analyze, and support work execution at computer workplaces, this paper presents a framework of ontologies. We analyze knowledge work at computer workplaces as weakly-structured processes by means of activity theory. Based on the analysis, we extend a set of upper ontologies to model the computer workplace and the process of work execution. We especially reflect the process of tool selection involved in work execution by a hierarchical analysis of involved planning activities and software tools, enabling a plan realization.


Activity Theory Information Object Knowledge Action Tool Selection Execution Process 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Forward, A., Lethbridge, T.C.: A Taxonomy of Software Types to Facilitate Search and Evidence-Based Software Engineering. In: Proceedings of the 2008 conference of the center for advanced studies on collaborative research: meeting of minds, pp. 1–13 (2008)Google Scholar
  2. 2.
    Gangemi, A., Borgo, S., Catenacci, C.: Task taxonomies for knowledge content. METOKIS Deliverable (2004)Google Scholar
  3. 3.
    Gangemi, A., Guarino, N., Masolo, C.: Sweetening ontologies with DOLCE, pp. 223–233. Springer, Heidelberg (2002)zbMATHGoogle Scholar
  4. 4.
    Grüninger, M., Menzel, C.: Specification Language ( PSL ) Theory and Applications. AI Magazine 24(3), 63–74 (2003)Google Scholar
  5. 5.
    Hädrich, T.: Situation-oriented Provision of Knowledge Services. Dissertation, Martin Luther Universität Halle-Wittenberg (2008)Google Scholar
  6. 6.
    Kuutti, K.: Activity theory as a potential framework for human-computer interaction research. pp. 17–44. Massachusetts Institute of Technology, Cambridge (1995)Google Scholar
  7. 7.
    Leontiev, A.N.: Activity and consciousness. Progress Publishers (1977)Google Scholar
  8. 8.
    Marchionini, G.: Information Seeking in Electronic Environments. Cambridge University Press, Cambridge (1995)CrossRefGoogle Scholar
  9. 9.
    Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A., Horrocks, I.: WonderWeb Deliverable D18 Ontology Library (final ) WonderWeb Project. Communities (2001)Google Scholar
  10. 10.
    Myers, K., Wilkins, D.: The Act Formalism, Version 2.2. SRI International Artificial Intelligence Center Technical Report (1997)Google Scholar
  11. 11.
    Oberle, D., Lamparter, S., Grimm, S., Vrande, D.: Towards Ontologies for Formalizing Modularization and Communication in Large Software Systems. Springer, Heidelberg (2006)Google Scholar
  12. 12.
    Paulheim, H., Probst, F.: A Formal Ontology on User Interfaces Yet Another User Interface Description Language? In: 2nd Workshop on Semantic Models for Adaptive Interactive Systems, (SEMAIS) (2011)Google Scholar
  13. 13.
    Rath, A.S.: UICO: An ontology-based user interaction context model for Automatic Task Detection on the Computer Desktop. In: CIAO 2009: Proceedings of the 1st Workshop on Context, Information and Ontologies, pp. 1–10 (2009)Google Scholar
  14. 14.
    Sauermann, L., Van Elst, L., Dengel, A.: Pimo-a framework for representing personal information models. Proceedings of I-Semantics 7, 270–277 (2007)Google Scholar
  15. 15.
    van der Aalst, W.M.P., van Hee, K.: Workow Management. Models, Methods, and Systems. MIT Press, Cambridge (2002)Google Scholar
  16. 16.
    Wolpers, M., Najjar, J., Verbert, K., Duval, E.: Tracking actual usage: the attention metadata approach, vol. 10, p. 106 (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Benedikt Schmidt
    • 1
  • Heiko Paulheim
    • 1
  • Todor Stoitsev
    • 1
  • Max Mühlhäuser
    • 2
  1. 1.SAP Research DarmstadtDarmstadtGermany
  2. 2.Telecooperation GroupTechnische Universität DarmstadtDarmstadtGermany

Personalised recommendations