[发明专利]一种基于公理化的油田套管失效信息系统的设计方法

权利要求书

1.一种基于公理化的油田套管失效信息系统的设计方法，其特征在于，包括以下步骤：

(a)首先，定义知识库中信息系统的功能要求；

(b)然后，通过识别设计参数把功能域的FRs映射到结构域；

(c)选择最佳设计；

(d)软件模块的分解；

(e)面向对象的编程和页面模块；

(f)构建软件系统的结构。

2.根据权利要求1所述的一种基于公理化的油田套管失效信息系统的设计方法，其特征在于，所述步骤(a)中：设计者根据用户域的信息，确定系统必须满足的用户需求和用户特性，然后确定基本的功能要求FRs和设计约束来满足用户需求，功能要求必须以最少的一组满足用户需求，并且符合公理要求。

3.根据权利要求1所述的一种基于公理化的油田套管失效信息系统的设计方法，其特征在于，所述步骤(e)中，在叶级，任何软件编程语言都可用来写模块，只要它们内部一致即可。

4.根据权利要求1所述的一种基于公理化的油田套管失效信息系统的设计方法，其特征在于，所述步骤(f)中，描述软件系统模块之间的相互关系，并定义功能-结构图来描述正确的设计分解和软件的系统结构。