Program developing system allowing a specification definition to be
represented by a plurality of different graphical, non-procedural
representation formats
    3.
    发明授权
    Program developing system allowing a specification definition to be represented by a plurality of different graphical, non-procedural representation formats 失效
    程序开发系统允许规范定义由多个不同的图形,非程序化表示格式表示

    公开(公告)号:US5603018A

    公开(公告)日:1997-02-11

    申请号:US219866

    申请日:1994-03-30

    IPC分类号: G06F9/44 G06F9/45

    CPC分类号: G06F8/34 Y10S707/99931

    摘要: A program developing system includes a plurality of graphic editors representing specification definition information a user inputs in representation formats different from each other and a mutual conversion unit for converting specification definition which the user described with a graphic editor into a representation format of another graphic editor. The mutual conversion unit activates another graphic editor to allow input of specification definition by the converted representation format. The graphic editors can hierarchically represent specifications and allows specification description at an arbitrary level. The program developing system includes a parts management unit for registering description of semantically completed specification definition as parts and an execution unit for extracting executable program structure from the specification definition information represented by graphic editors and producing an executable program The executable program reserves the hierarchical structure in the specification description by the user. The execution unit executes a program at an arbitrary level and shows the execution results to the user. By execution and verification of the program at an arbitrary level, the user can know whether a program satisfying the specification is produced or not at a sub program level, which improves the program developing efficiency.

    摘要翻译: 程序开发系统包括表示用户以彼此不同的表示格式输入的规格定义信息的多个图形编辑器,以及用于将用图形编辑器描述的用户的规格定义转换为另一图形编辑器的表示格式的相互转换单元。 相互转换单元激活另一个图形编辑器,以允许通过转换的表示格式输入规范定义。 图形编辑器可以分级地表示规范,并允许任意级别的规范描述。 程序开发系统包括用于将语义完成的规范定义的描述注册为部件的部件管理单元和用于从由图形编辑器表示的规范定义信息中提取可执行程序结构的执行单元,并且生成可执行程序。可执行程序将 用户说明说明。 执行单元执行任意级别的程序,并向用户显示执行结果。 通过程序在任意级别的执行和验证,用户可以知道在子程序级别是否产生满足规范的程序,这提高了程序开发效率。