JPH1031586A - Program generation device - Google Patents
Program generation deviceInfo
- Publication number
- JPH1031586A JPH1031586A JP8184517A JP18451796A JPH1031586A JP H1031586 A JPH1031586 A JP H1031586A JP 8184517 A JP8184517 A JP 8184517A JP 18451796 A JP18451796 A JP 18451796A JP H1031586 A JPH1031586 A JP H1031586A
- Authority
- JP
- Japan
- Prior art keywords
- specification description
- program
- library
- description
- business
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 230000006870 function Effects 0.000 claims abstract description 42
- 238000012545 processing Methods 0.000 claims abstract description 19
- 238000000034 method Methods 0.000 description 4
- 235000003197 Byrsonima crassifolia Nutrition 0.000 description 1
- 240000001546 Byrsonima crassifolia Species 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 238000010586 diagram Methods 0.000 description 1
- 238000012423 maintenance Methods 0.000 description 1
Landscapes
- Stored Programmes (AREA)
Abstract
Description
【０００１】[0001]
【発明の属する技術分野】本発明は、プログラム生成装
置に関し、特に、事務処理分野で既に設計されているソ
フトウェア仕様を効率的に再利用することができるプロ
グラム生成装置に関する。BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a program generation device, and more particularly, to a program generation device capable of efficiently reusing software specifications already designed in the business processing field.
【０００２】[0002]
【従来の技術】プログラム生成装置とは、既存のプログ
ラムを、スケルトンと呼ばれる制御構造を記述した部分
とプログラム部品と呼ばれる断片的な処理を記述した部
分とに分解して格納しておき、特定のプログラムを生成
する際に、必要なスケルトンとプログラム部品を検索し
て、検索したスケルトン及びプログラム部品とを合成し
てプログラムを生成する装置である。2. Description of the Related Art A program generating apparatus disassembles and stores an existing program into a portion describing a control structure called a skeleton and a portion describing fragmentary processing called a program component. When a program is generated, a required skeleton and program parts are searched, and the searched skeleton and program parts are combined to generate a program.
【０００３】従来、この種のプログラム生成装置として
は、以下に示す２つの手段のいずれかを備えるものがあ
った。Conventionally, as this type of program generation apparatus, there has been one provided with one of the following two means.
【０００４】一方は、形式的仕様記述言語で記述された
仕様記述を再利用する手段である。ここで、形式的仕様
記述言語とは、ソフトウェアの実装によらず、その仕様
のみを形式的に記述するための言語である。[0004] One is means for reusing a specification description described in a formal specification description language. Here, the formal specification description language is a language for formally describing only the specification without depending on software implementation.
【０００５】もう一方は、プログラム生成装置で使用さ
れるプログラム仕様書を再利用する手段であり、この種
の手段を備えているプログラム生成装置の一例として
は、特開平５−１３４８５６号に開示されているものが
挙げられる。The other is a means for reusing a program specification used in a program generating apparatus. An example of a program generating apparatus having this kind of means is disclosed in Japanese Patent Application Laid-Open No. 5-134856. Are included.
【０００６】[0006]
【発明が解決しようとする課題】しかしながら、上述し
た２つのタイプのプログラム生成装置のいずれも、以下
に示す様に、ソフトウェア仕様を効率的に再利用するこ
とが出来ないという問題を有していた。However, neither of the above two types of program generators has a problem that the software specifications cannot be efficiently reused as described below. .
【０００７】即ち、形式的仕様記述言語で記述された仕
様記述を再利用する手段を備えたプログラム生成装置に
おいては、従来の形式的仕様記述言語が汎用的なもので
あり、特定の領域に対する語彙及び概念を持たないもの
であったことから、ソフトウェア仕様を再利用するため
に形式的仕様記述言語を効率良く利用することが出来な
いといった問題を有していた。That is, in a program generation device having means for reusing a specification description described in a formal specification description language, a conventional formal specification description language is a general-purpose language, and a vocabulary for a specific area is used. In addition, since the software specification does not have a concept, the formal specification description language cannot be used efficiently in order to reuse the software specification.
【０００８】一方、プログラム仕様書を再利用する手段
を備えたプログラム生成装置においては、予め作成され
たプログラム部品の再利用を目的としていたことから、
プログラムを作成する環境、若しくは作成されたプログ
ラムが実行されるであろう環境が変わってしまうと、業
務内容自体が変わっていないにもかかわらず、ソフトウ
ェア仕様を再利用することが出来ないといった問題を有
していた。On the other hand, in a program generation device provided with means for reusing a program specification, since a program component created in advance is reused,
If the environment in which the program is created or the environment in which the created program will be executed changes, the problem that the software specifications cannot be reused despite the fact that the business content itself has not changed. Had.
【０００９】本発明の目的は、上述した問題を解決して
ソフトウェア開発の生産性及び品質を向上させるため
に、一度設計された特定の業務領域のソフトウェア仕様
である業務仕様を実行可能な形態で再利用することがで
きるプログラム生成装置を提供することにある。An object of the present invention is to solve the above-described problems and improve the productivity and quality of software development in a form capable of executing a business specification which is a software specification of a specific business area once designed. An object of the present invention is to provide a program generation device that can be reused.
【００１０】[0010]
【課題を解決するための手段】本発明は、業務仕様を、
所定の業務領域（例えば、販売管理業務や経理業務など
の領域）について総合的な分析を行うことによって得ら
れる共通業務仕様と、該共通業務仕様と特定のユーザの
業務とを比較することによって得られる固有業務仕様と
に分類可能なことを見出だし、このような観点から以下
に示す手段を提供するものである。The present invention provides a business specification,
A common business specification obtained by performing a comprehensive analysis on a predetermined business area (for example, an area such as a sales management business or an accounting business) is obtained by comparing the common business specification with the business of a specific user. It finds that it can be classified into a specific business specification, and provides the following means from such a viewpoint.
【００１１】本発明によれば、所定の業務領域の業務内
容を形式的仕様記述言語で記述してなる仕様記述であっ
て、前記所定の業務領域の業務内容を総合的に分析して
得られる仕様記述である共通仕様記述と、前記所定の業
務領域内の特定の業務内容を分析して更に該特定の業務
内容の業務仕様と前記共通仕様記述とを比較して得られ
る仕様記述である固有仕様記述とを格納するための仕様
ライブラリと、前記仕様ライブラリに対して、実行可能
なプログラムを生成するために必要な前記共通仕様記述
及び固有仕様記述を指定するための入力手段と、前記所
定の業務領域において使用される用語の定義である用語
定義を格納するための用語辞書部と、プログラムを生成
するための機能部品の雛形である機能メンバを格納する
ための機能ライブラリと、前記入力手段から指定された
前記共通仕様記述及び固有仕様記述、並びに前記用語辞
書部に格納されている前記用語定義を参照して、前記機
能ライブラリに格納されている機能メンバから前記実行
可能なプログラムを生成する形式的仕様記述言語処理部
と、該形式的仕様記述言語処理部の生成したプログラム
を格納するためのプログラムライブラリとを備えている
ことを特徴とするプログラム生成装置が得られる。According to the present invention, there is provided a specification description in which the business contents of a predetermined business area are described in a formal specification description language, which is obtained by comprehensively analyzing the business contents of the predetermined business area. A common specification description, which is a specification description, and a unique description, which is a specification description obtained by analyzing a specific business content in the predetermined business area and further comparing the business specification of the specific business content with the common specification description. A specification library for storing a specification description, input means for designating the common specification description and the unique specification description required to generate an executable program for the specification library, and A term dictionary for storing term definitions, which are definitions of terms used in the business domain, and a function library for storing function members, which are templates of functional components for generating programs And referring to the common specification description and the unique specification description specified by the input means, and the term definition stored in the term dictionary unit, and executing the execution from the function member stored in the function library. A program generating apparatus is provided, comprising: a formal specification description language processing unit for generating a possible program; and a program library for storing the program generated by the formal specification description language processing unit. .
【００１２】また、本発明によれば前記プログラム生成
装置において、前記仕様ライブラリは、前記共通仕様記
述と、前記固有仕様記述とを区別して管理することが出
来ることを特徴とするプログラム生成装置が得られる。According to the present invention, in the program generation device, the specification library can manage the common specification description and the unique specification description separately from each other. Can be
【００１３】更に、本発明によれば、前記いずれかのプ
ログラム生成装置において、前記入力手段は、前記固有
仕様記述を入力することができるものであり、前記仕様
ライブラリは、前記共通仕様記述を予め格納していると
共に、前記入力手段から入力される前記固有仕様記述を
格納することを特徴とするプログラム生成装置が得られ
る。Further, according to the present invention, in any one of the above-mentioned program generating apparatuses, the input means can input the unique specification description, and the specification library stores the common specification description in advance. A program generating apparatus is provided which stores the unique specification description inputted from the input means while storing the program.
【００１４】[0014]
【発明の実施の形態】以下に、本発明の実施の形態のプ
ログラム生成装置について図面を参照して説明する。DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS A program generating apparatus according to an embodiment of the present invention will be described below with reference to the drawings.
【００１５】本実施の形態のプログラム生成装置は、図
１に示される様に、入力装置１と、仕様ライブラリ２
と、用語辞書部３と、機能ライブラリ４と、形式的仕様
記述言語処理部５と、プログラムライブラリ６とを備え
るものである。As shown in FIG. 1, a program generating device according to the present embodiment includes an input device 1 and a specification library 2.
, A term dictionary unit 3, a function library 4, a formal specification description language processing unit 5, and a program library 6.
【００１６】更に詳しくは、仕様ライブラリ２は、所定
の業務領域（例えば、販売管理業務や経理業務などの領
域）の業務内容を形式的仕様記述言語で記述してなる仕
様記述２１を格納するためのものであり、該仕様記述２
１を所定の業務領域について総合的な分析を行うことに
よって得られる共通業務仕様と、該共通業務仕様と特定
のユーザの業務とを比較することによって得られる固有
業務仕様とに分類して管理することができるものであ
る。More specifically, the specification library 2 stores a specification description 21 in which business contents of a predetermined business area (for example, an area for sales management business and accounting business) are described in a formal specification description language. And the specification description 2
1 are classified and managed as a common business specification obtained by performing a comprehensive analysis on a predetermined business area and a unique business specification obtained by comparing the common business specification with the business of a specific user. Is what you can do.
【００１７】用語辞書部３は、所定の業務領域において
使用される用語の定義である用語定義３１を格納するた
めのものである。The term dictionary section 3 stores term definitions 31 which are definitions of terms used in a predetermined business area.
【００１８】機能ライブラリ４は、プログラムを生成す
るための機能部品の雛形である機能メンバ４１を格納す
るためのものである。尚、各機能メンバ４１は、各共通
仕様記述に含まれる機能型と対応している。The function library 4 is for storing a function member 41 which is a model of a functional component for generating a program. Each function member 41 corresponds to a function type included in each common specification description.
【００１９】形式的仕様記述言語処理部５は、仕様ライ
ブラリ２に格納されている共通仕様記述及び固有仕様記
述、並びに用語辞書部３に格納されている用語定義３１
を参照して、機能ライブラリ４に格納されている機能メ
ンバ４１から実行可能なプログラムを生成するものであ
る。The formal specification description language processing unit 5 includes a common specification description and a unique specification description stored in the specification library 2 and a term definition 31 stored in the term dictionary unit 3.
, An executable program is generated from the function members 41 stored in the function library 4.
【００２０】プログラムライブラリ６は、形式的仕様記
述言語処理部５の生成したプログラム６１を格納するた
めのものである。The program library 6 is for storing the program 61 generated by the formal specification description language processing unit 5.
【００２１】ここで、本実施の形態のプログラム生成装
置においては、所定の業務領域で使用する機能を抽象化
した語彙を形式的仕様記述言語に機能型として定義して
おき、更に、該機能型を含むようにして作成された共通
仕様記述を仕様ライブラリ２に格納しておくと共に、共
通仕様記述に含まれる機能型の機能を実装したプログラ
ムの雛形を機能ライブラリ４に機能メンバ４１として格
納しておくこととする。このような構成を備えたプログ
ラム生成装置は、仕様記述２１の中のあるデータ項目の
集合（以下、概念ファイルと呼ぶ。）に対して、機能型
の名前を宣言するだけで、実行可能なプログラム６１を
生成することが可能である。Here, in the program generation device of the present embodiment, a vocabulary abstracting a function used in a predetermined business domain is defined as a function type in a formal specification description language, and the function type is further defined. Is stored in the specification library 2 and a template of a program that implements the function type function included in the common specification description is stored as the function member 41 in the function library 4. And A program generation device having such a configuration can execute an executable program only by declaring a function type name for a certain data item set (hereinafter, referred to as a concept file) in the specification description 21. 61 can be generated.
【００２２】以下に、本実施の形態のプログラム生成装
置の動作について、図２を用いて説明する。尚、図２
は、固有仕様記述を入力後において、該固有仕様記述に
従い、共通仕様記述に対応する機能メンバ４１を変換し
て実行可能なプログラムを生成する処理を示すものであ
る。The operation of the program generating device according to the present embodiment will be described below with reference to FIG. FIG.
Shows a process of, after inputting the unique specification description, converting the functional member 41 corresponding to the common specification description and generating an executable program according to the unique specification description.
【００２３】まず、仕様ライブラリ２１に格納されてい
る仕様記述２１の中から目的とする業務に関する共通仕
様記述及び固有仕様記述を形式的仕様記述言語処理部５
に入力すると共に、用語辞書部３から目的とする業務に
関する用語定義３１を形式的仕様記述言語処理部５に入
力する（ステップＳ１０１）。次に、形式的仕様記述言
語処理部５は、共通仕様記述に宣言された機能型に対応
する機能メンバ４１を機能ライブラリ４の中から検索す
る（ステップＳ１０２）。次に、形式的仕様記述言語処
理部５は、機能メンバを固有仕様記述に宣言されたデー
タ型及び／又は制約条件に適応する様に書き替えを行っ
て（ステップＳ１０３）、実行可能形式に変換する（ス
テップＳ１０４）。このようにして生成された全てのプ
ログラム６１は、プログラムライブラリ６に格納される
（ステップＳ１０５）。First, from the specification description 21 stored in the specification library 21, a common specification description and a unique specification description relating to a target business are converted into a formal specification description language processing unit 5.
In addition, the term definition 31 relating to the target task is input from the term dictionary unit 3 to the formal specification description language processing unit 5 (step S101). Next, the formal specification description language processing unit 5 searches the function library 4 for a function member 41 corresponding to the function type declared in the common specification description (step S102). Next, the formal specification description language processing unit 5 rewrites the function member so as to adapt to the data type and / or the constraint condition declared in the specific specification description (step S103), and converts the function member into an executable format. (Step S104). All the programs 61 generated in this way are stored in the program library 6 (Step S105).
【００２４】[0024]
【実施例】次に、本発明の理解を更に深めるために、一
例として販売管理業務における実施例について図面を参
照して説明する。Next, in order to further understand the present invention, an embodiment in a sales management business will be described with reference to the drawings as an example.
【００２５】事務処理分野に特化した形式的仕様記述言
語で記述された共通仕様記述の記述例を図３に示す。図
３において、オブジェクト定義３０１は、概念ファイル
のクラスを宣言しているものである。また、データ記述
３０２は、データ項目の定義とデータ項目に対する制約
条件を定義しているものである。また、操作記述３０３
は、この概念ファイルへの可能な操作を定義しているも
のである。FIG. 3 shows a description example of a common specification description described in a formal specification description language specialized in the business processing field. In FIG. 3, an object definition 301 declares a class of a concept file. The data description 302 defines data items and defines constraints on the data items. Also, the operation description 303
Defines the possible operations on this concept file.
【００２６】操作記述３０３に記述された機能型Mainte
nance に対応した機能メンバ４１例の一部を図４に示
す。機能メンバ４１は、プログラムスケルトンの一種で
あり、中に書き替えキーワード４０１（&key）を含むも
のである。ここで、個々の書き替えキーワードは、形式
的仕様記述言語処理部５により、仕様記述２１の各記述
に対応付けられている。例えば、ここでの書き替えキー
ワード４０１の例は、主キーに対するものであり、デー
タ記述３０２に記述されている[key] という語句のつい
たデータ項目と対応付けられる。これにより、前述の通
り、仕様記述２１の中の操作記述３０３で概念ファイル
に対して、機能型の名前（本実施例においては、Mainte
nance ）を宣言するだけで、実行可能なプログラム６１
を生成することが可能である。The function type Mainte described in the operation description 303
FIG. 4 shows a part of 41 functional members corresponding to nance. The function member 41 is a kind of a program skeleton, and includes a rewriting keyword 401 (& key) therein. Here, each rewriting keyword is associated with each description of the specification description 21 by the formal specification description language processing unit 5. For example, the example of the rewriting keyword 401 here is for the primary key, and is associated with the data item with the phrase [key] described in the data description 302. As a result, as described above, the function type name (in the present embodiment, Mainte
nance), the executable program 61
Can be generated.
【００２７】次に、本実施例の動作について、図面を参
照して説明する。ここで、図５は、前述の図２に示され
る処理の前段階の処理について示したものである。Next, the operation of this embodiment will be described with reference to the drawings. Here, FIG. 5 shows a process at a stage prior to the process shown in FIG. 2 described above.
【００２８】まず、所定の領域（本実施例においては、
販売管理業務）を総合的が分析されて（ステップＳ２０
１）、販売管理業務領域の一般的な業務仕様である共通
仕様記述が作成される（ステップＳ２０２）。また、販
売管理業務領域の用語定義３１も作成される（ステップ
Ｓ２０３）。これらは、以下に述べる固有仕様記述を作
成するにあたって、予め作成されているものであり、共
通仕様記述は仕様ライブラリ２に、用語定義３１は用語
辞書部３に、夫々、格納されている。First, a predetermined area (in this embodiment,
The sales management business is comprehensively analyzed (step S20).
1) A common specification description, which is a general business specification of the sales management business area, is created (step S202). Further, a term definition 31 of the sales management business area is also created (step S203). These are created in advance when creating the unique specification description described below. The common specification description is stored in the specification library 2, and the term definition 31 is stored in the term dictionary unit 3.
【００２９】このような状態において、特定の業務領域
を分析することによって得られる固有仕様記述を作成す
る処理を引き続き説明する。In such a state, a process of creating a unique specification description obtained by analyzing a specific business area will be described continuously.
【００３０】次に、特定のユーザの業務を分析して（ス
テップＳ２０４）、該特定の業務内容の業務仕様と前述
の共通仕様記述とを比較して固有仕様記述を作成する
（ステップＳ２０５）。また、ユーザの計算機などの環
境により、適切な機能ライブラリ４を選択しておく（ス
テップＳ２０６）。Next, the job of the specific user is analyzed (step S204), and the job specification of the specific job content is compared with the common specification description to create a unique specification description (step S205). Further, an appropriate function library 4 is selected according to the environment of the user's computer or the like (step S206).
【００３１】ここで、得られた共通仕様記述の例（図３
参照）と固有仕様記述の例（図６参照）とを比較して、
違い等を説明する。Here, an example of the obtained common specification description (FIG. 3)
) And an example of the specific specification description (see FIG. 6),
The differences will be described.
【００３２】固有仕様記述のオブジェクト定義６０１
は、共通仕様記述のオブジェクト定義３０１を参照して
いることを示しているものである。また、固有仕様記述
の例において、データ記述は記述されていない。これ
は、特定業務の業務仕様においてデータ記述となるもの
と、共通仕様記述のデータ記述３０２との差がないこと
を示している。また、操作記述６０２に記述された２つ
の操作は、共通仕様記述の操作記述３０３に記述された
顧客台帳出力の機能に対応するものであり、住所が東京
都である顧客と、住所が東京都以外の道府県の顧客とに
分けて台帳出力する様に変更されている。このように、
本発明においては、予め作成されている共通仕様記述に
対して、個別のユーザの要求を共通仕様記述との差分で
ある固有仕様記述として作成することにより、システム
全体の業務仕様を充足することが出来る。Object definition 601 of unique specification description
Indicates that the object definition 301 of the common specification description is referred to. In the example of the unique specification description, no data description is described. This indicates that there is no difference between the data description in the business specification of the specific business and the data description 302 of the common specification description. The two operations described in the operation description 602 correspond to the function of customer ledger output described in the operation description 303 of the common specification description, and include a customer whose address is Tokyo and an address whose address is Tokyo. It has been changed to output ledgers separately for customers in other prefectures. in this way,
In the present invention, it is possible to satisfy the business specifications of the entire system by creating individual user requests as unique specification descriptions, which are differences from the common specification descriptions, with respect to the previously created common specification descriptions. I can do it.
【００３３】このようにして得られた共通仕様記述、固
有仕様記述、用語定義を用いて、前述の様に、機能ライ
ブラリに格納されている機能メンバから実行可能なプロ
グラムを生成する。Using the common specification description, unique specification description, and term definition thus obtained, an executable program is generated from the function members stored in the function library as described above.
【００３４】[0034]
【発明の効果】以上説明してきた様に、本発明によれ
ば、作成されたソフトウェア仕様である仕様記述をユー
ザの計算機環境によらず実行可能なプログラムに変換す
ることができるため、プログラムを開発する開発者が業
務仕様の設計に注力することができ、ソフトウェア開発
の生産性及び品質を向上することができる。As described above, according to the present invention, it is possible to convert a specification description, which is a created software specification, into an executable program regardless of the user's computer environment. Developers can focus on the design of business specifications, and can improve the productivity and quality of software development.
【図１】本発明の実施の形態のプログラム生成装置の構
成を示す機能ブロック図である。FIG. 1 is a functional block diagram illustrating a configuration of a program generation device according to an embodiment of the present invention.
【図２】本発明の実施の形態において固有仕様記述を作
成後の基本動作を示す流れ図である。FIG. 2 is a flowchart showing a basic operation after creating a unique specification description in the embodiment of the present invention.
【図３】本発明の実施例における共通仕様記述の例であ
る。FIG. 3 is an example of a common specification description in the embodiment of the present invention.
【図４】本発明の実施例における機能メンバの一部を示
す例である。FIG. 4 is an example showing a part of the function members in the embodiment of the present invention.
【図５】本発明の実施例において固有仕様記述を作成す
るまでの動作を示す流れ図である。FIG. 5 is a flowchart showing an operation up to creation of a unique specification description in the embodiment of the present invention.
【図６】本発明の実施例における固有仕様記述の例であ
る。FIG. 6 is an example of a unique specification description in the embodiment of the present invention.
１ 入力装置 ２ 仕様ライブラリ ２１ 仕様記述 ３ 用語辞書部 ３１ 用語定義 ４ 機能ライブラリ ４１ 機能メンバ ５ 形式的仕様記述言語処理部 ６ プログラムライブラリ ６１ プログラム DESCRIPTION OF SYMBOLS 1 Input device 2 Specification library 21 Specification description 3 Term dictionary part 31 Term definition 4 Function library 41 Function member 5 Formal specification description language processing part 6 Program library 61 Program
Claims (3)
記述言語で記述してなる仕様記述であって、前記所定の
業務領域の業務内容を総合的に分析して得られる仕様記
述である共通仕様記述と、前記所定の業務領域内の特定
の業務内容を分析して更に該特定の業務内容の業務仕様
と前記共通仕様記述とを比較して得られる仕様記述であ
る固有仕様記述とを格納するための仕様ライブラリと、 前記仕様ライブラリに対して、実行可能なプログラムを
生成するために必要な前記共通仕様記述及び固有仕様記
述を指定するための入力手段と、 前記所定の業務領域において使用される用語の定義であ
る用語定義を格納するための用語辞書部と、 プログラムを生成するための機能部品の雛形である機能
メンバを格納するための機能ライブラリと、 前記入力手段から指定された前記共通仕様記述及び固有
仕様記述、並びに前記用語辞書部に格納されている前記
用語定義を参照して、前記機能ライブラリに格納されて
いる機能メンバから前記実行可能なプログラムを生成す
る形式的仕様記述言語処理部と、 該形式的仕様記述言語処理部の生成したプログラムを格
納するためのプログラムライブラリとを備えていること
を特徴とするプログラム生成装置。1. A specification description in which business contents of a predetermined business area are described in a formal specification description language, wherein the specification description is obtained by comprehensively analyzing the business contents of the predetermined business area. A common specification description and a unique specification description, which is a specification description obtained by analyzing a specific business content in the predetermined business area and further comparing the business specification of the specific business content with the common specification description. A specification library to be stored; input means for designating the common specification description and the unique specification description required to generate an executable program for the specification library; and use in the predetermined business area A term dictionary unit for storing a term definition that is a definition of a term to be created, a function library for storing a function member that is a model of a functional component for generating a program, With reference to the common specification description and the unique specification description specified by the input unit, and the term definition stored in the term dictionary unit, the executable program is executed from the function members stored in the function library. A program generation device comprising: a formal specification description language processing unit to generate; and a program library for storing a program generated by the formal specification description language processing unit.
おいて、 前記仕様ライブラリは、前記共通仕様記述と、前記固有
仕様記述とを区別して管理することが出来ることを特徴
とするプログラム生成装置。2. The program generation device according to claim 1, wherein the specification library can manage the common specification description and the unique specification description separately.
グラム生成装置において、 前記入力手段は、前記固有仕様記述を入力することがで
きるものであり、 前記仕様ライブラリは、前記共通仕様記述を予め格納し
ていると共に、前記入力手段から入力される前記固有仕
様記述を格納することを特徴とするプログラム生成装
置。3. The program generating device according to claim 1, wherein said input means is capable of inputting said unique specification description, and said specification library stores said common specification description. A program generation device which stores the unique specification description input from the input means while storing the program in advance.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP8184517A JPH1031586A (en) | 1996-07-15 | 1996-07-15 | Program generation device |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP8184517A JPH1031586A (en) | 1996-07-15 | 1996-07-15 | Program generation device |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH1031586A true JPH1031586A (en) | 1998-02-03 |
Family
ID=16154590
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP8184517A Pending JPH1031586A (en) | 1996-07-15 | 1996-07-15 | Program generation device |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH1031586A (en) |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2008117095A (en) * | 2006-11-02 | 2008-05-22 | Hitachi Ltd | Software development method |
| JP2012048438A (en) * | 2010-08-26 | 2012-03-08 | Nec Corp | Data processing program automatic generation system |
| JP2014238631A (en) * | 2013-06-06 | 2014-12-18 | 三菱電機株式会社 | Encryption module generation device |
Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH05127878A (en) * | 1991-10-31 | 1993-05-25 | Toshiba Corp | Program design system |
| JPH06250834A (en) * | 1993-02-23 | 1994-09-09 | Fujitsu Ltd | Business-specific handling device |
| JPH07121358A (en) * | 1993-10-26 | 1995-05-12 | Nec Corp | Program customizing device |
| JPH07129382A (en) * | 1993-11-02 | 1995-05-19 | Nri & Ncc Co Ltd | Spiral object-oriented software development support system and software development method |
| JPH086777A (en) * | 1994-06-23 | 1996-01-12 | Hitachi Ltd | System and method for developing information control system |
-
1996
- 1996-07-15 JP JP8184517A patent/JPH1031586A/en active Pending
Patent Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH05127878A (en) * | 1991-10-31 | 1993-05-25 | Toshiba Corp | Program design system |
| JPH06250834A (en) * | 1993-02-23 | 1994-09-09 | Fujitsu Ltd | Business-specific handling device |
| JPH07121358A (en) * | 1993-10-26 | 1995-05-12 | Nec Corp | Program customizing device |
| JPH07129382A (en) * | 1993-11-02 | 1995-05-19 | Nri & Ncc Co Ltd | Spiral object-oriented software development support system and software development method |
| JPH086777A (en) * | 1994-06-23 | 1996-01-12 | Hitachi Ltd | System and method for developing information control system |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2008117095A (en) * | 2006-11-02 | 2008-05-22 | Hitachi Ltd | Software development method |
| JP2012048438A (en) * | 2010-08-26 | 2012-03-08 | Nec Corp | Data processing program automatic generation system |
| JP2014238631A (en) * | 2013-06-06 | 2014-12-18 | 三菱電機株式会社 | Encryption module generation device |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Fleurey et al. | A generic approach for automatic model composition | |
| JP2624753B2 (en) | How to create higher-level specifications | |
| Liu et al. | Automating transition from use-cases to class model | |
| JP3502543B2 (en) | Test case generation system and test case generation method | |
| Grønmo et al. | Comparison of three model transformation languages | |
| Leblebici et al. | Leveraging incremental pattern matching techniques for model synchronisation | |
| Zhang et al. | Automated extraction of grammar optimization rule configurations for metamodel-grammar co-evolution | |
| JP4959784B2 (en) | Generating device, generating method, and generating program | |
| CN114138379A (en) | Task execution method, device, and computer-readable storage medium | |
| JPH11102289A (en) | Screen generation method for business processing | |
| Valderas et al. | From web requirements to navigational design–A transformational approach | |
| Briones et al. | Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata | |
| Jovanovikj et al. | Model-driven test case migration: The test case reengineering horseshoe model | |
| US11789727B2 (en) | Conversion apparatus, conversion method and program | |
| WO2011145363A1 (en) | Software specification proof support device and proof support method | |
| Chénard et al. | Towards the automatic discovery of platform transformation templates of legacy object-oriented systems | |
| US20040172392A1 (en) | Data conversion method and computer system therefor | |
| Herzig et al. | Integrating analytical models with descriptive system models: implementation of the OMG SyML standard for the tool-specific case of MapleSim and MagicDraw | |
| JP4678770B2 (en) | Sequence diagram creation method and apparatus | |
| US20250315284A1 (en) | Target content generation method and system thereof | |
| US20250348297A1 (en) | Static dataflow analysis for build pipelines | |
| Sánchez et al. | Abeto framework: a Solution for Heterogeneous IP Management | |
| JPH08314706A (en) | Software development support system | |
| JP2009251927A (en) | Program development support system | |
| JP5013506B2 (en) | Application program execution method, apparatus and program |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 19991110 |