Abstract
This paper presents a set of tools supporting the development of interactive systems using two different notations. One of these notations, called ConcurTaskTrees (CTT), is used for task modelling. The other notation, called Interactive Cooperative Objects (ICO), is used for system modelling. Even though these two kinds of models represent two different views of the same world (users interacting with interactive systems), they are built by different people and used independently. The aim of this paper is to propose the use of scenarios as a bridge between these two views. On the task modelling side, scenarios are seen as possible traces of activities, while on the system side, they are viewed as traces of actions. This generic approach is presented in a case study in the domain of Air Trafic Control.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bastide, Rémi, and Palanque, Philippe. “Petri Net Objects for the Design, Validation and Prototyping of User-Driver Interfaces.” In 3rd IFIP Conference on Human-Computer Interaction, Interact’90, Cambridge, UK, Aug. 1990, 625–31. North-Holland, 1990.
Baumeister L., John B. and Byrne M. “A Comparison of Tools for Building GOMS Models.” In Proceedings CHI’2000, ACM Press, 2000.
Biere, M., Bomsdorf, B., Szwillus G. “Specification and Simulation of Task Models with VTMB.” In Proceedings CHI’99, Extended Abstracts, pp.1–2, 1999.
Bodart F., A-M. Hennebert, Leheureux J-M., I. Provot, and J. Vanderdonckt. “A Model-Based Approach to Presentation: A Continuum From Task Analysis to Prototype.” In 1st. EUROGRAPHICS Workshop on Design Specification and Verification of Interactive System (DSV-IS’94), Bocca di Magra, Italy, 8-10 June 1994.
Carroll, John (ed.). “Scenario-based Design.” John Wiley and Sons, 1995.
Navarre, D., Palanque, P., Bastide, R., Sy, O. “Specification of Middles Touch Screen using Interactive Cooperative Objects.” In Working Paper 2.5, MEFISTO Project: http://giove.cnuce.cnr.it/mefisto/wp2-5.html, (2000)
Palanque, P., Paternò, F., Bastide, R. and Mezzanotte, M. “Towards an Integrated Proposal for Interactive Systems design based on TLIM and MICO.” In Proceedings of DSV-IS’96, Springer Verlag 1996.
Palanque, Philippe, R’emi Bastide, and Fabio Patern`o. “Formal Specification As a Tool for the Objective Assessment of Safety Critical Interactive Systems.” In Interact’97, 6th IFIP TC13 Conference on Human-Computer Interaction, Sydney, Australia, 14 July 1997-18 July 1997, 323-30. Chapman et Hall, 1997.
Palanque, Philippe, Rémi Bastide, and Valérie Sengès. “Validating Interactive System Design Through the Verification of Formal Task and System Models.” In 6th IFIP Conference on Engineering for Human-Computer Interaction, EHCI’95, Garn Targhee Resort, Wyoming, USA, August 14-18. Chapman et Hall, 1995.
Palanque, Philippe, and Rémi Bastide. “Synergistic Modelling of Tasks, Users and Systems Using Formal Specification Techniques.” In Interacting With Computers 9, no. 2, 129–53, 1997.
Paternò, F. “Model-Based Design and Evaluation of Interactive Application.” Springer Verlag, ISBN 1-85233-155-0, 1999.
Paternò, F. “The specification of the ConcurTaskTrees notation.” GUITARE Working Paper, March 2000.
Paternò, F., Santoro, C., Sabbatino, V. “Using Information in Task Models to Support Design of Interactive Safety-Critical Applications.” In Proceedings AVI’2000, pp.120–127, ACM Press, May 2000, Palermo, 2000.
Paternò, F., Mori, G., Galimberti, R. “CTTE: An Environment for Analysis and Development of Task Models of Cooperative Applications.” In Proceedings ACM CHI’01, Vol.2, ACM Press, Seattle, 2001.
Puerta, A.R., Eisenstein, J. “Towards a General Computational Framework for Model-Based Interface Development Systems.” In IUI99: International Conference on Intelligent User Interfaces, pp.171–178, ACM Press, January 1999.
Sy, Ousmane, Bastide, Rémi, Palanque, Philippe, Le, Duc-Hoa, Navarre, David. “PetShop: a CASE Tool for the Petri Net Based Specification and Prototyping of CORBA Systems.” In 20th International Conference on Applications and Theory of Petri Nets, ICATPN’99, Williamsburg, VA, USA. 1999.
van Welie M., van der Veer G.C., Eliëns A. “An Ontology for Task World Models.” In Proceedings DSV-IS’98, pp.57–70, Springer Verlag, 1998.
Wilson, S., Johnson, P., Kelly, C., Cunningham, J., and Markopoulos, P. “Beyond Hacking: a Model Based Approach to User Interface Design.” In HCI’93, Loughborough, U.K., 217–31. Cambridge University Press, 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Navarre, D., Palanque, P., Paternò, F., Santoro, C., Bastide, R. (2001). A Tool Suite for Integrating Task and System Models through Scenarios. In: Johnson, C. (eds) Interactive Systems: Design, Specification, and Verification. DSV-IS 2001. Lecture Notes in Computer Science, vol 2220. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45522-1_6
Download citation
DOI: https://doi.org/10.1007/3-540-45522-1_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42807-7
Online ISBN: 978-3-540-45522-6
eBook Packages: Springer Book Archive