Introduction to Category Semantics of Essential Use Case Analysis Technology

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.