Supporting formal verification of crosscutting concerns

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

Volumn 2192, Issue , 2001, Pages 153-169

  Nelson, Torsten ^a   Cowan, Donald ^a   Alencar, Paulo ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES;

COMPOSITION OPERATORS; CONCURRENT PROCESS; CROSS-CUTTING CONCERNS; GENERAL MODEL; IMPLEMENTATION LANGUAGES; POTENTIAL PROBLEMS;

FORMAL VERIFICATION;

EID: 84947283695     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45429-2_12     Document Type: Conference Paper

References (14)

1. M. Aksit, K. Wakita, J. Bosch, L. Bergmans, and A. Yonezawa. Abstracting object-interactions using composition-filters. In R. Guerraoui, O. Nierstrasz, and M. Riveill, editors, Object-Based Distributed Processing, pages 152-184. Springer-Verlag, 1993.
2. Don Batory. Subjectivity and GenVoca generators. In Proceedings of the Fourth International Conference on Software Reuse, Orlando, Florida, April 1996.
3. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements ofReusable Object-Oriented Software. Addison-Wesley, 1995.
4. William Harrison and Harold Ossher. Subject-oriented programming (a critique of pure objects). In Proceedings of OOPSLA '93, pages 411-428. ACM, 1993.
5. Daniel Jackson. Structuring Z specifications with views. ACM Transactions on Software Engineering and Methodology, 4(4):365-389, October 1995.
6. Daniel Jackson. Alcoa: the alloy constraint analyzer. In Proceedings oflCSE 2000, Limerick, Ireland, 2000. http://sdg.lcs.mit.edu/alloy/.
7. Gregor Kiczales, J. Lamping, A. Mendhekar, C. Lopes, J. Loingtier, and J. Irwin. Aspect-oriented programming. In Proceedings of ECOOP '97, 1997.
8. J. Magee and J. Kramer. Concurrency: State Models and Java Programs. John Wiley & Sons, 1999.
9. Torsten Nelson, Donald Cowan, and Paulo Alencar. A model for describing object-oriented systems from multiple perspectives. In Fundamental Approaches to Software Engineering, FASE 2000, volume 1783 of Lecture Notes in Computer Science, Berlin, Germany, 2000. Springer.
10. R. Pande and J. Browne. A compositional approach to concurrent object-oriented programming. In Proceedings of the International Conference on Compilers and Languages, Paris, France, May 1994.
11. Mark Skipper. A model of composition oriented programming. In Proceedings of the ICSE 2000 Workshop onMulti-Dimensional Separation of Concerns in Software Engineering, 2000.
12. B. Smith. Reflection and semantics in lisp. In Proceedings ofPoPL’84: The Eleventh Annual ACM Symposium on Principles of Programming Languages, January 1984.
13. Spivey. The ZNotation: A Reference Manual. Prentice Hall, 1987.
14. Peri Tarr, Harold Ossher, William Harrison, and S. Sutton. N degrees of separation: Multi-dimensional separation of concerns. In Proceedings of the 21st International Conference on Software Engineering, pages 107-119, 1999.