Software automation is always a challenging project, in which automatic transform from requirement model to analysis model is difficult especially. This paper has constructed a basic category semantics model for essential use case analysis technology, which has provided formal description for transform from requirement model to analysis model, and contributed to the automation of the transform.
Published in:
Information Engineering and Computer Science, 2009. ICIECS 2009. International Conference on
Date of Conference: 19-20 Dec. 2009