| Budget Amount *help |
¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2015: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2014: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2013: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
|
|---|
| Outline of Final Research Achievements |
The authors have developed a system which can generate sample object diagrams from a class diagram in order to support learners of object-oriented modeling with UML. The system supports two usecases for learners: (1) supporting verification of an object model created by learners, and (2) supporting identifying inconsistencies between a class model and a specification.
They have developed a system that diagnoses issues of multiplicity between a class diagram and object diagrams. The system checks a given diagram to ensure that not only it is mutually consistent in multiplicity, but also that the multiplicity is unambiguous. The system was designed to prevent students from revising the model into an ambiguous model in the process of solving inconsistencies.
|
