结合正式与非正式方法：GUI设计与UIMS开发的新途径

"这篇论文探讨了在开发用户界面管理系统（UIMS）时，如何将非正式的GUI设计方法与正式的计算机科学理论相结合。作者提出了在正式环境中捕捉非正式设计工件意图的方法，并通过Seeheim模型展示了这种方法的应用。" 文章详细内容: 在软件工程领域，设计和实现软件系统的方法多种多样，从完全正式到完全非正式不等。正式方法，如使用形式化的规范语言和细化过程，通常用于确保底层系统行为的正确性和可靠性。另一方面，以用户为中心的图形用户界面（GUI）设计则倾向于采用更非正式的方法，注重用户体验和交互性。 本文的核心议题是如何在开发过程中融合这两种方法，特别是在用户界面管理系统的上下文中。UIMS允许GUI设计与底层系统行为分离，使得开发者可以独立地关注系统功能和用户界面的逻辑。Seeheim模型被作为例子，它强调了这种分离的重要性，因为它使设计者能够针对不同的关注点（如系统功能和用户界面）使用不同的技术和方法。 作者提出了一种策略，即在正式环境中理解和记录非正式设计工件的意图。这种做法旨在保留非正式设计的灵活性和直观性，同时利用正式方法的优势，如精确性和可验证性。通过这样做，他们能够在保持以用户为中心的设计原则的同时，确保GUI设计的正确性和适应性。 关键词提到的形式化方法、以用户为中心的设计、图形用户界面、细化和非正式设计工件，都在讨论中占有重要地位。形式化方法提供了严格的分析和验证手段，而以用户为中心的设计强调了用户的实际需求和体验。GUI是用户与系统交互的主要途径，其设计质量直接影响到用户的满意度和系统的可用性。细化是将高层次设计转化为可执行代码的过程，对于确保设计意图的准确传递至关重要。 非正式设计工件，如草图和概念模型，虽然直观易懂，但可能缺乏足够的形式化来确保一致性。因此，将这些非正式工件的意图转换为正式的表示，可以在保留原始设计精神的同时，增强其在系统开发过程中的稳定性。 这篇论文提供了一个框架，指导开发者如何在UIMS的开发中结合正式和非正式方法，从而在保证系统功能和用户界面质量之间取得平衡。这种方法的实施有助于提高大型复杂系统的整体质量和用户体验。通过这种方式，开发者能够充分利用形式化方法的精确性和以用户为中心设计的创新性，以创建既可靠又易于使用的软件系统。