JP3041013B2 - Software component usage rule generation method - Google Patents
Software component usage rule generation methodInfo
- Publication number
- JP3041013B2 JP3041013B2 JP8320690A JP8320690A JP3041013B2 JP 3041013 B2 JP3041013 B2 JP 3041013B2 JP 8320690 A JP8320690 A JP 8320690A JP 8320690 A JP8320690 A JP 8320690A JP 3041013 B2 JP3041013 B2 JP 3041013B2
- Authority
- JP
- Japan
- Prior art keywords
- component
- software
- software component
- components
- package
- 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.)
- Expired - Fee Related
Links
Description
【発明の詳細な説明】 ［発明の目的］ （産業上の利用分野） 本発明は、ソフトウェア部品を結合して作成されたプ
ログラムの検証に用いられる部品利用ルールを生成する
方法に関する。DETAILED DESCRIPTION OF THE INVENTION [Object of the Invention] (Industrial application field) The present invention relates to a method of generating a component use rule used for verifying a program created by combining software components.
（従来の技術） 従来、部品合成によって作成されたプログラムの検証
は、次のような方法を用いて行われていた。(Prior Art) Conventionally, a program created by component synthesis has been verified using the following method.
部品合成によるプログラムの作成後、テスト仕様書
に基づき、部品合成によらない通常の方法で作成された
プログラムの場合と同等に検証を行う。After creating a program by component synthesis, verification is performed based on a test specification in the same manner as a program created by a normal method without component synthesis.
部品合成によるプログラムの作成後、部品利用に関
する制約条件を満足しているかどうかのチェックを行
う。After creating a program by component synthesis, it is checked whether or not the constraint condition regarding component use is satisfied.
予め各部品間の制約条件を定義しておき、部品利用
の際にこの部品が制約条件を満足しているかをチェック
する。A constraint between components is defined in advance, and it is checked whether the component satisfies the constraint when the component is used.
ところが、上述した各方法ではそれぞれ次のような問
題があった。However, each of the above-described methods has the following problems.
の方法は、部品合成によってプログラムを作成した
のに、テストにその利点が生かされていない。つまり、
部品についてはその信頼性が保証されているにも拘ら
ず、部品合成によらないプログラムの場合と同等のテス
ト仕様書を作成しなければならないという無駄がある。In the method of the above, although the program was created by component synthesis, the advantage is not utilized in the test. That is,
Although the reliability of parts is guaranteed, there is a waste that a test specification equivalent to that of a program not based on parts synthesis must be created.
の方法は、部品は品質を保証されているからその組
合せ方だけをチェックすればよいという部品合成の利点
を生かしたテスト方法であるが、多くの部品間の関係を
形式的に全て記述することは困難であるため、テストの
自動化を実現することが難しい。Is a test method that makes use of the advantage of component synthesis that only the combination of components has to be checked because the quality is guaranteed.However, all relationships between many components should be described formally. Is difficult, so it is difficult to realize test automation.
の方法は、チェックしながら部品合成を進めるため
信頼性の高いプログラムを作成できる利点があるが、
の方法と同様、テストの自動化が難しい。Method has the advantage that a reliable program can be created because the parts are synthesized while checking.
It is difficult to automate the test as in the above method.
（発明が解決しようとする課題） このように、従来、部品合成によって作成されたプロ
グラムの検証においては、全ての部品間の利用に関する
制約を形式的に記述することが困難であるため、その自
動化を実現することが難しかった。(Problems to be Solved by the Invention) As described above, in the verification of a program created by the conventional component synthesis, it is difficult to formally describe the restrictions on the use between all the components. It was difficult to realize.
本発明はこのような課題を解決するためのもので、プ
ログラム検証作業の自動化に寄与することのできるソフ
トウェア部品利用ルール生成方法の提供を目的としてい
る。An object of the present invention is to solve such a problem, and an object of the present invention is to provide a software component use rule generation method that can contribute to automation of a program verification operation.
［発明の構成］ （課題を解決するための手段） 本発明のソフトウェア部品利用ルール生成方法は上記
目的を達成するために、ソフトウェア部品をそれぞれ集
めてパッケージ化したソフトウェア部品パッケージに関
し、各該パッケージ内のソフトウェア部品を利用するに
は各該パッケージ毎に特定のソフトウェア部品を用いな
ければならないとするソフトウェア部品間の利用に関す
る制約が記述されたソフトウェア部品利用制約記述文お
よび該パッケージ間で予め定義された親子関係を用い、
前記ソフトウェア部品利用制約記述文から、作成された
プログラムで実際に利用されたソフトウェア部品につい
ての記述の部分を抽出し、抽出された記述の部分を前記
親子関係に基づき融合して前記作成されたプログラムで
実際に利用されたソフトウェア部品間の利用に関する制
約を記述した記述文を生成することを特徴とする。[Configuration of the Invention] (Means for Solving the Problems) A software component usage rule generation method according to the present invention relates to a software component package in which software components are collected and packaged to achieve the above object. A software component use constraint statement that describes restrictions on use between software components, and that a predefined software component is used for each package in order to use a specific software component for each package in order to use this software component. Using parent-child relationships,
From the software component use constraint description, extract the description part of the software component actually used in the created program, and merge the extracted description part based on the parent-child relationship. Is characterized by generating a description sentence describing a restriction on use between software components actually used.
（作用） 本発明のソフトウェア部品利用ルール生成方法では、
ソフトウェア部品をそれぞれ集めてパッケージ化したソ
フトウェア部品パッケージに関し、各該パッケージ内の
ソフトウェア部品を利用するには各該パッケージ毎に特
定のソフトウェア部品を用いなければならないとするソ
フトウェア部品間の利用に関する制約が記述されたソフ
トウェア部品利用制約記述文および該パッケージ間で予
め定義された親子関係を用い、前記ソフトウェア部品利
用制約記述文から、作成されたプログラムで実際に利用
されたソフトウェア部品についての記述の部分を抽出
し、抽出された記述の部分を前記親子関係に基づき融合
して前記作成されたプログラムで実際に利用されたソフ
トウェア部品間の利用に関する制約を記述した記述文を
生成する。(Operation) In the software component use rule generation method of the present invention,
Regarding a software component package in which software components are collected and packaged, a specific software component must be used for each package in order to use the software components in each package. Using the described software component use constraint description and the parent-child relationship defined in advance between the packages, a description portion of the software component actually used in the created program is extracted from the software component use constraint description. The extracted description part is merged based on the parent-child relationship to generate a description sentence describing a restriction on use between software components actually used in the created program.
したがって、この発明によれば、プログラムの作成で
利用したソフトウェア部品間の利用に関する制約記述文
を形式的な言語を用いて自動的に作成することができ、
この結果、プログラム検証作業の自動化を図ることがで
きる。Therefore, according to the present invention, it is possible to automatically create a constraint description regarding use between software components used in creating a program using a formal language,
As a result, the program verification operation can be automated.
（実施例） 以下、本発明の実施例を図面に基づいて説明する。(Example) Hereinafter, an example of the present invention will be described with reference to the drawings.
第１図は本発明方法を適用した一実施例のソフトウェ
ア部品利用ルール生成装置の構成を説明するためのブロ
ック図である。FIG. 1 is a block diagram for explaining the configuration of a software component use rule generation device according to an embodiment to which the method of the present invention is applied.
同図において、１はある分野（アプリケーションプロ
グラム）で取り扱う対象毎にこの対象を定義するデータ
を操作するソフトウェア部品（以下、単に「部品」と称
す）をそれぞれ集めてパッケージ化する部品パッケージ
化部である。In FIG. 1, reference numeral 1 denotes a component packaging unit that collects and packages software components (hereinafter, simply referred to as “components”) for operating data defining the target for each target handled in a certain field (application program). is there.
２は部品パッケージ化部１により生成された各部品パ
ッケージ内の各部品間の利用に関する制約を形式的な言
語を用いて記述する部品間利用制約記述部である。Reference numeral 2 denotes an inter-component use constraint description unit that describes, using a formal language, a constraint on use between components in each component package generated by the component packaging unit 1.
３は部品パッケージ化部１により生成された各部品パ
ッケージ間の関係、例えば親子（is−ａ）関係等を定義
するパッケージ間関係定義部である。但しここでは対象
の関係がそのまま部品パッケージ間の関係となる。Reference numeral 3 denotes an inter-package relationship definition unit that defines a relationship between component packages generated by the component packaging unit 1, for example, a parent-child (is-a) relationship. However, in this case, the target relationship is the relationship between component packages as it is.
４は部品間利用制約記述部２により記述された各部品
パッケージ内の部品間の利用に関する制約記述文から、
プログラム作成で実際に利用したソフトウェア部品につ
いての記述部分を抽出し、これらの記述部分をパッケー
ジ間関係定義部３により定義された各部品パッケージ間
の関係に基づき融合して、前記のプログラム作成で実際
に利用したソフトウェア部品間の利用に関する制約記述
文を作成する部品間利用制約融合部である。Reference numeral 4 denotes a constraint description regarding use between components in each component package described by the component use constraint description unit 2,
The description parts of the software components actually used in the program creation are extracted, and these description parts are merged based on the relation between the component packages defined by the inter-package relation definition unit 3, and the program parts are actually merged. This is an inter-component usage constraint fusion unit that creates a constraint description sentence regarding the use between software components used in (1).
次に以上の構成からなるソフトウェア部品利用ルール
生成装置の動作を第２図を中心にその他第３図乃至第７
図を用いて説明する。Next, the operation of the software component use rule generation device having the above configuration will be described mainly with reference to FIG.
This will be described with reference to the drawings.
まず部品パッケージ化部１において、あるアプリケー
ション分野において取り扱う対象を抽出するとともに、
パッケージ間関係定義部３において各部品パッケージ間
の関係を定義する（ステップａ）。第３図に各パッケー
ジ間の関係の一例（ウインドゥシステムで取り扱う対象
の関係）を示す。First, the parts packaging unit 1 extracts the objects to be handled in a certain application field,
The inter-package relation definition unit 3 defines the relation between the component packages (step a). FIG. 3 shows an example of the relationship between the packages (the relationship of objects handled by the window system).
この後、部品パッケージ化部１は、各対象毎に、これ
を操作する部品を集めて部品パッケージを作成する（ス
テップｂ）。第４図にその対象との一つである「I/Oサ
ブウィンドウ」を操作する部品のパッケージを示す。Thereafter, the component packaging unit 1 collects, for each object, the components that operate the components and creates a component package (step b). FIG. 4 shows a package of components for operating the "I / O subwindow" which is one of the objects.
次に部品間利用制約記述部２は、各パッケージ内での
部品間の利用に関する制約を形式的な言語を用いて記述
し（ステップｃ）、これをデータベースに保存する（ス
テップｄ）。Next, the part use constraint description unit 2 describes a constraint on use between parts in each package using a formal language (step c), and stores this in a database (step d).
第５図および第６図はその例を示している。 5 and 6 show an example thereof.
第５図は「メインウインドゥ」パッケージ内の部品間
の利用に関する制約記述文を示している。これは、 「このパッケージ内の部品を利用するには、始めにメイ
ンウインドォの領域を確保する部品“window-create"を
使わなければならない。」 「このパッケージ内の部品を利用した場合は最後に必ず
メインウインドゥの領域を解放する部品“window-destr
oy"を使わなければならない。」 ということを表している。FIG. 5 shows a constraint description regarding use between components in the “main window” package. This is because "To use the components in this package, you must first use the component" window-create "that secures the main window area.""If you use the components in this package, To always release the main window area “window-destr
oy "must be used."
また第６図は「I/Oサブウインドゥ」パッケージ内の
部品間の利用に関する制約記述文を示している。これ
は、 「このパッケージ内の部品を利用するには、始めにI/O
サブウインドゥをオープンする部品“io-open"を使わな
ければならない。」 「このパッケージ内の部品を使用した場合は最後に必ず
I/Oサブウインドゥをクローズする部品“io-close"を使
わなければならない。」 ということを表している。FIG. 6 shows a constraint description regarding use between components in the “I / O subwindow” package. This is because "To use the components in this package,
You must use the component "io-open" to open the subwindow. "When using the components in this package,
You must use the component "io-close" to close the I / O subwindow. It represents that.
この後、部品間利用制約融合部４は、プログラム作成
者から利用部品のリストを受け取ると、部品間利用制約
記述部２により記述された各パッケージ内の部品間の利
用に関する制約記述文の中から、リストに載った利用部
品についての記述部分を抽出するとともに（ステップ
ｅ）、当該利用部品を含む部品パッケージ間の関係を判
断して（ステップｆ）、その部品パッケージ間の関係に
基づき抽出した制約記述文を融合して（ステップｇ）、
利用部品間の利用に関する制約記述文（部品利用ルー
ル）を作成する（ステップｇ）。After that, upon receiving the list of used components from the program creator, the inter-parts use constraint fusion unit 4 extracts from the constraint description about the use between components in each package described by the inter-parts use constraint description unit 2. Extracting the description part of the used parts on the list (step e), judging the relation between the parts packages including the used parts (step f), and extracting the constraints extracted based on the relation between the part packages. Fusing the description (step g),
A constraint description (component use rule) regarding use between used components is created (step g).
第７図はこの部品間利用制約融合部４により作成され
た制約記述文（部品利用ルール）の例を示している。FIG. 7 shows an example of a constraint description sentence (component use rule) created by the inter-component use constraint fusion unit 4.
これは、 「間に他の部品が入ってもよいが、この順番で使わなけ
ればならない。」 ということを表している。This means, "Other components may be in between, but must be used in this order."
かくしてこの実施例のソフトウェア部品利用ルール生
成装置によれば、プログラムの作成に利用した部品間の
制約記述文を自動的に作成することができ、これをテス
ト仕様書用いることによりプログラムの検証を自動化す
ることが可能となる。Thus, according to the software component use rule generation device of this embodiment, it is possible to automatically create a constraint description between components used for creating a program, and to automate the verification of the program by using the test specification. It is possible to do.
また、本装置を部品合成システムに組み込むことによ
って、検証を行いながら部品合成を進めて行くことも可
能となり、信頼性の高いプログラムを効率良く作成する
ことが可能となる。In addition, by incorporating this apparatus into a component synthesizing system, it is possible to proceed with component synthesis while performing verification, and it is possible to efficiently create a highly reliable program.
［発明の効果］ 以上説明したように本発明のソフトウェア部品利用ル
ール生成方法によれば、プログラムの作成で利用したソ
フトウェア部品間の利用に関する制約記述文を形式的な
言語を用いて自動的に作成することができ、この結果、
プログラム検証作業の自動化を図ることができる。[Effects of the Invention] As described above, according to the software component use rule generation method of the present invention, a constraint description regarding use between software components used in the creation of a program is automatically created using a formal language. This can result in
The program verification work can be automated.
第１図は本発明に係る一実施例のソフトウェア部品利用
ルール生成装置の構成を説明するためのブロック図であ
る。第２図は第１図のソフトウェア部品利用ルール生成
装置の動作説明するためのフローチャート、第３図は各
パッケージ間の関係を示す図、第４図はパッケージの例
を示す図、第５図および第６図はパッケージ内部品間の
利用制約記述文の例を示す図、第７図は第１図のソフト
ウェア部品利用ルール生成装置により生成された部品利
用ルールの例を示す図である。 １……部品パッケージ化部、２……部品間利用制約記述
部、３……パッケージ間関係定義部、４……部品間利用
制約融合部。FIG. 1 is a block diagram for explaining a configuration of a software component use rule generation device according to one embodiment of the present invention. FIG. 2 is a flowchart for explaining the operation of the software component use rule generation device of FIG. 1, FIG. 3 is a diagram showing the relationship between the packages, FIG. 4 is a diagram showing an example of the packages, FIG. FIG. 6 is a diagram showing an example of a usage constraint description sentence between components in a package, and FIG. 7 is a diagram showing an example of a component usage rule generated by the software component usage rule generation device of FIG. 1 ... part packaging part, 2 ... part use restriction description part, 3 ... package relation definition part, 4 ... part use restriction fusion part.
フロントページの続き (56)参考文献 「情報処理学会研究報告」Ｖｏｌ. 89，Ｎｏ．81（1989−９）Ｐ．１−８ 「情報処理学会第40回（平成２年前 期）全国大会講演論文集」（1990−３− 14）Ｐ．1073−1074 (58)調査した分野(Int.Cl.7，ＤＢ名) G06F 9/06 Continuation of the front page (56) References "IPSJ Research Report" Vol. 81 (1989-9) p. 1-8 “Information Processing Society of Japan 40th (early 1990) National Conference Lecture Papers” (1990-3-14) 1073-1074 (58) Field surveyed (Int.Cl. 7 , DB name) G06F 9/06
Claims (1)
ージ化したソフトウェア部品パッケージに関し、各該パ
ッケージ内のソフトウェア部品を利用するには各該パッ
ケージ毎に特定のソフトウェア部品を用いなければなら
ないとするソフトウェア部品間の利用に関する制約が記
述されたソフトウェア部品利用制約記述文および該パッ
ケージ間で予め定義された親子関係を用い、プログラム
で利用された該ソフトウェア部品間の制約記述文を生成
するソフトウェア部品利用ルール生成方法であって、 前記ソフトウェア部品利用制約記述文から、作成された
プログラムで実際に利用されたソフトウェア部品につい
ての記述の部分を抽出し、 抽出された記述の部分を前記親子関係に基づき融合して
前記作成されたプログラムで実際に利用されたソフトウ
ェア部品間の利用に関する制約を記述した記述文を生成
することを特徴とするソフトウェア部品利用ルール生成
方法。1. A software component package in which software components are collected and packaged. In order to use software components in each package, a specific software component must be used for each package. Component usage rule generation method for generating a constraint description between software components used in a program using a software component usage constraint description in which restrictions on use of the software are described and a parent-child relationship defined in advance between the packages Extracting, from the software component use constraint description, a description portion of a software component actually used in the created program, and fusing the extracted description portion based on the parent-child relationship. Actually used in the created program Software component usage rule generation method characterized by generating a descriptive sentence that describes the constraints on the use of between software components.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP8320690A JP3041013B2 (en) | 1990-03-30 | 1990-03-30 | Software component usage rule generation method |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP8320690A JP3041013B2 (en) | 1990-03-30 | 1990-03-30 | Software component usage rule generation method |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH03282733A JPH03282733A (en) | 1991-12-12 |
| JP3041013B2 true JP3041013B2 (en) | 2000-05-15 |
Family
ID=13795852
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP8320690A Expired - Fee Related JP3041013B2 (en) | 1990-03-30 | 1990-03-30 | Software component usage rule generation method |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP3041013B2 (en) |
Families Citing this family (11)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6035343A (en) * | 1993-06-11 | 2000-03-07 | Fujitsu Limited | Method for executing software formed of software components and a system for executing such software |
| JPH08263438A (en) * | 1994-11-23 | 1996-10-11 | Xerox Corp | Distribution and use control system of digital work and access control method to digital work |
| US6963859B2 (en) * | 1994-11-23 | 2005-11-08 | Contentguard Holdings, Inc. | Content rendering repository |
| US7051004B2 (en) * | 1998-04-03 | 2006-05-23 | Macrovision Corporation | System and methods providing secure delivery of licenses and content |
| US7028009B2 (en) * | 2001-01-17 | 2006-04-11 | Contentguardiholdings, Inc. | Method and apparatus for distributing enforceable property rights |
| WO2002057922A1 (en) * | 2001-01-17 | 2002-07-25 | Contentguard Holdings, Inc. | Method and apparatus for managing digital content usage rights |
| US7206765B2 (en) * | 2001-01-17 | 2007-04-17 | Contentguard Holdings, Inc. | System and method for supplying and managing usage rights based on rules |
| US7177843B2 (en) * | 2001-01-17 | 2007-02-13 | Contentguard Holdings, Inc. | Rights expression system |
| US7152046B2 (en) * | 2001-05-31 | 2006-12-19 | Contentguard Holdings, Inc. | Method and apparatus for tracking status of resource in a system for managing use of the resources |
| US7162451B2 (en) * | 2001-11-30 | 2007-01-09 | International Business Machines Corporation | Information content distribution based on privacy and/or personal information |
| US7184985B2 (en) * | 2002-05-30 | 2007-02-27 | Microsoft Corporation | Method, system, and apparatus for providing secure access to a digital work |
-
1990
- 1990-03-30 JP JP8320690A patent/JP3041013B2/en not_active Expired - Fee Related
Non-Patent Citations (2)
| Title |
|---|
| 「情報処理学会研究報告」Ｖｏｌ．８９，Ｎｏ．８１（１９８９−９）Ｐ．１−８ |
| 「情報処理学会第４０回（平成２年前期）全国大会講演論文集」（１９９０−３−１４）Ｐ．１０７３−１０７４ |
Also Published As
| Publication number | Publication date |
|---|---|
| JPH03282733A (en) | 1991-12-12 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP3786722B2 (en) | Method and apparatus for effective use of progressive object-oriented program using digital signature | |
| US5799193A (en) | Scenario based iterative method for development of an object oriented system model | |
| JP3041013B2 (en) | Software component usage rule generation method | |
| US10185546B2 (en) | Service extraction and application composition | |
| CA2325684A1 (en) | Automation and isolation of software component testing | |
| WO1999046689A1 (en) | Execution of extended activity diagrams by code generation | |
| Bouquet et al. | Requirements traceability in automated test generation: application to smart card software validation | |
| Krut | Integrating 001 tool support into the feature-oriented domain analysis methodology | |
| Kramer et al. | Software architecture modeling & analysis: A rigorous approach | |
| Seo et al. | Tailoring test process by using the component-based development paradigm and the xml technology | |
| JP2005222371A (en) | System and method for verifying function of logic circuit | |
| KR102170722B1 (en) | Apparatus and method for supporting weapon system software product line engineering and computer readible storage medium therefor | |
| Zheng et al. | Towards implementing product line architecture | |
| JP2797749B2 (en) | File destruction pre-check mechanism | |
| JPH0830448A (en) | Program specification consistency inspecting device | |
| Martinez et al. | Design and verification of web services compositions | |
| Jackson et al. | Executable aspect oriented models for improved model testing | |
| Olcoz et al. | Improving VHDL soft-cores reuse with software-like reviews and audits procedures | |
| JP2001109621A (en) | Method and device for generating software specification | |
| JPH07168711A (en) | Program managing method | |
| JPH1069380A (en) | Program development support system | |
| JPH04160432A (en) | Detection device for discrepancy between detailed design and source information | |
| Benlahrache et al. | Translating AADL systems to Java programs | |
| JP2000242485A (en) | System and method for supporting programming language translation program development and recording medium | |
| Egyed | Trace Observer: A Reengineering Approach to View Integration |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| LAPS | Cancellation because of no payment of annual fees |