Yang Jing
Abstract
A requirement model is obtained though integrating use-case diagram,class diagram,sequence diagram and state maching in UML,and consistency checking for the requirement model is proposed in the paper.Therefore,code can he generated from a consistent requirement model.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
A requirement model is obtained though integrating use-case diagram,class diagram,sequence diagram and state maching in UML,and consistency checking for the requirement model is proposed in the paper.Therefore,code can he generated from a consistent requirement model.
Key concepts: Computer science, Sequence diagram, Class diagram, Communication diagram, Unified Modeling Language, Programming language, State diagram, Model checking