On horizontal specification architectures and their aspect-oriented implementations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4242 LNCS, Issue , 2006, Pages 1-29

  Aaltonen, Timo ^a   Katara, Mika ^a   Kurki Suonio, Reino ^a   Mikkonen, Tommi ^a  

^a TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; CONFORMAL MAPPING; CONTROL SYSTEM ANALYSIS; MATHEMATICAL MODELS;

BEHAVIORAL ABSTRACTIONS; SPECIFICATION ARCHITECTURES;

COMPUTER ARCHITECTURE;

EID: 38549130696     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11922827_1     Document Type: Conference Paper

References (52)

1. T. Aaltonen, J. Helin, M. Katara, P. Kellomäki, and T. Mikkonen. Coordinating objects and aspects. Electronic Notes in Theoretical Computer Science, 68(3): 248-267, 2003
2. T. Aaltonen, M. Katara, and R. Pitkänen. DisCo toolset - the new generation. Journal of Universal Computer Science, 7(1):3-18, 2001. http://www.jucs.org. Cited September 2006
3. T. Aaltonen and T. Mikkonen. Managing software evolution with a formalized abstraction hierarchy. In: Proceedings of the Eight IEEE International Conference on Engineering of Complex Computer Systems, Greenbelt, MD, USA, IEEE Computer Society, Piscataway, pp. 224-231, December 2002
4. AOSD-Europe. Survey of aspect-oriented analysis and design approaches, http://www.aosd-europe.net. Cited September 2006
5. E. Baniassad and S. Clarke. Theme: an approach for aspect-oriented analysis and design. In: Proceedings of the 26th International Conference on Software Engineering (ICSE'04), IEEE Computer Society, Piscataway, pp. 158-167, 2004
6. J. Bosch. Software architecture: the next step. In: F. Oquendo, B. Warboys, and R. Morrison (eds.) Software Architecture - Proceedings of the First European Workshop on Software Architecture, Number 3047 in Lecture Notes in Computer Science, Springer, Berlin Heidelberg New York, pp. 194-199, 2004
7. J.L. Boyd and G.M. Karam. Using design fragments to modularize the design of communications in concurrent systems. In: 7th International Workshop on Software Specification and Design, IEEE Computer Society, Piscataway, pp. 184-193, 1993
8. S. Clarke. Extending standard UML with model composition semantics. Science of Computer Programming, 44(1):71 100, 2002
9. S. Clarke, W. Harrison, H. Ossher, and P. Tarr. Subject-oriented design: towards improved alignment of requirements, design, and code. ACM SIGPLAN Notices, 34(10):325-339, 1999
10. S. Clarke and R.J. Walker. Separating crosscutting concerns across the lifecycle: from composition patterns to AspectJ and Hyper/J. Technical Report TCD-CS-2001-15, Department of Computer Science, Trinity College, Dublin, 2001
11. C.E. Cuesta, M. del Pilar Romay, P. de la Fuente, and M. Barrio-Solórzano. Architectural aspects of architectural aspects. In: R. Morrison and F. Oquendo (eds.) Software Architecture-Proceedings of the 2nd European Workshop on Software Architecture, Number 3527 in Lecture Notes in Computer Science, Springer, Berlin Heidelberg New York, pp. 247-262, 2005
12. E.W. Dijkstra. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, 1976
13. E.W. Dijkstra and C.S. Scholten. Termination detection for diffusing computations. Information Processing Letters, 11(4):1-4, 1980
14. T. Elrad and N. Francez. Decomposition of distributed programs into communication-closed layers. Science of Computer Programming, 2(3):155-173, 1982
15. R.E. Filman, T. Elrad, S. Clarke, and M. Akşit. Aspect-Oriented Software Development. Addison-Wesley, Reading, 2004
16. Object Management Group. MDA guide version 1.0.1. OMG Document Number omg/2003-06-01. http://www.omg.org/mda/specs.htm. Cited September 2006
17. I. Hammouda, J. Koskinen, M. Pussinen, M. Katara, and T. Mikkonen. Adaptable concern-based framework specialization in UML. In: Proceedings of the 19th IEEE International Conference on Automated Software Engineering, IEEE Computer Society, Linz, Austria, pp. 78-87, September 2004
18. W. Harrison, H. Ossher, and P. Tarr. Asymmerically vs. symmetrically organized paradigms for software composition. Technical Report RC22685, IBM Thomas J. Watson Research Center, December 2002
19. S. Isojärvi. DisCo and Nokia: experiences of DisCo with modeling real-time system in multiprocessor environment. FMEIndSem'97, Otaniemi, Finland, February 20, 1997
20. M. Jackson. Problem Frames: Analyzing and Structuring Software Development Problems. Addison-Wesley, Reading, 2001
21. W. Janssen and J. Zwiers. From sequential layers to distributed processes. In: Proceedings of the 11th ACM Symposium on Principles of Distributed Computing, ACM, New York, pp. 215-227, 1992
22. H.-M. Järvinen, R. Kurki-Suonio, M. Sakkinen, and K. Systä. Object-oriented specification of reactive systems. In: Proceedings of the 12th International Conference on Software Engineering (ICSE'90), IEEE Computer Society, Piscataway, pp. 63-71, 1990
23. J. Jokinen, H.-M. Järvinen, and T. Mikkonen. Incremental introduction of behaviors with static software architecture. Computer Standards and Interfaces, 25(3):215-222, 2003
24. M.M. Kandé. A Concern-Oriented Approach to Software Architecture. PhD Thesis, École Polytechnique Fédérale de Lausanne, Switzerland, 2003
25. M. Katara and S. Katz. Architectural views of aspects. In: Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, Boston, MA, USA, ACM, New York, pp. 1-10, March 2003
26. M. Katara, R. Kurki-Suonio, and T. Mikkonen. On the horizontal dimension of software architecture in formal specifications of reactive systems. In: C. Clifton, R. Lämmel, and G.T. Leavens (eds.) FOAL 2004 Proceedings, Foundations of Aspect-Oriented Languages Workshop at AOSD 2004, Lancaster, UK, Technical Report TR #04-04 Department of Computer Science, Iowa State University, Iowa, pp. 37-43, March 2004
27. S. Katz. A superimposition control construct for distributed systems. ACM Transactions on Programming Languages and Systems, 15(2):337-356, 1993
28. S. Katz and J. Gil. Aspects and superimpositions. Position paper in ECOOP 1999 workshop on Aspect-Oriented Programming, Lisbon, Portugal, June 1999
29. P. Kellomäki and T. Mikkonen. Design templates for collective behavior. In: E. Bertino (ed.) Proceedings of ECOOP 2000, 14th European Conference on Object-Oriented Programming, Number 1850 in Lecture Notes in Computer Science, Springer, Berlin Heidelberg New York, pp. 277-295, 2000
30. G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In: M. Aksjt and S. Matsuoka (eds.) ECOOP '97-Object-Oriented Programming 11th European Conference, Jyväskylä, Finland, Vol. 1241 Lecture Notes in Computer Science Springer, Berlin Heidelberg New York, pp. 220-242, June 1997
31. R. Kurki-Suonio. Modular modeling of temporal behaviors. In: S. Ohsuga, H. Kangassalo, H. Jaakkola, K. Hori, and N. Yonezaki (eds.) Information Modelling and Knowledge Bases III, IOS Press, Amsterdam, pp. 283-300, 1992
32. R. Kurki-Suonio. A Practical Theory of Reactive Systems - Incremental Modeling of Dynamic Behaviors. Springer, Berlin Heidelberg New York, 2005
33. R. Kurki-Suonio and T. Mikkonen. Abstractions of distributed cooperation, their refinement and implementation. In: B. Krämer, N. Uchihira, P. Croll, and S. Russo (eds.) Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, IEEE Computer Society, Piscataway, pp. 94-102, April 1998
34. P. Laine. The role of SW architecture in solving fundamental problems in object-oriented development of large embedded SW systems. In: Working IEEE/IFIP Conference on Software Architecture, IEEE Computer Society, Piscataway, pp. 14-23, 2001
35. L. Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, 1994
36. T. Mikkonen. Formalizing design patterns. In: B. Werner (ed.) Proceedings of the 20th International Conference on Software Engineering (ICSE'98), IEEE Computer Society, Piscataway, pp. 115-124, April 1998
37. T. Mikkonen, R. Pitkänen, and M. Pussinen. On the role of architectural style in model-driven development. In: F. Oquendo, B. Warboys, and R. Morrison (eds.) Software Architecture-Proceedings of the First European Workshop on Software Architecture, Number 3047 in Lecture Notes in Computer Science, Springer, Berlin Heidelberg New York, pp. 74-87, 2004
38. B. Oki, M. Pfluegl, A. Siegel, and D. Skeen. The information bus: an architecture for extensible distributed systems. ACM Operating Systems Review, 27:58-68, 1993
39. H. Ossher and P. Tarr. Multi-dimensional separation of concerns and the Hyperspace approach. In: M. Akşit (ed.) Software Architectures and Component Technology. Kluwer Academic, Dordrecht, 2001
40. D.L. Parnas. On the criteria to be used in decomposing systems in modules. Communications of the ACM, 15(12):1053-1058, 1972
41. D.L. Parnas, P.C. Clements, and D.M. Weiss. The modular structure of complex systems. IEEE Transactions on Software Engineering, SE-11(3):259-266, 1985
42. R. Pitkänen. A specification-driven approach for development of enterprise systems. In: K. Koskimies, J. Lilius, I. Porres, and K. Østerbye (eds.) Proceedings of the 11th Nordic Workshop on Programming and Software Development Tools and Techniques, Vol. 34 TUCS General Publication, Turku Centre for Computer Science, Turku, pp. 74-87, August 2004
43. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, Reading, 1998
44. M. Sihman and S. Katz. A calculus of superimpositions for distributed systems. In: Proceedings of the 1st International Conference on Aspect-Oriented Software Development, Enschede, The Netherlands, ACM, New York, pp. 28-40, April 2002
45. M. Sihman and S. Katz. Superimpositions and aspect-oriented programming. The Computer Journal, 46(5):529-541, 2003
46. P. Tarr, H. Ossher, W. Harrison, and S.M. Sutton Jr. N degrees of separation: multi-dimensional separation of concerns. In: D. Garlan (ed.) Proceedings of the 21st International Conference on Software Engineering, Los Angeles, CA, USA, ACM, New York, pp. 107-119, May 1999
47. T. Weis, N. Plouzeau, G. Amoros, P. Donth, K. Geihs, J.-M. Jézéquel, and A.-M. Sassen. Business Component-Based Software Engineering, Chapter QCCS: Quality Controlled Component-based Software development. Kluwer, Dordrecht, 2002
48. AspectJ. http://aspectj.org. Cited September 2006
49. DisCo. http://disco.cs.tut.fi. Cited September 2006
50. Hyperspace. http://www.research.ibm.com/hyperspace/. Cited September 2006
51. MDA. http://www.omg.org/mda/. Cited September 2006
52. Rational Unified Process, http://www-306.ibm.com/software/awdtools/rup/. Cited September 2006