本文档讨论死海问题，它是一个软件项目，我们从规范，要求（用户和系统）开始使用标准的方式编写，之后我们设计了一些场景和设计用于这个场景的用例，类图，活动图，上下文切换，序列图，通过使用理性上升软件它的UML软件，然而我们指定功能需求和非功能需求，我们尝试设计它和open os软件。
