Aspect Categories and Classes of Temporal Properties

@article{Katz2006AspectCA,
  title={Aspect Categories and Classes of Temporal Properties},
  author={Shmuel Katz},
  journal={LNCS Trans. Aspect Oriented Softw. Dev.},
  year={2006},
  volume={1},
  pages={106-134}
}
  • Shmuel Katz
  • Published 2006
  • Computer Science
  • LNCS Trans. Aspect Oriented Softw. Dev.
Generic categories of aspects are described, and their potential value is explained. For some categories, broad classes of syntactically identifiable temporal properties, such as safety, liveness, or existence properties, are guaranteed to hold for a system with any aspect of the category woven into it, if the property was true in the system without the aspect. Thus classes of properties preserved by the aspect are defined. Moreover, relatively simple verification techniques are shown to hold… Expand
117 Citations
Aspects preserving properties
  • 38
  • Highly Influenced
  • PDF
Specialized Aspect Languages Preserving Classes of Properties
  • 6
  • Highly Influenced
  • PDF
Aspects preserving properties
  • 3
  • Highly Influenced
Dataflow Analysis for Properties of Aspect Systems
  • 7
  • Highly Influenced
Modular Generic Verification of LTL Properties for Aspects
  • 28
  • PDF
MAVEN: modular aspect verification and interference analysis
  • 20
  • PDF
MAVEN: Modular Aspect Verification
  • 39
  • PDF
Model Checking Aspect-Oriented Design Specification
  • D. Xu, I. Alsmadi, Weifeng Xu
  • Computer Science
  • 31st Annual International Computer Software and Applications Conference (COMPSAC 2007)
  • 2007
  • 21
  • PDF
On the Reusable Specification of Non-functional Properties in DSLs
  • 13
  • PDF
Verifying Scenario-Based Aspect Specifications
  • 17
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 44 REFERENCES
Diagnosis of Harmful Aspects Using Regression Verification
  • 65
  • PDF
A Calculus of Untyped Aspect-Oriented Programs
  • 93
  • PDF
A classification system and analysis for aspect-oriented programs
  • 187
  • PDF
Trace-Based Aspects
  • 81
  • PDF
A theory of aspects
  • 160
  • PDF
An Overview of AspectJ
  • 3,445
  • PDF
Aspect Validation Using Model Checking
  • 31
µABC: A Minimal Aspect Calculus
  • 55
  • PDF
Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software
  • 155
Abstract interpretation of reactive systems
  • 446
  • PDF
...
1
2
3
4
5
...