Extending SOFL features for AOP modeling

Author

Shen, Yao ; Chen, Haopeng

Author_Institution

Dept. of Comput. Sci. & Eng., Shanghai Jiao Tong Univ., China

fYear

2005

fDate

16-20 June 2005

Firstpage

14

Lastpage

15

Abstract

SOFL is a formal language and method for software system analysis, specification and design, and it fully supports structured techniques and object-oriented techniques. AOP (aspect-oriented programming) is a new technique for software development. Since AOP leads a completely different way from structured or object-oriented techniques, original SOFL can not been used for AOP modeling. In this paper, we extend SOFL and introduce several new features which will enable SOFL to be used to fully and clearly specify AOP features, such as aspects, pointcuts and advices.

Keywords

formal specification; object-oriented languages; object-oriented programming; structured programming; AOP modeling; SOFL features; aspect-oriented programming; formal language; object-oriented technique; software design; software development; software specification; software system analysis; structured technique; Computer science; Design engineering; Formal languages; Merging; Object oriented modeling; Programming; Reactive power; Software systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on

Print_ISBN

0-7695-2284-X

Type

conf

DOI

10.1109/ICECCS.2005.43

Filename

1467876