Summary
In this paper we propose the use of event observation as first class concept for the composition of software components. The approach can be applied to any language based on concurrent components, and we illustrate it with examples on a concrete language (Omega UML) used in the specification of real-time systems. To motivate the proposal, we discuss how it may be used to support a very general form of aspect-oriented programming.
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
Algayres, B., Lejeune, Y., Hugonnet, F.: GOAL: Observing SDL behaviors with ObjectGEODE. In: Braek, R., Sarma, A. (eds.) SDL 1995: with MSC in CASE, Proceedings of the 7th SDL Forum. Elsevier Science, B.V. (1995)
Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L.J., Kuzins, S., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to aspectj. In: Johnson, R., Gabriel, R.P. (eds.) OOPSLA, pp. 345–364. ACM, New York (2005)
Bozga, M., Graf, S., Mounier, L.: If-2.0: A validation environment for component-based real-time systems. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 343–348. Springer, Heidelberg (2002)
Bozga, M., Graf, S., Ober, I., Ober, I., Sifakis, J.: The if toolset. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 237–267. Springer, Heidelberg (2004)
Burns, A., Wellings, A.: Real-Time Systems and Programming Languages, 3rd edn. Addison-Wesley, Reading (2001)
Damm, W., Josko, B., Pnueli, A., Votintseva, A.: Understanding uml: A formal semantics of concurrency and communication in real-time UML. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, pp. 71–98. Springer, Heidelberg (2003)
Douence, R., Le Botlan, D., Noyé, J., Südholt, M.: Concurrent aspects. In: Jarzabek, S., Schmidt, D.C., Veldhuizen, T.L. (eds.) GPCE, pp. 79–88. ACM, New York (2006)
Filman, R.E., Havelund, K.: Realizing aspects by transforming for events. Technical Report 02.05, RIACS (September 2002); Presented at ASE 2002 Workshop on Declarative Meta-Programming
Graf, S., Ober, I., Ober, I.: A real-time profile for UML. STTT 8(2), 113–127 (2006)
Harel, D., Kugler, H.: The rhapsody semantics of statecharts (or, on the executable core of the UML) - preliminary version. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 325–354. Springer, Heidelberg (2004)
Hoare, C.A.R.: Monitors: An operating system structuring concept. Commun. ACM 17(10), 549–557 (1974)
Jacobson, I., Ng, P.-W.: Aspect-Oriented Software Development with Use Cases. Object Technology Series. Addison-Wesley, Reading (2005)
Jard, C., Monin, J.-F., Groz, R.: Development of Véda, a prototyping tool for distributed algorithms. IEEE Trans. Software Eng. 14(3), 339–352 (1988)
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)
Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)
Marius Bozga, Y.L.: IF-2.0 common language operational semantics. Technical report, VERIMAG (September 2002), http://www-if.imag.fr
Benavides Navarro, L.D., Südholt, M., Vanderperren, W., De Fraine, B., Suvée, D.: Explicitly distributed AOP using AWED. In: Filman, R.E. (ed.) AOSD, pp. 51–62. ACM, New York (2006)
Object Management Group. Unified Modeling Language, http://www.omg.org/spec/UML/
Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebr. Program. 60(61), 117–139 (2004)
Walker, R.J., Viggers, K.: Implementing protocols via declarative event patterns. In: Taylor, R.N., Dwyer, M.B. (eds.) SIGSOFT FSE, pp. 159–169. ACM, New York (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ober, I., Lakhrissi, Y. (2008). Observation-Based Interaction and Concurrent Aspect-Oriented Programming. In: Lee, R. (eds) Software Engineering Research, Management and Applications. Studies in Computational Intelligence, vol 150. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70561-1_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-70561-1_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-70774-5
Online ISBN: 978-3-540-70561-1
eBook Packages: EngineeringEngineering (R0)