Verifying scenario-based aspect specifications

Lecture Notes in Computer Science

Volumn 3582, Issue , 2005, Pages 432-447

  Katz, Emilia ^a   Katz, Shmuel ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

Aspects; Conformance; Convenient executions; Model checking; Scenarios

Indexed keywords

AUTOMATA THEORY; SOFTWARE PROTOTYPING; VECTORS;

ASPECTS; CONFORMANCE; CONVENIENT EXECUTIONS; MODEL-CHECKING; SCENERIOS;

COMPUTER SOFTWARE;

EID: 26444487615     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11526841_29     Document Type: Conference Paper

References (14)

1. M. Glusman and S. Katz, A mechanized proof environment for the convenient computations proof method, Formal Methods in System Design 23 (2003), 115-142, Available at http://www.cs.technion.ac.il/Labs/ssdl/pub/conv_PVS.
2. _, Model checking conformance with scenario-based specifications, Computer-Aided Verification, (CAV'03) (W.A. Hunt and F. Somenzi, eds.), LNCS, vol. 2725, Springer-Verlag, 2003, pp. 328-340, Full version and system at http://www.cs.technion.ac.il/Labs/ssdl/pub/CNV.
3. D. Harel and R. Marelly, Come, let's play: Scenario-based programming using LSC's and the play-engine, Springer-Verlag, 2003.
4. J. Hatcliff and M. Dwyer, Using the Bandera Tool Set to model-check properties of concurrent Java software, Proc. 12th Int. Conf. on Concurrency Theory, CONCUR'01 (K. G. Larsen and M. Nielsen, eds.), LNCS, vol. 2154, Springer-Verlag, 2001, pp. 39-58.
5. K. Havelund and T. Pressburger, Model checking Java programs using Java PathFinder, International Journal on Software Tools for Technology Transfer (STTT) 2 (2000), no. 4.
6. J.Arajo, J. Whittle, and D. Kim, Modeling and composing scenario-based requirements with aspects, The 12th IEEE International Requirements Engineering Conference (RE2004) (Kyoto, Japan), September 2004, pp. 58-67.
7. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold, An overview of Aspect J, Proceedings ECOOP 2001, LNCS 2072, Jun 2001, http://aspectj.org, pp. 327-353.
8. S. Krishnamurthi, K. Fisler, and M. Greenberg, Verifying aspect advice modularly, SIGSOFT FSE, 2004, pp. 137-146.
9. Z. Manna and A. Pnueli, The temporal logic of reactive and concurrent systems - safety, Springer-Verlag, 1995.
10. K. L. McMillan, Getting started with SMV, Cadence Labs, March 1999.
11. D. Peled, Software reliability methods, Springer-Verlag, 2001.
12. J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language reference manual, second edition, Addison-Wesley, 2004.
13. D. Sereni and O. de Moor, Static analysis of aspects., AOSD, 2003, pp. 30-39.
14. M. Sihman and S. Katz, Superimposition and aspect-oriented programming, BCS Computer Journal 46 (2003), no. 5, 529-541, Available at http://www.cs.technion.ac.il/~katz/cj.ps.