| Budget Amount *help |
¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2009: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2008: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2007: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
|---|
| Research Abstract |
In this research, we developed an extensible AOM (Aspect-Oriented Modeling) language called AspectM and a verifying model compiler. Although the notion of extensible AOM is useful, it is not necessarily easy to confirm the correctness of model compilation (weaving). To deal with this problem, the AspectM model compiler provides a set of verifiers consisting of a metamodel checker, a model structure checker, and an assertion checker.
|
