Goal-Oriented Design of Domain Control Panels

  • Christophe Ponsard
  • Nadiya Balych
  • Philippe Massonet
  • Jean Vanderdonckt
  • Axel van Lamsweerde
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3941)


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.


Requirement Engineer Human Agent Task Model Goal Model Requirement Engineer 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Biere, M., Bomsdorf, B., Szwillus, G.: The visual task model builder. In: Proceedings of CADUI 1999, ch. 20 (1999)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming 20(1-2), 3–50 (1993)zbMATHCrossRefGoogle Scholar
  4. 4.
    Darimont, R., van Lamsweerde, A.: Formal refinement patterns for goal-driven requirements elaboration. In: 4th FSE ACM Symposium, San Francisco (1996)Google Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    Fuxman, A., Liu, L., Pistore, M., Roveri, M., Traverso, P.: Specifying and analysing early requirements in tropos. Requirements Engineering Journal (2004)Google Scholar
  7. 7.
    Heitmeyer, C., Kirby, J., Labaw, B.: Tools for formal specification, verification, and validation of requirements. In: Proc. COMPASS 1997, Gaithersburg (1997)Google Scholar
  8. 8.
    Koymans, R.: Specifying Message Passing and Time-Critical Systems with Temporal Logic. LNCS, vol. 651. Springer, Heidelberg (1992)zbMATHGoogle Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    Letier, E., van Lamsweerde, A.: Agent-based tactics for goal-oriented requirements elaboration (2002)Google Scholar
  11. 11.
    Magee, J., Pryce, N., Giannakopoulou, D., Kramer, J.: Graphical animation of behavior models. In: Proc. ICSE 2000, Limerick (2000)Google Scholar
  12. 12.
    Manna, Z., Pnueli, A.: The Reactive Behavior of Reactive and Concurrent System. Springer, Heidelberg (1992)Google Scholar
  13. 13.
    Mori, G., Paternó, F., Santoro, C.: Design and development of multi-device user interfaces through multiple logical descriptions. IEEE TSE 30(8) (August 2004)Google Scholar
  14. 14.
    Paternó, F.: Model-based design and evaluation of interactive applications. Springer, Heidelberg (1999)Google Scholar
  15. 15.
    The Objectiver RE platform,
  16. 16.
    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)Google Scholar
  17. 17.
    Puerta, A.R.: A model-based interface development environment. IEEE Software 14(4) (July/August 1997)Google Scholar
  18. 18.
    The FAUST toolbox (2004),
  19. 19.
    Tran Van, H., van Lamsweerde, A., Massonet, P., Ponsard, C.: Goal-oriented requirements animation. In: 12th IEEE Int. Req. Eng. Conf. (September 2004)Google Scholar
  20. 20.
    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)Google Scholar
  21. 21.
    Vanderdonckt, J.: Advice-giving systems for selecting interaction objects. In: Proc. of 1st Int. Workshop on UI to Data Intensive Systems, Edimburgh (1999)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Christophe Ponsard
    • 1
  • Nadiya Balych
    • 2
  • Philippe Massonet
    • 1
  • Jean Vanderdonckt
    • 2
  • Axel van Lamsweerde
    • 2
  1. 1.CETIC Research CenterCharleroiBelgium
  2. 2.Université Catholique de LouvainBelgium

Personalised recommendations