DocumentCode :
3453693
Title :
From aspectual requirements to proof obligations for aspect-oriented systems
Author :
Katz, Shmuel ; Rashid, Awais
Author_Institution :
Dept. of Comput., Lancaster Univ., UK
fYear :
2004
fDate :
6-11 Sept. 2004
Firstpage :
48
Lastpage :
57
Abstract :
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. Though AOSD techniques have been proposed to handle crosscutting concerns at various stages during the software life cycle, there is a traceability gap between the aspects at the requirements level and those at later development stages. It is not clear what proof obligations about an aspect-oriented implementation follow from the initial aspectual requirements. This work presents PROBE, a framework for generation of proof obligations for aspect-oriented systems from the initial aspectual requirements and associated trade-offs. The abstract proof obligations are expressed in standard linear temporal logic. Key components of the framework include an extended ontology with parametric temporal formulas and functions, and extensive treatment of conflicts among requirements. The resultant temporal logic assertions, grouped into specifications of aspect implementations, can then be instantiated in terms of the implementation and verification tools.
Keywords :
formal specification; formal verification; object-oriented programming; ontologies (artificial intelligence); temporal logic; PROBE; aspect-oriented software development; aspect-oriented systems; aspectual requirements; crosscutting concerns; linear temporal logic; ontology; parametric temporal formulas; parametric temporal functions; proof obligations; software life cycle; temporal logic assertions; traceability gap; verification tools; Bridges; Computer science; Design engineering; Java; Logic; Ontologies; Probes; Programming; Real time systems; Security;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Requirements Engineering Conference, 2004. Proceedings. 12th IEEE International
ISSN :
1090-705X
Print_ISBN :
0-7695-2174-6
Type :
conf
DOI :
10.1109/ICRE.2004.1335663
Filename :
1335663
Link To Document :
بازگشت