Abstract
Goal-oriented methodologies have demonstrated some adequacy for modelling composite systems, from high level desired properties to operational requirements on responsible agents. This paper shows how to derive a user interface for human agents from such a model, especially with respect to the monitor and control capabilities of those agents. A goal-oriented widget taxonomy was elaborated in order to facilitate selecting widgets that are appropriate for each element of the underlying domain model. A user-friendly tool for building user interfaces, supporting the retrieval of adequate components and their fine tuning at a graphical level, was developed and deployed on the animator of the Objectiver/FAUST requirements toolbox.
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
Biere, M., Bomsdorf, B., Szwillus, G.: The visual task model builder. In: Proceedings of CADUI 1999, ch. 20 (1999)
Calvary, G., Coutaz, J., Thevenin, D., Limbourg, Q., Bouillon, L., Vanderdonckt, J.: A unifying reference framework for multi-target user interfaces. Interacting with Computers 15(3) (June 2003)
Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming 20(1-2), 3–50 (1993)
Darimont, R., van Lamsweerde, A.: Formal refinement patterns for goal-driven requirements elaboration. In: 4th FSE ACM Symposium, San Francisco (1996)
Efroni, S., Harel, D., Cohen, I.: Reactive animation. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, pp. 136–153. Springer, Heidelberg (2003)
Fuxman, A., Liu, L., Pistore, M., Roveri, M., Traverso, P.: Specifying and analysing early requirements in tropos. Requirements Engineering Journal (2004)
Heitmeyer, C., Kirby, J., Labaw, B.: Tools for formal specification, verification, and validation of requirements. In: Proc. COMPASS 1997, Gaithersburg (1997)
Koymans, R.: Specifying Message Passing and Time-Critical Systems with Temporal Logic. LNCS, vol. 651. Springer, Heidelberg (1992)
Lee, G., Howard, J., Anderson, P.: Safety-critical requirements specification and analysis using spectrm. In: Proc. 2nd Meeting of the US Soft. Syst. Safety WG (2002)
Letier, E., van Lamsweerde, A.: Agent-based tactics for goal-oriented requirements elaboration (2002)
Magee, J., Pryce, N., Giannakopoulou, D., Kramer, J.: Graphical animation of behavior models. In: Proc. ICSE 2000, Limerick (2000)
Manna, Z., Pnueli, A.: The Reactive Behavior of Reactive and Concurrent System. Springer, Heidelberg (1992)
Mori, G., Paternó, F., Santoro, C.: Design and development of multi-device user interfaces through multiple logical descriptions. IEEE TSE 30(8) (August 2004)
Paternó, F.: Model-based design and evaluation of interactive applications. Springer, Heidelberg (1999)
The Objectiver RE platform, http://www.objectiver.com
Ponsard, C., Massonet, P., Rifaut, A., Molderez, J.F., van Lamsweerde, A., Van Tran, H.: Early verification and validation of mission critical systems. In: 8th FMICS Workshop, Linz (2004)
Puerta, A.R.: A model-based interface development environment. IEEE Software 14(4) (July/August 1997)
The FAUST toolbox (2004), http://faust.cetic.be
Tran Van, H., van Lamsweerde, A., Massonet, P., Ponsard, C.: Goal-oriented requirements animation. In: 12th IEEE Int. Req. Eng. Conf. (September 2004)
van Lamsweerde, A., Letier, E.: Handling obstacles in goal-oriented requirements engineering. IEEE Transactions on Software Engineering, Special Issue on Exception Handling 26(10) (October 2000)
Vanderdonckt, J.: Advice-giving systems for selecting interaction objects. In: Proc. of 1st Int. Workshop on UI to Data Intensive Systems, Edimburgh (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ponsard, C., Balych, N., Massonet, P., Vanderdonckt, J., van Lamsweerde, A. (2006). Goal-Oriented Design of Domain Control Panels. In: Gilroy, S.W., Harrison, M.D. (eds) Interactive Systems. Design, Specification, and Verification. DSV-IS 2005. Lecture Notes in Computer Science, vol 3941. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11752707_21
Download citation
DOI: https://doi.org/10.1007/11752707_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34145-1
Online ISBN: 978-3-540-34146-8
eBook Packages: Computer ScienceComputer Science (R0)