Abstract
This chapter claims that task models per se do not contain sufficient and necessary information to permit automatic generation of interactive systems. Beyond this, we claim that they must not contain sufficient and necessary information otherwise they could no longer be considered as task models. On the contrary we propose a way of exploiting in a synergistic way task models with other models to be built during the development process. This chapter presents a set of tools supporting the development of interactive systems using two different notations. One of these notations called ConcurTaskTree (CTT) is used for task modeling. The other notation called Interactive Cooperative Objects (ICO) is used for system modeling. Even though these two kinds of models represent two different views of the same world (a user interacting with an interactive system), they are built by different people (human factors specialist for the task models and software engineer for the system models) and are used independently. The aim of this chapter is to propose the use of scenarios as a bridge between these two views. On the task modeling side, scenarios are seen as a possible trace of user’s activity. On the system side, scenarios are seen as a trace of user’s actions. This generic approach is presented on a case study in the domain of Air Traffic Control. As both CTT and ICO notations are tool supported (environments are respectively CTTE and PetShop) an integration tool based on this notion of scenarios is presented. Its use on the selected case study is also presented in detail.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bastide, R. and Palanque, P. A. (1990). Petri net objects for the design, validation and prototyping of user-driven interfaces. In Diaper, D., Gilmore, D. J., Cockton, G., and Shackel, B., editors, INTERACT 1990, pages 625–631. North-Holland.
Bastide, R., Palanque, P. A., Sy, O., Le, D.-H., and Navarre, D. (1999). Petri net based behavioral specification of corba systems. In Donatelli, S. and Kleijn, H. C. M., editors, ICATPN, Lecture Notes in Computer Science, volume 1639, pages 66–85. Springer.
Biere, M., Bomsdorf, B., and Szwillus, G. (1999). Specification and simulation of task models with vtmb. In CHI’99 extended abstracts on Human factors in computing systems, pages 1–2. ACM Press.
Bodart, F., Hennebert, A. M., Leheureux, J. M., and Vanderdonckt, J. (1995). A modelbased approach to presentation: A continuum from task analysis to prototype. In Bodart, F., editor, Focus on Computer Graphics Series, pages 77–94. Springer-Verlag.
Bodart, F., Hennebert, A.-M., Provot, I., Leheureux, J.-M., and Vanderdonckt, J. (1994). A model-based approach to presentation: A continuum from task analysis to prototype. In Paternò, F., editor, DSV-IS, pages 77–94. Springer.
Carroll, J. M., editor (1995). Scenario-based design: Envisioning work and technology in system development. New York: Wiley.
David, N., Philippe, P., and Bastide., R. (2005). Specification of middles touch screen using interactive cooperative objects.
Lecerof, A. and Paternò, F. (1998). Automatic support for usability evaluation. IEEE Trans. Softw. Eng., 24(10):863–888.
Lu, S., Paris, C., and Linden, K. V. (1999). Toward the automatic construction of task models from object-oriented diagrams. In Proceedings of the IFIP TC2/TC13 WG2.7/WG13.4 Seventh Working Conference on Engineering for Human-Computer Interaction, pages 169–189.
Moher, T., Dirda, V., Bastide, R., and Palanque, P. A. (1996). Monolingual, articulated modeling of users, devices, and interfaces. In Bodart, F. and Vanderdonckt, J., editors, DSV-IS, pages 312–329. Springer.
Norman, D. A. (1986). Cognitive engineering. In Norman, D. A. and Draper, S. W., editors, User centered system design: New perspectives on human-computer interaction, pages 31–61. Erlbaum, Hillsdale, NJ.
OMG (1990). The common object request broker: Architecture and specification.
Palanque, P. A. and Bastide, R. (1997). Synergistic modeling of tasks, users and systems using formal specification techniques. Interacting with Computers, 9(2):129–153.
Palanque, P. A., Bastide, R., and Paternò, F. (1997). Formal specification as a tool for objective assessment of safety-critical interactive systems. In Howard, S., Hammond, J., and Lindgaard, G., editors, IFIP Conference Proceedings, volume 96, pages 323–330. Chapman & Hall.
Palanque, P. A., Bastide, R., and Sengès, V. (1995). Formal specification as a tool for objective assessment of safety-critical interactive systems. In Bass, L. J. and Unger, C., editors, IFIP Conference Proceedings, volume 45, pages 189–212. Chapman & Hall.
Paternò, F. (1999). Model-Based Design and Evaluation of Interactive Applications. Springer-Verlag, London, UK.
Paternò, F., Breedvelt-Schouten, I. M., and de Koning, N. (1999). Deriving presentations from task models. In Proceedings of the IFIP TC2/TC13 WG2.7/WG13.4 Seventh Working Conference on Engineering for Human-Computer Interaction, pages 319–337. Kluwer.
Puerta, A. R. and Eisenstein, J. (1999). Towards a general computational framework for model-based interface development systems. In Intelligent User Interfaces, pages 171–178.
van Welie, M., van der Veer, G. C., and Eli‘èns, A. (1998). An ontology for task world models. In Markopoulos, P. and Johnson, P., editors, Design, Specification and Verification of Interactive Systems ’98, pages 57–70. Springer-Verlag.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
Navarre, D., Palanque, P., Winckler, M. (2009). Task Models and System Models as A Bridge Between Hci and Software Engineering. In: Seffah, A., Vanderdonckt, J., Desmarais, M.C. (eds) Human-Centered Software Engineering. Human-Computer Interaction Series. Springer, London. https://doi.org/10.1007/978-1-84800-907-3_17
Download citation
DOI: https://doi.org/10.1007/978-1-84800-907-3_17
Publisher Name: Springer, London
Print ISBN: 978-1-84800-906-6
Online ISBN: 978-1-84800-907-3
eBook Packages: Computer ScienceComputer Science (R0)