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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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
Thevenin, D., Coutaz, J.: Adaptivity and Plasticity of User Interfaces. In: 7th IFIP Conference on Human-Computer Interaction, Edinburgh, Scotland, pp. 110–117 (1999)
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)
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/
McCarthy, J., Hayes, P.: Some Philosophical Problems from the Standpoint of Artificial Intelligence. Machine Intelligence 4(1), 463–502 (1968)
Dey, A.: Providing Architectural Support for Building Context-Aware Applications. PhD Thesis. College of Computing, Georgia Institute of Technology, USA, 170 p. (2000)
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)
Castro, P., Muntz, R.: Managing Context Data for Smart Spaces. IEEE Personal Communications 7, 44–46 (2000)
Prekop, P., Burnett, M.: Activities, Context and Ubiquitous Computing. Computer Communications 26(11), 1168–1176 (2003)
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
Bailey, J., Poulovassilis, A., Wood, P.T.: An Event-Condition-Action Language for XML. In: WWW 2002, Honolulu, Hawaii, USA, pp. 7–11 (2001)
Bratman, M.E.: Intentions, plans and practical reason. Harvard University Press, Cambridge (1987)
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)
Paternò, F., Santoro, C.: One Model, Many Interfaces. In: Proceedings of CADUI 2002, pp. 143–154. Kluwer Academics, Dordrecht (2002)
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)
Puerta, A., Eisenstein, J.: XIML: A Common Representation for Interaction Data. In: 7th International Conference on Intelligent User Interfaces, pp. 214–215 (2002)
Mir Farooq, A., Abrams, M.: Simplifying Construction of Multi-Platform User Interfaces using UIML. In: European Conference UIML (2001)
Limbourg, Q., Vanderdonckt, J.: UsiXML: A User Interface Description Language Supporting Multiple Levels of Independence. In: Engineering Advanced Web Applications (2004)
da Silva, P.P., Paton, N.W.: User Interface Modeling inUMLi. IEEE Software 20(4), 62–69 (2003)
Tarby, J., Barthet, M.: The DIANE+ Method. In: Computer-Aided Design of User Interfaces, pp. 95–119. Namur University Press, Namur (1996)
Molina, P.J., Meliá, S., Pastor, O.: JUST-UI: A User Interface Specification Model. In: Proceedings of CADUI, pp. 63–74 (2002)
Gajos, K., Weld, D.S.: SUPPLE: Automatically Generating User Interfaces. In: Proceedings of IUI, pp. 83–100 (2004)
Griffiths, T., Barclay, P.: Teallach: A model-based user interface development environment for object databases. Interacting with Computers 1, 31–68 (2001)
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)
Bowen, J., Reeves, S.: Formal refinement of informal GUI design artefacts. In: Software Engineering Conference, pp. 221–230 (2006)
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)
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)
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)
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)
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)
Denecker, M., Ternovska, E.: Inductive Situation Calculus. Artificial Intelligence 171(5-6), 332–360 (2007)
Reiter, R.: Knowledge in Action. MIT Press, Cambridge (2001)
Kowalski, R.A., Sergot, M.: A Logic Based Calculus of Events. New Generation Computing 4(4), 319–340 (1986)
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)
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)
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)
The 2nrich Project, http://www.cms.livjm.ac.uk/2nrich
NICE, National Institute for Clinical Excellence (2009), http://www.nice.org.uk
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
Cerone, A., Milne, G.J.: Property Verification of Asynchronous Systems. Innovations in Systems and Software Engineering 1(1), 25–40 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)