计算机科学 ›› 2007, Vol. 34 ›› Issue (3): 250-253.
• 计算机网络与信息安全 • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要： 本文通过融合UML用例图、类图、顺序图和状态图，得到一个软件系统的需求模型和设计模型，给出了需求模型和设计模型的协调性条件及精化规则。这样，我们可以从软件开发的需求分析和设计阶段检查模型的协调性，通过协调地精化模型后生成代码。用这种方法，我们可在软件设计的早期阶段发现不协调问题，减少生成代码后除错所产生的代价。
关键词: UML 用例图 类图 顺序图 状态图 需求模型 设计模型 协调性 精化
Abstract: Requirement model and design model are obtained though integrating use-case diagram, class diagram, sequence diagram and state machine in UML. Consistency checking for these models are proposed, and the refinement rules about these models are achieved. Th
Key words: UML, Use-case diagram, Class diagram, Sequence diagram, State machine, Requirement model, Design model, Consistency, Refinement
. 精化UML模型[J]. 计算机科学, 2007, 34(3): 250-253. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2007/V34/I3/250
Cited
首页