AxiomSYS是高性能系统分析CASE工具，结合使用增强了实时扩展的结构化分析方法和Derek Hatley与Imtiaz Pirbhai发明的构造建模方法，可用于复杂软件项目的开发， AxiomSYS满足系统分析工程师与软件工程师的要求。

　　使用AxiomSYS可为系统建立详细的结构化分析模型，为系统实施创建构造设计（Architecture Design）模型，跟踪每个设计是如何满足系统需求的，验证整个模型的一致性及逻辑性，并自动产生精确的、完整的需求文档。

支持扩展的实时系统结构化建模

　　不管系统多么复杂，采用层次化方式分解与细化系统需求可使得模型清晰、易于理解，AxiomSYS需求分析工具支持“由外向里”层次化建模方法，“由外向里”是一种比较自然而且有条理的思考过程。

系统环境图（Context Diagram）

　　采用结构化分析、设计方法首先必须从系统外部环境分析开始，界定系统的边界，即什么是系统的外部接口、系统所必须完成的基本功能，系统环境图（亦称顶层图）是数据流图的特例，其描述了系统的使用者与被使用者，及系统使用者与被使用者与系统的信息交换（包括数据信息和控制信息）。由于采用图形化方式，且模型语义接近自然语言，易于理解与沟通，方便系统需求确认。

数据流图（Data Flow Diagram）

　　数据流图（DFD）是用于揭示系统功能的主要工具，AxiomSYS支持“由外向里”层次化数据流分解方法，从系统环境图（顶层图）开始，可从上层数据流图直接弹出下层数据流图，并自动进行平衡性与一致性检查。

处理说明（PSPEC）

　　数据流图的每一处理可以用处理说明来精确地描述其功能，AxiomSYS不仅支持基本处理（即不再进一步被分解的处理）的处理说明，而且支持非基本处理的处理说明，为非基本处理创建处理说明便于帮助理解建立需求模型过程中的思考推理过程。AxiomSYS提供的处理说明中可包含相关数据流图中输入/输出索引，并对处理说明与数据流图中信息流（可为数据与控制）进行一致性检查。

后一页