Abstract | ||
---|---|---|
ccJava, a new kind of class-based AOP language, provides the weaving-interface mechanism in which the weaving can be realized by the component-and-connector architecture. The interface description constructs in ccJava can be considered a kind of architecture description language that takes into account the weaving. This paper provides a lightweight verification approach using Alloy, a structural modeling language based on relation allogic. Using Alloy, we can verify whether the weaving based on the component-and-connector architecture satisfies some kinds of properties--whether advice-types are specified correctly,whether a pointcut selects join points correctly, and so on. By enforcing the architecture verified by Alloy to the class implementation, we can construct a reliable system. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/SERA.2008.12 | SERA |
Keywords | Field | DocType |
new kind,class implementation,structural modeling language,reliable system,aspect-oriented architecture,alloy-based lightweight verification,component-and-connector architecture,relation allogic,interface description construct,class-based aop language,lightweight verification approach,architecture description language,shape,satisfiability,java,software architecture,weaving,aop,metals,encoding,computer architecture,verification,aspect oriented | Space-based architecture,Programming language,Applications architecture,Software architecture description,Computer science,Real-time computing,Architecture Analysis & Design Language,Systems architecture,Reference architecture,Enterprise architecture framework,Architecture description language | Conference |
Citations | PageRank | References |
0 | 0.34 | 12 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Naoyasu Ubayashi | 1 | 552 | 43.39 |
Yuki Sato | 2 | 0 | 0.34 |
Akihiro Sakai | 3 | 3 | 2.50 |
Tetsuo Tamai | 4 | 334 | 33.27 |