软件工程中的半形式化Use-Case描述与可视化建模技术

在"关于半形式化的Use-Case描述-2011王立福的软件工程课件"中，作者探讨了在复杂实时系统中处理Use-Case的挑战，尤其是在维护其一致性方面。对于大型系统，actor间交互的复杂性和状态转换可能导致常规文本描述难以保持一致性。因此，引入了更结构化和技术化的描述方法，如可视化建模技术，如用例图、活动图等，这些工具帮助系统分析师更好地理解和设计软件系统的功能。 课程内容涵盖了软件工程的核心概念和实践，包括软件生命周期的各个阶段。首先，通过概论部分，作者阐述了软件开发的本质，即它是将问题域中的客观事物映射到不同的抽象层次，如数据抽象（如对象模型化）和过程抽象（如结构化方法中的处理逻辑）。这种映射涉及到从问题空间到解空间的转换，比如将学生的信息抽象为对象，或者将处理逻辑转化为算法流程。 在软件需求和系统规格说明部分，强调了需求作为软件开发的起点，它是产品确认和测试的基准。软件开发方法学则探讨了不同的开发策略，如结构化方法、面向对象方法、数据结构导向方法以及维也纳开发方法（VDM），这些方法提供了实现开发过程的具体途径。 CMM（能力成熟度模型）则是用来评估软件开发过程的能力，确保产品质量和效率。课程还提到了支持和管理技术，它们作用于软件工程的基础知识结构，旨在提供有效的开发支持和管理手段。 通过王立福教授的讲解，学生不仅能够掌握软件开发的理论基础，还能学习如何运用各种方法和技术来设计和管理复杂的软件系统。对于软件工程师而言，理解和掌握半形式化的Use-Case描述技巧是提高软件质量和项目管理的关键环节。