Task Modelling Using Situation Calculus | SpringerLink
Skip to main content
Springer Nature Link
Log in

Task Modelling Using Situation Calculus

  • Conference paper
Task Models and Diagrams for User Interface Design (TAMODIA 2009)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5963))

Abstract

The main aim of this paper is to demonstrate the effectiveness of using Situation Calculus in Task Modelling. The motivation for this approach is to enable a runtime adaptable task model to be used in the provision of the most appropriate user interfaces, according to circumstance. The task model and meta-reasoning model may both be specfied in the Situation Calculus, which permits reasoning to occur over couterfactual situations and without exhaustive state enumeration. A task flow editor with input from the formal model is demonstrated and the approach is described using a medical process case study.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Zhenyu, W., Garlan, D.: Task-driven computing, Technical Report, NO. CMU-CS-00-154. Carnegie Mellon University (May 2000), http://www-2.cs.cmu.edu/~aura/docdir/wang00.pdf

  2. Thevenin, D., Coutaz, J.: Adaptivity and Plasticity of User Interfaces. In: 7th IFIP Conference on Human-Computer Interaction, Edinburgh, Scotland, pp. 110–117 (1999)

    Google Scholar 

  3. Randles, M., Taleb-Bendiab, A., Miseldine, P.: Addressing the Signal Grounding Problem for Autonomic Systems. In: Proceedings of International Conference on Autonomic and Autonomous Systems (ICAS 2006), Santa Clara, USA, July 19-21, p. 21 (2006)

    Google Scholar 

  4. Levesque, H.J., Pirri, F., Reiter, R.: Foundations for the Situation Calculus. Linköping Electronic Articles in Computer and Information Science (1998), http://www.ep.liu.se/ea/cis/1998/018/

  5. McCarthy, J., Hayes, P.: Some Philosophical Problems from the Standpoint of Artificial Intelligence. Machine Intelligence 4(1), 463–502 (1968)

    MATH  Google Scholar 

  6. Dey, A.: Providing Architectural Support for Building Context-Aware Applications. PhD Thesis. College of Computing, Georgia Institute of Technology, USA, 170 p. (2000)

    Google Scholar 

  7. Ni, H., Zhou, X., Yu, Z., Miao, K.: OWL-Based Context-Dependent Task Modeling and Deducing. In: Proceeding of the 21st International conference on Advanced Information Networking and Applications Workshops (AINAW 2007), pp. 846–851 (2007)

    Google Scholar 

  8. Castro, P., Muntz, R.: Managing Context Data for Smart Spaces. IEEE Personal Communications 7, 44–46 (2000)

    Article  Google Scholar 

  9. Prekop, P., Burnett, M.: Activities, Context and Ubiquitous Computing. Computer Communications 26(11), 1168–1176 (2003)

    Article  Google Scholar 

  10. Taleb-Bendiab, A., England, D., Randles, M., Miseldine, P., Murphy, K.: A Principled Approach to the Design of Healthcare Systems: Autonomy vs. Governance. Reliability Engineering & System Safety 91(12), 1576–1585 (2006); Complexity in Design and Engineering

    Article  Google Scholar 

  11. Bailey, J., Poulovassilis, A., Wood, P.T.: An Event-Condition-Action Language for XML. In: WWW 2002, Honolulu, Hawaii, USA, pp. 7–11 (2001)

    Google Scholar 

  12. Bratman, M.E.: Intentions, plans and practical reason. Harvard University Press, Cambridge (1987)

    Google Scholar 

  13. Paternò, F., Mancini, C., Meniconi, S.: ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models. In: Proceedings of the IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 1997), pp. 362–369. Chapman & Hall, Boca Raton (1997)

    Google Scholar 

  14. Paternò, F., Santoro, C.: One Model, Many Interfaces. In: Proceedings of CADUI 2002, pp. 143–154. Kluwer Academics, Dordrecht (2002)

    Google Scholar 

  15. Mori, G., Paterno, F., Santoro, C.: Design and Development of Multidevice User Interfaces through Multiple Logical Descriptions. IEEE Transactions on Software Engineering 8, 1–14 (2004)

    Google Scholar 

  16. Puerta, A., Eisenstein, J.: XIML: A Common Representation for Interaction Data. In: 7th International Conference on Intelligent User Interfaces, pp. 214–215 (2002)

    Google Scholar 

  17. Mir Farooq, A., Abrams, M.: Simplifying Construction of Multi-Platform User Interfaces using UIML. In: European Conference UIML (2001)

    Google Scholar 

  18. Limbourg, Q., Vanderdonckt, J.: UsiXML: A User Interface Description Language Supporting Multiple Levels of Independence. In: Engineering Advanced Web Applications (2004)

    Google Scholar 

  19. da Silva, P.P., Paton, N.W.: User Interface Modeling inUMLi. IEEE Software 20(4), 62–69 (2003)

    Article  Google Scholar 

  20. Tarby, J., Barthet, M.: The DIANE+ Method. In: Computer-Aided Design of User Interfaces, pp. 95–119. Namur University Press, Namur (1996)

    Google Scholar 

  21. Molina, P.J., Meliá, S., Pastor, O.: JUST-UI: A User Interface Specification Model. In: Proceedings of CADUI, pp. 63–74 (2002)

    Google Scholar 

  22. Gajos, K., Weld, D.S.: SUPPLE: Automatically Generating User Interfaces. In: Proceedings of IUI, pp. 83–100 (2004)

    Google Scholar 

  23. Griffiths, T., Barclay, P.: Teallach: A model-based user interface development environment for object databases. Interacting with Computers 1, 31–68 (2001)

    Article  Google Scholar 

  24. Jardim Nunes, N., Falcão e Cunha, J.: Wisdom - A UML based architecture for interactive systems. In: Palanque, P., Paternó, F. (eds.) DSV-IS 2000. LNCS, vol. 1946, pp. 191–205. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  25. Bowen, J., Reeves, S.: Formal refinement of informal GUI design artefacts. In: Software Engineering Conference, pp. 221–230 (2006)

    Google Scholar 

  26. Bisignano, M., Di Modica, G., Tomarchio, O.: An‘intent-oriented’ approach for Multi-Device User Interface Design. In: 20th International Conference on Advanced Information Networking and Applications, pp. 186–194 (2006)

    Google Scholar 

  27. Kelly, R.F., Pearce, A.R.: Property Persistence in the Situation Calculus. In: Proc. of the International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 1948–1953 (2007)

    Google Scholar 

  28. Lesperance, Y., Levesque, H., Reiter, R.: A Situation Calculus Approach to Modeling and Programming Agents. In: Rao, A., Wooldridge, M. (eds.) Foundations and Theories of Rational Agency. Kluwer Academic Press, New York (1997)

    Google Scholar 

  29. Dong, W., Xu, K., Lin, M.: A Situation Calculus-based Approach To Model Ubiquitous Information Services. Computing Research Repository (CoRR) cs.AI/0311052 (2004), http://arxiv.org/abs/cs.AI/0311052 (last accessed May 2009)

  30. Sanner, S., Boutilier, C.: Practical Linear Value-approximation Techniques for First-order MDPs. In: Proceedings of the 22nd Conference on Uncertainty in Artificial Intelligence. AUAI Press, Arlington (2006)

    Google Scholar 

  31. Denecker, M., Ternovska, E.: Inductive Situation Calculus. Artificial Intelligence 171(5-6), 332–360 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  32. Reiter, R.: Knowledge in Action. MIT Press, Cambridge (2001)

    MATH  Google Scholar 

  33. Kowalski, R.A., Sergot, M.: A Logic Based Calculus of Events. New Generation Computing 4(4), 319–340 (1986)

    MATH  Google Scholar 

  34. van Belleghem, K., Denecker, M., De Schreye, D.: On the Relation between Situation Calculus and Event Calculus. The Journal of Logic Programming 31(1-3), 3–37 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  35. Miseldine, P., Taleb-Bendiab, A.: A Programmatic Approach to Applying Sympathetic and Parasympathetic Autonomic Systems to Software Design. In: Czap, H., et al. (eds.) Self-Organisation and Autonomic Informatics (1), pp. 293–303. IOS Press, Amsterdam (2005)

    Google Scholar 

  36. Miseldine, P., Taleb-Bendiab, A., England, D., Randles, M.: Addressing the need for adaptable decision processes within healthcare software. Informatics for Health and Social Care 32(1), 35–41 (2007)

    Google Scholar 

  37. The 2nrich Project, http://www.cms.livjm.ac.uk/2nrich

  38. NICE, National Institute for Clinical Excellence (2009), http://www.nice.org.uk

  39. Bullock, S., Cliff, D.: Complexity and Emergent Behaviour in ICT Systems. Technical Report HP-2004-187, Semantic & Adaptive Systems, Hewlett-Packard Labs (2004), http://www.hpl.hp.com/techreports/2004/HPL-2004-187.pdf

  40. Cerone, A., Milne, G.J.: Property Verification of Asynchronous Systems. Innovations in Systems and Software Engineering 1(1), 25–40 (2005)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computing and Mathematical Sciences, Liverpool John Moores University, Liverpool, UK

    Martin Randles, David England & A. Taleb-Bendiab

Authors
  1. Martin Randles
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. David England
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. A. Taleb-Bendiab
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computing and Mathematical Sciences, Liverpool John Moores University, Byrom Street, L3 3AF, Liverpool, UK

    David England

  2. Institute of Research in Informatics of Toulouse (IRIT), University Paul Sabatier, 118 Route de Narbonne, 31062, Toulouse Cedex 9, France

    Philippe Palanque

  3. Université Catholique de Louvain, Place des Doyens 1, 1348, Louvain-La-Neuve, Belgium

    Jean Vanderdonckt

  4. Institute for Manufacturing, University of Cambridge, 17 Charles Babbage Road, CB3 0FS, Cambridge, UK

    Peter J. Wild

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Randles, M., England, D., Taleb-Bendiab, A. (2010). Task Modelling Using Situation Calculus. In: England, D., Palanque, P., Vanderdonckt, J., Wild, P.J. (eds) Task Models and Diagrams for User Interface Design. TAMODIA 2009. Lecture Notes in Computer Science, vol 5963. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11797-8_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-11797-8_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-11796-1

  • Online ISBN: 978-3-642-11797-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation