Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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)
Colyer, A., Clement, A.: Large-scale AOSD for middleware. In: AOSD 2004, pp. 56–65 (2004)
David, P.-C., Ledoux, T.: An approach for developing self-adapting fractal components. In: 5th International Symposium on Software Composition, Vienna, Austria (March 2006)
Halbwachs, N.: Synchronous programming of reactive systems. Kluwer Academic Publishers, Dordrecht (1993)
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)
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)
Harel, D.: Statecharts: A visual formalism for complex systems. Sci. Comput. Programming 8(3), 231–274 (1987)
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)
Lamport, L.: Proving the correctness of multiprocess programs. IEEE Trans. Softw. Eng. SE-3(2), 125–143 (1977)
Compiler for Larissa, http://www-verimag.imag.fr/~stauch/ArgosCompiler/
Mahoney, M., Bader, A., Elrad, T., Aldawud, O.: Using aspects to abstract and modularize statecharts. In: 5th Aspect-Oriented Modeling Workshop (2004)
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)
Maraninchi, F., Rémond, Y.: Argos: an automaton-based synchronous language. Computer Languages 27(1/3), 61–92 (2001)
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)
Stauch, D., Altisen, K., Maraninchi, F.: Interference of Larissa aspects. In: Workshop on the Foundations of Aspect-Oriented Languages (FOAL) (2006)
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)
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)
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
Altisen, K., Maraninchi, F., Stauch, D. (2006). Modular Design of Man-Machine Interfaces with Larissa. In: Löwe, W., Südholt, M. (eds) Software Composition. SC 2006. Lecture Notes in Computer Science, vol 4089. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11821946_19
Download citation
DOI: https://doi.org/10.1007/11821946_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-37657-6
Online ISBN: 978-3-540-37659-0
eBook Packages: Computer ScienceComputer Science (R0)