Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework

Science of Computer Programming

Volumn 63, Issue 3, 2006, Pages 297-320

  Altisen, K ^a   Maraninchi, F ^a   Stauch, D ^a  

^a VERIMAG   (France)

Author keywords

Aspect oriented programming; Formal semantics; Reactive systems; Synchronous languages

Indexed keywords

ASPECT-ORIENTED PROGRAMMING (AOP); CORE LANGUAGE; REACTIVE SYSTEMS; SYNCHRONOUS LANGUAGES;

COMPUTER SOFTWARE; DIGITAL CIRCUITS; FORMAL LOGIC; OBJECT ORIENTED PROGRAMMING; PARALLEL PROCESSING SYSTEMS; SEMANTICS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33750011469     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2005.12.001     Document Type: Article

References (29)

1. A. Benveniste, G. Berry, Another look at real-time programming, Proc. IEEE 79 (9) (special section)
2. Halbwachs N. Synchronous Programming of Reactive Systems (1993), Kluwer
3. N. Halbwachs, F. Lagnier, P. Raymond, Synchronous observers and the verification of reactive systems, in: M. Nivat, C. Rattray, T. Rus, G. Scollo (Eds.), Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93, 1993
4. Lamport L. Proving the correctness of multiprocess programs. IEEE Trans. Softw. Eng. SE-3 2 (1977) 125-143
5. Kiczales G., Hilsdale E., Hugunin J., Kersten M., Palm J., and Griswold W.G. An overview of AspectJ. LNCS 2072 (2001) 327-353
6. K. Altisen, F. Maraninchi, D. Stauch, Exploring aspects in the context of reactive systems, in: Workshop on the Foundations of Aspect-Oriented Languages, FOAL, 2004
7. Maraninchi F., and Rémond Y. Argos: An automaton-based synchronous language. Comput. Lang. 27 1-3 (2001) 61-92
8. Berry G., and Gonthier G. The Esterel synchronous programming language: Design, semantics, implementation. Sci. Comput. Programming 19 2 (1992) 87-152
9. Harel D. Statecharts: A visual formalism for complex systems. Sci. Comput. Programming 8 3 (1987) 231-274
10. J.J. Fey, J.H. van Schuppen, VHS case study 4 - modeling and control of a juice processing plant, http://www-verimag.imag.fr/VHS/CS4/dcs42.ps.gz, 1999
11. Filman R.E., and Friedman D.P. Aspect-oriented programming is quantification and obliviousness. In: Filman R.E., Elrad T., Clarke S., and Akşit M. (Eds). Aspect-Oriented Software Development (2005), Addison-Wesley, Boston 21-35
12. Compiler for Argos and Larissa, http://www-verimag.imag.fr/~stauch/ArgosCompiler/
13. N. Halbwachs, F. Lagnier, C. Ratel, Programming and verifying critical systems by means of the synchronous data-flow programming language lustre, in: Specification and Analysis of Real-Time Systems, IEEE Trans. Softw. Eng. (special issue)
14. Douence R., Fritz T., Loriant N., Menaud J.-M., Ségura-Devillechaise M., and Südholt M. An expressive aspect language for system applications with Arachne. Proceedings of the 4th International Conference on Aspect-Oriented Software Development, AOSD (2005), ACM Press, Chicago, IL, USA 27-38
15. Douence R., Fradet P., and Südholt M. Trace-based aspects. In: Filman R.E., Elrad T., Clarke S., and Akşit M. (Eds). Aspect-Oriented Software Development (2005), Addison-Wesley, Boston 201-217
16. Walker R.J., and Viggers K. Implementing protocols via declarative event patterns. SIGSOFT '04/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering (2004), ACM Press, New York, NY, USA 159-169
17. K. Klose, K. Ostermann, Back to the future: Pointcuts as predicates over traces, in: Workshop on the Foundations of Aspect-Oriented Languages, FOAL, 2005
18. Andrews J.H. Process-algebraic foundations of aspect-oriented programming. Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns (Reflection 2001). LNCS vol. 2192 (2001) 187-209
19. Wand M., Kiczales G., and Dutchyn C. A semantics for advice and dynamic join points in aspect-oriented programming. ACM Trans. Program. Lang. Syst. 26 5 (2004) 890-910
20. Katz S. A superimposition control construct for distributed systems. ACM Trans. Program. Lang. Syst. 15 2 (1993) 337-356
21. Colcombet T., and Fradet P. Enforcing trace properties by program transformation. Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL-00 (2000) 54-66
22. Schneider F.B. Enforceable security policies. ACM Trans. Inf. Syst. Security 3 1 (2000) 30-50
23. Ligatti J., Bauer L., and Walker D. Edit automata: Enforcement mechanisms for run-time security policies. Int. J. Inf. Security 4 1-2 (2005) 2-16
24. H. Sipma, A formal model for cross-cutting modular transition systems, in: Workshop on Foundations of Aspect-Oriented Languages, FOAL'03, 2003
25. M. Mahoney, A. Bader, T. Elrad, O. Aldawud, Using aspects to abstract and modularize statecharts, in: 5th Aspect-Oriented Modeling Workshop, Lisbon, Portugal, 2004
26. S. Katz, Diagnosis of harmful aspects using regression verification, in: Workshop on Foundations of Aspect-Oriented Languages, FOAL'04, March 2004, Lancaster, 2004
27. G. Kiczales, M. Mezini, Aspect-oriented programming and modular reasoning, in: ICSE '05: Proceedings of the 27th International Conference on Software Engineering, 2005, pp. 49-58
28. Griswold W., Sullivan K., Song Y., Shonle M., Tewari N., Cai Y., and Rajan H. Modular software design with crosscutting interfaces. Aspect-Oriented Programming. IEEE Softw. (2006) (special issue)
29. Felleisen M. On the expressive power of programming languages. In: Jones N. (Ed). ESOP'90 3rd European Symposium on Programming. LNCS vol. 432 (1990), Springer-Verlag 134-151