Improving a Modular Verification Technique for Aspect Oriented Programming

Alfons Laarman; C. Huijs

Improving a Modular Verification Technique for Aspect Oriented Programming

Alfons Laarman, C. Huijs (Editor)

Research output: Contribution to conference › Paper › peer-review

99 Downloads (Pure)

Abstract

As aspect oriented software becomes more popular, there will be more demand for a method of verifying the correctness of the programs. This paper tries to address the verification issue by improving a modular verification technique proposed by Krisnamuhrti et al. The technique has the problem that it can not handle every aspect, which may result in a false awnser. By checking the type of the aspect in advance we can prevent this behavior. The proposed solution also improves some other issues regarding the model-checker.

Original language	Undefined
Pages	37-40
Number of pages	4
Publication status	Published - 26 Jun 2006
Event	5th Twente Student Conference on Information Technology - Enschede, The Netherlands Duration: 26 Jun 2006 → 26 Jun 2006

Conference

Conference	5th Twente Student Conference on Information Technology
Period	26/06/06 → 26/06/06
Other	26 Jun 2006

Keywords

Classification
Verification
AOP
SE-AOC: Aspect and Object Composability
Aspect Oriented Programming
IR-67523
EWI-15698

Access to Document

http://referaat.cs.utwente.nl/new/papers.php?confid=1

Cite this

@conference{8309912954df43f2988c83f3e446f51a,

title = "Improving a Modular Verification Technique for Aspect Oriented Programming",

abstract = "As aspect oriented software becomes more popular, there will be more demand for a method of verifying the correctness of the programs. This paper tries to address the verification issue by improving a modular verification technique proposed by Krisnamuhrti et al. The technique has the problem that it can not handle every aspect, which may result in a false awnser. By checking the type of the aspect in advance we can prevent this behavior. The proposed solution also improves some other issues regarding the model-checker.",

keywords = "Classification, Verification, AOP, SE-AOC: Aspect and Object Composability, Aspect Oriented Programming, IR-67523, EWI-15698",

author = "Alfons Laarman and C. Huijs",

year = "2006",

month = jun,

day = "26",

language = "Undefined",

pages = "37--40",

note = "5th Twente Student Conference on Information Technology ; Conference date: 26-06-2006 Through 26-06-2006",

}

TY - CONF

T1 - Improving a Modular Verification Technique for Aspect Oriented Programming

AU - Laarman, Alfons

A2 - Huijs, C.

PY - 2006/6/26

Y1 - 2006/6/26

N2 - As aspect oriented software becomes more popular, there will be more demand for a method of verifying the correctness of the programs. This paper tries to address the verification issue by improving a modular verification technique proposed by Krisnamuhrti et al. The technique has the problem that it can not handle every aspect, which may result in a false awnser. By checking the type of the aspect in advance we can prevent this behavior. The proposed solution also improves some other issues regarding the model-checker.

AB - As aspect oriented software becomes more popular, there will be more demand for a method of verifying the correctness of the programs. This paper tries to address the verification issue by improving a modular verification technique proposed by Krisnamuhrti et al. The technique has the problem that it can not handle every aspect, which may result in a false awnser. By checking the type of the aspect in advance we can prevent this behavior. The proposed solution also improves some other issues regarding the model-checker.

KW - Classification

KW - Verification

KW - AOP

KW - SE-AOC: Aspect and Object Composability

KW - Aspect Oriented Programming

KW - IR-67523

KW - EWI-15698

M3 - Paper

SP - 37

EP - 40

T2 - 5th Twente Student Conference on Information Technology

Y2 - 26 June 2006 through 26 June 2006

ER -