| Project/Area Number |
06680318
|
|---|
| Research Category |
Grant-in-Aid for General Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
計算機科学
|
|---|
| Research Institution | Ritsumeikan University |
|---|
Principal Investigator |
OHNISHI Atsushi Ritsumeikan University, Computer Science, Professor, 理工学部, 教授 (50160560)
|
|---|
| Project Period (FY) |
1994 – 1995
|
| Project Status |
Completed (Fiscal Year 1995)
|
| Budget Amount *help |
¥2,100,000 (Direct Cost: ¥2,100,000)
Fiscal Year 1995: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 1994: ¥1,500,000 (Direct Cost: ¥1,500,000)
|
|---|
| Keywords | Object-oriented Analysis / Requirements Analysis / Requirements Definition / Software Development |
|---|
| Research Abstract |
A supporting method of both verifying the correctness of models in the object-oriented analysis (OOA) and verifying the consistency among the three models of OOA is proposed.
The correctness of an object model is verified by checking whether the model has attributes, methods, and relations. The correctness of an functional model is verified by checking whether the model has input/output. The correctness of an dynamic model is verified by checking whether the model has states and attributes and by checking the consistency between pre-states and post-states in state transitions.
The consistency between an object model and an dynamic model is verified by checking whether no contradictions between attributes and methods of the object model and attributes which define states of the dynamic model and activities of the dynamic model. The consistency between an object model and a functional model is verified by checking whether no contradictions between relationships and methods of the object model and dataflows of the functional model. We provide a way of making a scenario of data transformation from a dynamic model and developed a visual language to express a functional model. With a scenario and a visual specification, we can show an animation of data transformations. The consistency between an dynamic model and a functional model is verified by checking the animation.
We have developed prototypes and validated our method with some examples.
|
