Abstract
We show how to extend a coordination language with support for aspect oriented programming. The main challenge is how to properly deal with the trapping of actions before the actual data have been bound to the formal parameters. This necessitates dealing with open joinpoints – which is more demanding than the closed joinpoints in more traditional aspect oriented languages like AspectJ. The usefulness of our approach is demonstrated by mechanisms for discretionary and mandatory access control policies, as usually expressed by reference monitors, as well as mechanisms for logging actions.
This is a preview of subscription content, log in via an institution to check access.
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
Andrews., J.H.: Process-Algebraic Foundations of Aspect-Oriented Programming. Metalevel Architectures and Separation of Crosscutting Concerns: Third International Conference (2001)
Aracic, I., Gasiunas, V., Mezini, M., Ostermann, K.: An Overview of CaesarJ. Transactions on Aspect-Oriented Software Development 3880, 135–173 (2006)
Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhoták, J., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Optimising AspectJ. In: ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM Press, New York (2005)
Avgustinov, P., Hajiyev, E., Ongkingco, N., de Moor, O., Sereni, D., Tibble, J., Verbaere, M.: Semantics of static pointcuts in AspectJ. In: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 11–23 (2007)
Bettini, L., Bono, V., De Nicola, R., Ferrari, G., Gorla, D., Loreti, M., Moggi, E., Pugliese, R., Tuosto, E., Venneri, B.: The Klaim Project: Theory and Practice (2003)
Bruns, G., Jagadeesan, R., Jeffrey, A., Riely, J.: μabc: A minimal aspect calculus. In: Proceedings of the 2004 International Conference on Concurrency Theory, pp. 209–224. Springer, Heidelberg (2004)
Charfi, A., Mezini, M.: Aspect-oriented web service composition with ao4bpel. In: (LJ) Zhang, L.-J., Jeckle, M. (eds.) ECOWS 2004. LNCS, vol. 3250, pp. 168–182. Springer, Heidelberg (2004)
Dantas, D.S.: Analyzing Security Advice in Functional Aspect-oriented Programming Languages. Ph.D Thesis. Princeton University, Computer Science (2007)
Erlingsson, Ú., Schneider, F.B.: IRM enforcement of java stack inspection. In: IEEE Symposium on Security and Privacy, pp. 246–255 (2000)
Gao, S., Deng, Y., Yu, H., He, X., Beznosov, K., Cooper, K.: Applying Aspect-Orientation in Designing Security Systems: A Case Study. The Sixteenth International Conference on Software Engineering and Knowledge Engineering (2004)
Georg, G., Ray, I., France, R.: Using aspects to design a secure system. Engineering of Complex Computer Systems, 117–126 (2002)
Gligor, V.D.: A Guide to Understanding Covert Channel Analysis of Trusted Systems. National Computer Security Center (US) (1994)
Gollmann, D.: Computer Security. Wiley, Chichester (2006)
Jagadeesan, R., Jeffrey, A., Riely, J.: A Calculus of Untyped Aspect-Oriented Programs. In: Ecoop Object-Oriented Programming 17th European Conference (2003)
Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An Overview of AspectJ. In: Ecoop Object-Oriented Programming: 15th European Conference (2001)
Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Proceedings European Conference on Object-Oriented Programming, pp. 220–242 (1997)
Masuhara, H., Kawauchi, K.: Dataflow Pointcut in Aspect-Oriented Programming. Programming Languages and Systems: First Asian Symposium (2003)
De Nicola, R., Ferrari, G., Pugliese, R.: Klaim: a kernel language for agents interaction and mobility. Transactions on Software Engineering 24(5), 315–330 (1998)
De Nicola, R., Ferrari, G., Pugliese, R.: Programming access control: The KLAIM experience. In: CONCUR 2000: Proceedings of the 11th International Conference on Concurrency Theory, pp. 48–65. Springer, Heidelberg (2000)
Schneider, F.B.: Enforceable security policies. ACM Trans. Inf. Syst. Secur. 3(1), 30–50 (2000)
Verhanneman, T., Piessens, F., De Win, B., Joosen, W.: Uniform Application-level Access Control Enforcement of Organizationwide Policies. In: Proc. 21st Annual Computer Security Applications Conference, pp. 431–440 (2005)
Walker, D., Zdancewic, S., Ligatti, J.: A theory of aspects. ACM SIGPLAN Notices 38(9), 127–139 (2003)
Wand, M., Kiczales, G., Dutchyn, C.: A semantics for advice and dynamic join points in aspect-oriented programming. ACM Trans. Program. Lang. Syst. 26(5), 890–910 (2004)
De Win, B., Joosen, W., Piessens, F.: Developing secure applications through aspect-oriented programming. Aspect-Oriented Software Development, 633–650 (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hankin, C., Nielson, F., Riis Nielson, H., Yang, F. (2008). Advice for Coordination. In: Lea, D., Zavattaro, G. (eds) Coordination Models and Languages. COORDINATION 2008. Lecture Notes in Computer Science, vol 5052. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68265-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-68265-3_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68264-6
Online ISBN: 978-3-540-68265-3
eBook Packages: Computer ScienceComputer Science (R0)