Name
Abstract | ||
|---|---|---|
A dynamic aspect-oriented system weaves aspects into applications at run time. As a result, a static model can be dynamically modified to include the codes needed to fulfill non-functional requirements without having to shut down the running program. Although this provides a high degree of flexibility, it may lead to a conformance problem. In this paper, we study the conformance issues of aspect-oriented programs and propose a scheme to check the conformance of running programs with the original software specification in dynamic aspect-oriented systems. First, we propose extensions of the UML model to express the specification of aspect-oriented applications, after which we study and classify typical mistakes made in deploying aspects. Then, we design a scheme to check if the current state conforms to the software specification. We take JAsCo as the target system to implement the proposed scheme. When the program starts running or aspects in the registry are changed, the system informs the developers if the current state violates the software specification. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1109/ASPEC.2007.17 | APSEC |
Keywords | Field | DocType |
conformance problem,target system,jasco system,aspect-oriented application,dynamic aspect-oriented systems,aspect-oriented program,dynamic aspect-oriented system,uml model,original software specification,proposed scheme,object-oriented programming,conformance checking,running program conformance checking,unified modeling language,conformance issue,current state,formal specification,system monitoring,software specification,aspect oriented,aspect oriented programming,non functional requirement,object oriented programming | Programming language,Software design,Systems engineering,Unified Modeling Language,Computer science,Real-time computing,Language Of Temporal Ordering Specification,Conformance checking,Software development,Specification language,Software engineering,Formal specification,Software requirements specification | Conference |
ISSN | ISBN | Citations |
1530-1362 | 0-7695-3057-5 | 1 |
PageRank | References | Authors |
0.34 | 9 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Chien-Min Wang | 1 | 218 | 28.55 |
| Chi-chang Huang | 2 | 50 | 8.89 |
| Hsi-min Chen | 3 | 79 | 9.99 |
| Shun-te Wang | 4 | 33 | 6.50 |