The Z notation: a reference manual
The Z notation: a reference manual
Subject-oriented programming: a critique of pure objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Structuring Z specifications with views
ACM Transactions on Software Engineering and Methodology (TOSEM)
N degrees of separation: multi-dimensional separation of concerns
Proceedings of the 21st international conference on Software engineering
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Alcoa: the alloy constraint analyzer
Proceedings of the 22nd international conference on Software engineering
A Model for Describing Object-Oriented Systems from Multiple Perspectives
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Formalising Composition Oriented Programming
Proceedings of the Workshop on Object-Oriented Technology
Abstracting Object Interactions Using Composition Filters
ECOOP '93 Proceedings of the Workshop on Object-Based Distributed Programming
Reflection and semantics in LISP
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Subjectivity and GenVoca Generators
ICSR '96 Proceedings of the 4th International Conference on Software Reuse
Aspect-oriented programming with model checking
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Verifying cross-cutting features as open systems
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Verifying cross-cutting features as open systems
ACM SIGSOFT Software Engineering Notes
Verifying aspect advice modularly
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Foundations of incremental aspect model-checking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Verification of Aspect-UML models using alloy
Proceedings of the 10th international workshop on Aspect-oriented modeling
Aspect-oriented modeling and verification with finite state machines
Journal of Computer Science and Technology - Special section on trust and reputation management in future computing systmes and applications
Testing aspect-oriented programs with finite state machines
Software Testing, Verification & Reliability
| Hi-index | 0.00 |
This paper presents an approach to formal verification of the properties of systems composed of multiple crosscutting concerns. The approach models concerns as sets of concurrent processes, and provides a method of composition that mimics the composition operators of existing multiple-concern implementation languages. A case study demonstrates the composition process and shows how formal verification of different composition strategies can detect potential problems. We also discuss the need for a general model of concerns that can be handled by different formal languages.