Modular Design of Man-Machine Interfaces with Larissa

  • Karine Altisen
  • Florence Maraninchi
  • David Stauch
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4089)


The man-machine interface of a small electronic device like a wristwatch is a crucial component, as more and more functions have to be controlled using a small set of buttons. We propose to use Argos, an automaton-based language for reactive systems, and Larissa, its aspect-oriented extension, to show that several interfaces can be obtained from the same set of basic components, assembled in various ways. This is the basis of a quite general component-based development method for man-machine interfaces.


Target State Main Mode Modular Design Base Program Interface Component 
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.
    Altisen, K., Maraninchi, F., Stauch, D.: Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework. Sci. Comput. Programming, Special Issue on Foundations of Aspect-Oriented Programming (to appear, 2006)Google Scholar
  2. 2.
    Coady, Y., Kiczales, G.: Back to the future: A retroactive study of aspect evolution in operating system code. In: AOSD 2003, pp. 50–59 (2003)Google Scholar
  3. 3.
    Colyer, A., Clement, A.: Large-scale AOSD for middleware. In: AOSD 2004, pp. 56–65 (2004)Google Scholar
  4. 4.
    David, P.-C., Ledoux, T.: An approach for developing self-adapting fractal components. In: 5th International Symposium on Software Composition, Vienna, Austria (March 2006)Google Scholar
  5. 5.
    Halbwachs, N.: Synchronous programming of reactive systems. Kluwer Academic Publishers, Dordrecht (1993)zbMATHGoogle Scholar
  6. 6.
    Halbwachs, N., Lagnier, F., Ratel, C.: Programming and verifying critical systems by means of the synchronous data-flow programming language lustre. IEEE Trans. Softw. Eng., Special Issue on the Specification and Analysis of Real-Time Systems (September 1992)Google Scholar
  7. 7.
    Halbwachs, N., Lagnier, F., Raymond, P.: Synchronous observers and the verification of reactive systems. In: Nivat, M., Rattray, C., Rus, T., Scollo, G. (eds.) 3rd Int. Conf. on Algebraic Methodology and Software Technology, AMAST 1993 (June 1993)Google Scholar
  8. 8.
    Harel, D.: Statecharts: A visual formalism for complex systems. Sci. Comput. Programming 8(3), 231–274 (1987)zbMATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol. 2072, pp. 327–353. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  10. 10.
    Lamport, L.: Proving the correctness of multiprocess programs. IEEE Trans. Softw. Eng. SE-3(2), 125–143 (1977)CrossRefMathSciNetGoogle Scholar
  11. 11.
  12. 12.
    Mahoney, M., Bader, A., Elrad, T., Aldawud, O.: Using aspects to abstract and modularize statecharts. In: 5th Aspect-Oriented Modeling Workshop (2004)Google Scholar
  13. 13.
    Maraninchi, F., Morel, L.: Logical-time contracts for the development of reactive embedded software. In: 30th Euromicro Conference, Component-Based Software Engineering Track (ECBSE), Rennes, France (September 2004)Google Scholar
  14. 14.
    Maraninchi, F., Rémond, Y.: Argos: an automaton-based synchronous language. Computer Languages 27(1/3), 61–92 (2001)zbMATHCrossRefGoogle Scholar
  15. 15.
    Pessemier, N., Seinturier, L., Coupaye, T., Duchien, L.: A model for developing component-based and aspect-oriented systems. In: 5th International Symposium on Software Composition, Vienna, Austria (March 2006)Google Scholar
  16. 16.
    Stauch, D., Altisen, K., Maraninchi, F.: Interference of Larissa aspects. In: Workshop on the Foundations of Aspect-Oriented Languages (FOAL) (2006)Google Scholar
  17. 17.
    Veit, M., Herrmann, S.: Model-view-controller and object teams: A perfect match of paradigms. In: Akşit, M. (ed.) AOSD 2003, pp. 140–149 (2003)Google Scholar
  18. 18.
    Wohlstadter, E., Tai, S., Devanbu, P.: Two party aspect agreement using a COTS solver. In: Proceedings of the Fourth AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (March 2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Karine Altisen
    • 1
  • Florence Maraninchi
    • 1
  • David Stauch
    • 1
  1. 1.Verimag, Centre équationGIÈRESFrance

Personalised recommendations