Lancaster EPrints

From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems

Katz, Shmuel and Rashid, Awais (2004) From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems. In: 12th IEEE International Requirements Engineering Conference (RE'04). IEEE Computer Society, Washington, DC, USA, pp. 48-57. ISBN 0-7695-2174-6

Full text not available from this repository.

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 paper 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.

Item Type: Contribution in Book/Report/Proceedings
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 57530
Deposited By: ep_importer_pure
Deposited On: 12 Oct 2012 16:09
Refereed?: No
Published?: Published
Last Modified: 10 Apr 2014 01:26
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/57530

Actions (login required)

View Item