Improving a Modular Verification Technique for Aspect Oriented Programming

Alfons Laarman, C. Huijs (Editor)

Research output: Contribution to conferencePaperAcademicpeer-review

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.
LanguageUndefined
Pages37-40
Number of pages4
Publication statusPublished - 26 Jun 2006

Keywords

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

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 = "6",
day = "26",
language = "Undefined",
pages = "37--40",

}

Improving a Modular Verification Technique for Aspect Oriented Programming. / Laarman, Alfons; Huijs, C. (Editor).

2006. 37-40.

Research output: Contribution to conferencePaperAcademicpeer-review

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

ER -