JP2012185533A - Specification creation support device and method - Google Patents

Specification creation support device and method Download PDF

Info

Publication number
JP2012185533A
JP2012185533A JP2011046261A JP2011046261A JP2012185533A JP 2012185533 A JP2012185533 A JP 2012185533A JP 2011046261 A JP2011046261 A JP 2011046261A JP 2011046261 A JP2011046261 A JP 2011046261A JP 2012185533 A JP2012185533 A JP 2012185533A
Authority
JP
Japan
Prior art keywords
conversion
data
constraint
specification information
xmi
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.)
Withdrawn
Application number
JP2011046261A
Other languages
Japanese (ja)
Inventor
Mutsumi Abe
睦 阿部
Shinichiro Yamauchi
進一郎 山内
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Toyota Motor Corp
Toyota InfoTechnology Center Co Ltd
Original Assignee
Toyota Motor Corp
Toyota InfoTechnology Center Co Ltd
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Toyota Motor Corp, Toyota InfoTechnology Center Co Ltd filed Critical Toyota Motor Corp
Priority to JP2011046261A priority Critical patent/JP2012185533A/en
Publication of JP2012185533A publication Critical patent/JP2012185533A/en
Withdrawn legal-status Critical Current

Links

Images

Landscapes

  • Document Processing Apparatus (AREA)
  • Stored Programmes (AREA)

Abstract

PROBLEM TO BE SOLVED: To extract items set by a user to integrate them as proper structure when fetching specification information from XMI representation.SOLUTION: A specification creation support device according to the present invention converts specification information represented by an XMI format into specification information in a formal specification representation which describes specification information by associating data, a name of constraint on the data, and reference data indicating contents of the constraint. The device comprises: reading means for reading the specification information in the XMI format; XMI conversion means for, on the basis of relation between attribute information and child elements in the specification information in the XMI format, mechanically converting the specification information into mechanically converted specification information in the formal specification representation; and model diagram conversion means for, on the basis of a template of a collection output result and a conversion rule describing to which part of the template to assign a data value of a mechanical conversion result, converting the mechanical conversion result into specification information in the formal specification representation.

Description

本発明は、システム開発等における仕様作成を支援する技術に関する。   The present invention relates to a technique for supporting specification creation in system development or the like.

従来、システム開発等における仕様はＵＭＬ（Unified Modeling Language）やPromela（Process Meta Language）といったモデリング言語でモデル化されている。また、これ
らのモデルをＳＰＩＮやＳＭＬといったモデル検査ツールで検査することが知られている。しかしながら、仕様検証の対象は機能要求であり、非機能要求の検証を行うモデル検査ツールは知られていない。 Conventionally, specifications in system development and the like have been modeled in modeling languages such as UML (Unified Modeling Language) and Promela (Process Meta Language). It is also known to inspect these models with a model inspection tool such as SPIN or SML. However, the target of specification verification is a function request, and a model checking tool for verifying a non-function request is not known.

本発明者らは、機能要求と非機能要求の両方を検証可能な、形式仕様記述技術（形式表現）の開発を進めている。ここで、機能要求については従来からＵＭＬ等での表現が用いられていることから、ＵＭＬによって表現された仕様を取り込み、それに対して非機能要求の仕様情報を付加していくことが効率的と考えられる。   The present inventors are developing a formal specification description technique (formal expression) that can verify both functional requirements and non-functional requirements. Here, since expression in UML is conventionally used for function requests, it is efficient to import specifications expressed in UML and add specification information of non-function requests to it. Conceivable.

特開２００９−０７５６８１号公報JP 2009-075681 A 特開２００８−３０５０７９号公報JP 2008-305079 A

ここで、ＵＭＬ表現と新形式仕様表現との間でフォーマット変換を行う際に、ＵＭＬ（ＸＭＩ）で表現された構造をそのまま取り込むのではなく、設計情報として重要な意味を持つ項目の抽出に重点を置いた変換を行うことが、設計情報の見やすさの観点から好ましい。   Here, when format conversion is performed between the UML expression and the new format specification expression, the structure expressed in UML (XMI) is not imported as it is, but the emphasis is on extracting items that have important meaning as design information. It is preferable from the viewpoint of easy viewing of design information.

そこで、本発明では、ＸＭＩ表現からデータを取り込む際に、ユーザが設定した項目を重点的に抽出し適切な構造として取り込むことを可能とする技術を提供することを目的とする。   Accordingly, an object of the present invention is to provide a technique that enables an item set by a user to be extracted intensively and captured as an appropriate structure when capturing data from an XMI expression.

上記の課題を解決するために、本発明に係る仕様作成支援装置は、ＸＭＩ形式で表現された仕様情報を、データと、そのデータが受ける制約の名称と、その制約の内容を表す参照データとの関連づけによって記述する形式仕様表現の仕様情報に変換する仕様作成支援装置であって、
ＸＭＩ形式の仕様情報を読み込む読込手段と、
ＸＭＩ形式の仕様情報における、属性情報と子要素の関係に基づいて、ＸＭＩ形式における構造を保ったまま前記形式仕様表現に変換した表現である機械的変換仕様情報（機械的変換結果）に変換するＸＭＩ変換手段と、
前記形式仕様表現の仕様情報のテンプレート（類型）と、前記機械的変換仕様情報におけるデータの値を前記テンプレートのいずれの部分に代入するかを記述した変換ルールとを記憶した記憶する記憶手段と、
前記仕様情報のテンプレートと前記変換ルールとに基づいて、前記機械的変換仕様情報を形式仕様表現の仕様情報に変換するモデル図変換手段と、
を備える。 In order to solve the above-described problem, the specification creation support apparatus according to the present invention includes specification information expressed in the XMI format, data, a name of a constraint received by the data, reference data representing the content of the constraint, A specification creation support device that converts to specification information of a formal specification expression described by association,
Reading means for reading specification information in XMI format;
Based on the relationship between attribute information and child elements in the specification information in the XMI format, conversion into mechanical conversion specification information (mechanical conversion result), which is an expression converted into the formal specification expression while maintaining the structure in the XMI format. XMI conversion means;
Storage means for storing a template (type) of specification information of the formal specification expression and a conversion rule that describes which part of the template the value of data in the mechanical conversion specification information is substituted;
Model diagram conversion means for converting the mechanical conversion specification information into specification information of formal specification expression based on the template of the specification information and the conversion rule;
Is provided.

このように、ＸＭＩ形式の仕様情報をまずＸＭＩ形式の構造を保ったまま機械的に形式仕様表現に取り込み、そこからテンプレートと変換ルールを用いて最終的な形式仕様表現の仕様情報へと変換することで、ユーザが設定した項目のみを取り出すことができる。また、変換結果もテンプレートによって定義された構造となるため、ユーザにとって見やすい仕様情報を作成することができる。   In this way, the specification information in the XMI format is first mechanically imported into the format specification expression while maintaining the structure of the XMI format, and then converted into the specification information in the final format specification expression using the template and the conversion rule. Thus, only the items set by the user can be taken out. Moreover, since the conversion result also has a structure defined by the template, it is possible to create specification information that is easy for the user to see.

本発明において、前記テンプレートおよび前記変換ルールのいずれもが、前記形式仕様表現の仕様情報として記述されている、ことも好ましい。   In the present invention, it is also preferable that both the template and the conversion rule are described as specification information of the formal specification expression.

このように、テンプレートや変換ルールを形式仕様表現の仕様情報として記述することで、テンプレートや変換ルールを機械的変換仕様情報と統一的な方法により取り扱うことができる。   Thus, by describing the template and the conversion rule as the specification information of the formal specification expression, the template and the conversion rule can be handled in a unified manner with the mechanical conversion specification information.

また、本発明において、前記ＸＭＩ変換手段は、
ＸＭＩ形式の仕様情報におけるタグ要素の属性情報を、タグ要素を表すデータに対する制約「属性」の参照データに変換し、
ＸＭＩ形式の仕様情報におけるタグ要素の子要素を、タグ要素を表すデータに対する制約「構成」の参照データに変換し、
各タグ要素について再帰的に、属性情報と子要素の変換を実行する、
ことも好ましい。 In the present invention, the XMI conversion means is
The attribute information of the tag element in the specification information in the XMI format is converted into reference data of the constraint “attribute” for the data representing the tag element,
The child element of the tag element in the specification information in the XMI format is converted into the reference data of the constraint “configuration” for the data representing the tag element,
Recursively transform attribute information and child elements for each tag element,
It is also preferable.

このような変換を行うことで、ＸＭＩ形式の仕様情報を、その構造をそのままに保ちつつ形式仕様表現の仕様情報（機械的変換仕様情報）に変換することができる。   By performing such conversion, the specification information in the XMI format can be converted into the specification information (mechanical conversion specification information) in the format specification expression while maintaining the structure as it is.

また、本発明において、前記仕様情報のテンプレートは、データ毎に取り得る制約の候補および、制約毎に取り得る参照データの候補を記述したものである、ことが好ましい。   In the present invention, it is preferable that the specification information template describes a restriction candidate that can be taken for each data and a reference data candidate that can be taken for each restriction.

また、本発明において、前記変換ルールは、変換対象とする機械的変換仕様情報におけるデータを、前記テンプレートにおける制約の候補または参照データの候補のいずれに対応付けるかを記述しており、
前記モデル図変換手段は、前記変換ルールにおいて変換対象として記述された機械的変換仕様情報におけるデータの制約「値」の参照データが、前記テンプレートにおける制約の候補または参照データの候補と一致する場合に、前記制約「値」の参照データを前記制約または参照データとして形式仕様表現の仕様情報に変換する、
ことも好ましい。 In the present invention, the conversion rule describes whether the data in the mechanical conversion specification information to be converted is associated with a candidate for restriction or a candidate for reference data in the template,
When the reference data of the data constraint “value” in the mechanical conversion specification information described as the conversion target in the conversion rule matches the constraint candidate or the reference data candidate in the template , Converting the reference data of the constraint “value” into the specification information of the formal specification expression as the constraint or reference data.
It is also preferable.

このように、変換ルールを定義することで、ＸＭＩ形式の仕様情報における任意のデータを、テンプレートにおける任意の位置に配置して変換することができる。テンプレートと変換ルールを、変換対象のＸＭＩ形式の仕様情報に応じて設計することで、このＸＭＩ形式の仕様情報のうち、設計情報や仕様情報として重要な意味を持つ要素のみを取り出して形式仕様表現に変換することができる。   Thus, by defining the conversion rule, arbitrary data in the specification information in the XMI format can be arranged and converted at an arbitrary position in the template. By designing templates and conversion rules according to the specification information in the XMI format to be converted, only the elements that have significant meaning as design information or specification information are extracted from the specification information in the XMI format, and the format specification expression Can be converted to

本発明は、上記手段の少なくとも一部を含む仕様作成支援装置として捉えることができる。また、これらの処理を行う仕様作成支援方法、さらには、これらの方法をコンピュータにおいて実現するためのプログラムとして捉えることもできる。上記手段および処理の各々は可能な限り互いに組み合わせて本発明を構成することができる。   The present invention can be understood as a specification creation support apparatus including at least a part of the above means. Further, the specification creation support method for performing these processes, and further, it can be understood as a program for realizing these methods in a computer. Each of the above means and processes can be combined with each other as much as possible to constitute the present invention.

本発明によれば、ＸＭＩ表現の仕様情報を取り込んで形式仕様表現に変換する際に、ユーザが設定した項目を重点的に抽出して、適切な構造の形式仕様表現とすることが可能と
なる。 According to the present invention, when the specification information of the XMI representation is taken in and converted into the formal specification representation, it is possible to extract the items set by the user intensively and form the formal specification representation with an appropriate structure. .

形式仕様記述図を構成する図形要素を説明する図である。It is a figure explaining the graphic element which comprises a format specification description figure. 形式仕様記述図の例である。It is an example of a format specification description diagram. 形式仕様記述図を表現したＸＭＬフォーマットデータである。XML format data representing a format specification description diagram. 形式仕様記述図のＸＭＬデータフォーマットにおける各図形要素を表す記述例である。It is a description example showing each graphic element in the XML data format of the format specification description diagram. 類型を説明するための図である。It is a figure for demonstrating a type. 類型定義を説明するための図である。It is a figure for demonstrating a type definition. 条件を付加した類型定義の例である。It is an example of a type definition with a condition added. 構造化した類型定義の例であり、クラスに対応する類型である。This is an example of a structured type definition, corresponding to a class. 図８の構造化類型定義のために定義した類型を示す図である。It is a figure which shows the type defined for the structured type definition of FIG. 形式仕様記述図（Ａ）と、その選択部分（点線）から自動的に作成される類型定義（Ｂ）である。It is a type specification description (A) and a type definition (B) automatically created from the selected part (dotted line). ＸＭＩ変換機能における、変換対象のＸＭＩ記述（Ａ）と、変換後の形式仕様記述（Ｂ）の例を示す図である。It is a figure which shows the example of the XMI description (A) of the conversion object in the XMI conversion function, and the format specification description (B) after conversion. ＸＭＩ変換機能による機械的変換結果（Ａ）のデータ構造を、モデル図用類型（Ｂ）と変換ルール（Ｃ）と類型の紐付け（Ｄ）を用いて変換するモデル図変換機能を説明する図である。The figure explaining the model figure conversion function which converts the data structure of the mechanical conversion result (A) by an XMI conversion function using the model diagram type (B), the conversion rule (C), and the type association (D) It is. ＸＭＩ変換機能による機械的変換結果におけるデータの関係を定義する機械的類型パターン（Ａ）と、モデル図用類型（Ｂ）と、類型の紐付け（Ｃ）と、関係情報の変換結果（Ｄ）を示す図である。Mechanical type pattern (A) that defines the relationship of data in the mechanical conversion result by the XMI conversion function, model diagram type (B), type linking (C), and relationship information conversion result (D) FIG. 仕様作成支援装置の構成図Configuration diagram of the specification creation support device ＸＭＩ変換機能（ＸＭＩ形式から形式仕様記述形式への機械的変換）のフローチャートである。It is a flowchart of an XMI conversion function (mechanical conversion from an XMI format to a format specification description format). モデル図変換機能の概要を示すフローチャートである。It is a flowchart which shows the outline | summary of a model figure conversion function. モデル図変換機能における類型データの読込および関連づけ処理のフローチャートである。It is a flowchart of a type data reading and association process in the model diagram conversion function. モデル図変換機能における変換対象データ抽出処理のフローチャートである。It is a flowchart of the conversion object data extraction process in a model figure conversion function. モデル図変換機能におけるデータ構造変換処理のフローチャートである。It is a flowchart of the data structure conversion process in a model figure conversion function. モデル図変換機能における関係定義変換処理のフローチャートである。It is a flowchart of the relationship definition conversion process in a model figure conversion function. 変換対象のＸＭＩ記述の例。An example of an XMI description to be converted. 図２１のＸＭＩ記述をＸＭＩ変換（機械的変換）した結果。The XMI description (mechanical conversion) of the XMI description of FIG. 図２１のＸＭＩ記述をＸＭＩ変換（機械的変換）した結果（続き）。FIG. 21 shows the result of XMI conversion (mechanical conversion) of the XMI description in FIG. 21 (continued). モデル図変換において使用する作図用類型の例。Example of drawing type used in model diagram conversion. モデル図変換において使用するデータ構造変換用の変換ルールの例。An example of a conversion rule for data structure conversion used in model diagram conversion. モデル図変換において使用する関係定義変換用の変換ルールの例。Example of conversion rules for relation definition conversion used in model diagram conversion. モデル図変換において機械的変換結果に適用する変換ルールのマッピングの例。An example of mapping of conversion rules applied to mechanical conversion results in model diagram conversion. 図２４〜図２７の変換定義を用いて図２２〜図２３の機械的変換結果に対してモデル図変換をした結果。The result of model diagram conversion for the mechanical conversion results of FIGS. 22 to 23 using the conversion definitions of FIGS.

＜１．形式表現＞
（１−１）作図要素
まず初めに本発明者らが開発を進めている新しい形式表現手法について説明する。本形式表現は、作成や理解を容易とするために図形として表現される。形式仕様記述図で用いられる図形要素は、データ、制約ラベル、制約線、参照線の４つである。本形式仕様記述
では、データと、そのデータが受ける制約の名称と、その制約の内容を表す参照データの関連づけによって仕様情報が記述される。 <1. Formal expression>
(1-1) Drawing Elements First, a new formal expression method that the present inventors are developing will be described. This formal expression is expressed as a graphic for easy creation and understanding. There are four graphic elements used in the formal specification description diagram: data, constraint label, constraint line, and reference line. In this formal specification description, specification information is described by associating data, the name of the constraint that the data receives, and reference data representing the content of the constraint.

・データ
データは、状態・条件・処理などを表す数値・文字・記号である。形式仕様記述図では、データは図１Ａに示すようにデータ名が内部に書かれた実線の矩形として表現される。データとデータは下記の「制約」を介して接続される。 ・ Data Data is a numerical value / character / symbol representing state, condition, processing, etc. In the format specification description diagram, the data is represented as a solid rectangle with a data name written therein, as shown in FIG. 1A. Data and data are connected through the following “constraints”.

・制約
制約は、あるデータに対して説明する視点を与え、その視点で見た場合の具体的な内容として別データを参照する。形式仕様記述図では、制約は図１Ｂに示すように制約名が内部に書かれた角括弧として表現される。 -Constraints Constraints give a viewpoint to explain certain data, and refer to other data as specific contents when viewed from that viewpoint. In the formal specification description diagram, the constraint is expressed as square brackets with a constraint name written therein as shown in FIG. 1B.

・制約線
制約線は、データと、そのデータに付加される制約とを結ぶものである。形式仕様記述図では、制約線は図１Ｃに示すように実線の矢印として表現される。矢印側にはデータが接続され、矢印のない方に制約が接続される。 -Restriction line A restriction line connects data and the restrictions added to the data. In the formal specification description diagram, the constraint line is expressed as a solid arrow as shown in FIG. 1C. Data is connected to the arrow side, and constraints are connected to the side without the arrow.

・参照線
参照線は、制約と、その制約の内容であるデータとを結ぶものである。形式仕様記述図では、参照線は図１Ｄに示すように実線として表現される。 Reference line The reference line connects the constraint and the data that is the content of the constraint. In the formal specification description diagram, the reference line is expressed as a solid line as shown in FIG. 1D.

図２は本形式表現によって表した仕様の例である。ここでは、車載カメラ映像処理の仕様を定義している。ここでは、車載カメラで映像を撮影し、輪郭を抽出して元の画像に合成して表示する処理を想定している。この車載カメラ映像処理は、その構成として、カメラ・輪郭抽出・輪郭合成・モニタを有することが表現されている。また、カメラは、結果としてカメラ画像を出力し、その処理時間がＸ秒であることが表現されている。また、このカメラ画像の画像形式はＶＧＡカラーであることが表現されている。さらに、輪郭抽出・輪郭合成・モニタについてもカメラと同様の仕様が表現されている。   FIG. 2 shows an example of the specification expressed in this form representation. Here, specifications for in-vehicle camera video processing are defined. Here, a process is assumed in which a video is taken with an in-vehicle camera, an outline is extracted, and is combined with the original image and displayed. This in-vehicle camera video processing is expressed as having a camera, contour extraction, contour synthesis, and monitor as its configuration. In addition, the camera outputs a camera image as a result, and the processing time is expressed as X seconds. Further, it is expressed that the image format of the camera image is VGA color. Furthermore, the same specifications as the camera are expressed for contour extraction, contour synthesis, and monitoring.

また、車載カメラ映像処理の総処理時間が、カメラ（撮像）・輪郭抽出・輪郭合成・モニタ（表示）の各処理時間の合計として表される時間であり、その上限がＴ秒であることが表現されている。   In addition, the total processing time of the in-vehicle camera video processing is a time represented as the sum of the processing times of the camera (imaging), contour extraction, contour synthesis, and monitor (display), and the upper limit is T seconds. It is expressed.

このように、本形式表現手法では、機能要件（入力や出力の型や値の範囲など）と非機能要件（処理時間、製造コストなど）の両方を統一的に記述することができる。仕様の検証においては、各データの型や値の範囲が定義を満たすか否か、データ間の接続が適切であるかという側面から、機能要件の検証が行える。また、非機能要件についても同様に「データ」と「制約」の形で表されているため、制約を充足するか否かを判定することで、非機能要件の検証が行える。   In this way, in this form representation method, both functional requirements (input and output types, value ranges, etc.) and non-functional requirements (processing time, manufacturing cost, etc.) can be described in a unified manner. In the specification verification, functional requirements can be verified from the aspect of whether each data type and value range satisfy the definition, and whether the connection between the data is appropriate. Similarly, since non-functional requirements are also expressed in the form of “data” and “constraints”, it is possible to verify non-functional requirements by determining whether or not the constraints are satisfied.

（１−２）データ構造
上記の形式表現（形式記述図）をコンピュータ上で表現するために、以下のデータ構造で形式記述図を表現する。形式記述図のデータ表現を種々の手法が考えられるが、ここではＸＭＬ形式にて表現する例を説明する。 (1-2) Data Structure In order to express the above-described format expression (format description diagram) on a computer, a format description diagram is expressed with the following data structure. Various methods can be considered for data representation of the format description diagram. Here, an example in which the data is represented in the XML format will be described.

形式記述図の１つが、図３に示されるようなＸＭＬファイルとして保存される。１行目はＸＭＬに基づくファイルであることを示すために"<?xml"で始まるタグを記述する。２
行目には、新形式仕様記述図であることを示すタグ"<nndiagram>"が記述される。このタ
グの属性にはフォーマットバージョンが記述される。３行目以降には、図の書式設定部と
作図データの２つの構造の領域に分けて情報が記述される。 One of the format description diagrams is saved as an XML file as shown in FIG. The first line describes a tag starting with “<? Xml” to indicate that the file is based on XML. 2
In the line, a tag “<nndiagram>” indicating a new format specification description diagram is described. The format version is described in the attribute of this tag. In the third and subsequent lines, information is described separately in two structural areas of a figure format setting part and drawing data.

図の書式設定部には、印刷設定、作図画面の設定、各作図要素のデフォルト設定などが記述される。印刷設定は、例えば、用紙サイズ、向き、上下左右のマージンなどである。作図画面の設定は、編集領域のサイズや、編集ツールで開いたときに画面に表示される領域などである。各作図要素のデフォルト設定は、「データ」「制約」等のそれぞれについての、背景色、線の色、線幅などのデフォルト値である。   The drawing format setting section describes print settings, drawing screen settings, default settings for each drawing element, and the like. The print settings are, for example, the paper size, orientation, top / bottom / left / right margins, and the like. The drawing screen settings include the size of the editing area and the area displayed on the screen when opened with an editing tool. The default setting of each drawing element is a default value such as a background color, a line color, and a line width for each of “data”, “constraint”, and the like.

作図データ部の記述例を、図４Ａ〜図４Ｄに「データ」「制約」「制約線」「参照線」それぞれについて示した。   Description examples of the drawing data portion are shown in FIG. 4A to FIG. 4D for “data”, “restriction”, “restriction line”, and “reference line”, respectively.

「データ」は、項目名dataとして表現され、属性として管理用の通し番号（id）と使用する類型（template）が記述される。なお、類型については後述する。要素dataの子要素として、データ名称（name）、背景色（bgColor）、線色（fgColor）、線幅（lineThickness）、図中の座標（position）、シンボルのサイズ（size）などが記述される。   “Data” is expressed as an item name data, and describes a management serial number (id) and a type (template) to be used as an attribute. The type will be described later. Data name (name), background color (bgColor), line color (fgColor), line width (lineThickness), coordinates in the figure (position), symbol size (size), etc. are described as child elements of element data. .

「制約」は、項目名constraintとして表現され、属性として管理用の通し番号（id）が記述される。要素constraintの子要素として、データ名称（name）、背景色（bgColor）
、線色（fgColor）、線幅（lineThickness）、図中の座標（position）、シンボルのサイズ（size）などが記述される。 “Constraint” is expressed as an item name “constraint”, and a management serial number (id) is described as an attribute. Data name (name), background color (bgColor) as child elements of element constraint
, Line color (fgColor), line width (lineThickness), coordinates in the drawing (position), symbol size (size), and the like are described.

「制約線」は、項目名constraintRelationとして表現され、属性として管理用の通し番号（id）、接続するデータシンボルのＩＤ（endsymbol）、接続する制約シンボルのＩＤ
（startsymbol）が記述される。要素constraintRelationの子要素として、線色（fgColor）、線幅（lineThickness）、図中の位置（startposition, position, endposition）な
どが記述される。図中の位置については、始点と終点は必須であり、折れ点がある場合には折れ点の数だけタグpositionが記述されるものとする。 The “constraint line” is expressed as an item name “constraintRelation”, and as attributes, the management serial number (id), the ID of the data symbol to be connected (endsymbol), and the ID of the constraint symbol to be connected
(Startsymbol) is described. As child elements of the element constraintRelation, a line color (fgColor), a line width (lineThickness), a position (startposition, position, endposition) in the figure are described. For the positions in the figure, the start point and the end point are indispensable. If there are break points, the tag position is described as many times as the number of break points.

「参照線」は、項目名referenceRelationとして表現され、属性として管理用の通し番
号（id）、接続するデータシンボルのＩＤ（startsymbol）、接続する制約シンボルのＩ
Ｄ（endsymbol）が記述される。要素referenceRelationの子要素として、線色（fgColor
）、線幅（lineThickness）、図中の位置（startposition, position, endposition）な
どが記述される。図中の位置については、始点と終点は必須であり、折れ点がある場合には折れ点の数だけタグpositionが記述されるものとする。 The “reference line” is expressed as an item name referenceRelation, and has an attribute as a management serial number (id), ID of a data symbol to be connected (startsymbol), and I of a constraint symbol to be connected.
D (endsymbol) is described. As a child element of element referenceRelation, line color (fgColor
), Line width (lineThickness), position in the figure (startposition, position, endposition), etc. are described. For the positions in the figure, the start point and the end point are indispensable. If there are break points, the tag position is described as many times as the number of break points.

ここで各項目の子要素としては挙げたものは例示であってその他の要素を含んでも良い。また、図の書式設定部に記載されたデフォルト値を採用する項目については、ここでの記述を省略してもかまわない。また、個々で紹介したＸＭＬ表現は一例であり、同様の情報を異なる形式でも表現してもかまわない。   What was mentioned here as a child element of each item is an illustration, and may include other elements. In addition, description of the items adopting default values described in the format setting section of the figure may be omitted. Further, the XML expressions introduced individually are merely examples, and similar information may be expressed in different formats.

（１−３）作図方法
形式仕様記述の作成は、ユーザが編集ツール上で作図を行うことにより行われる。このような編集ツール（作図ツール）は一般的なものであり、画面上での作図を上記のデータ構造へ変換することは当業者であれば容易に実装することができる。 (1-3) Drawing Method The creation of the formal specification description is performed by the user drawing on the editing tool. Such an editing tool (plotting tool) is general, and those skilled in the art can easily implement conversion of drawing on the screen into the data structure described above.

＜２．類型および類型定義＞
（２−１）類型
類型（テンプレート）とは、データと制約の組合せを単一の表現にまとめたものである。以下、類型およびその定義方法について、簡単な例を参照して説明する。図５には、「撮影データ」と「写真データ」という類似のデータ構造が形式仕様記述図として表されて
いる。「撮影データ」と「写真データ」のいずれもが画像であることから、「幅」「高さ」「色」という属性（制約）を有する。したがって、制約として「幅」「高さ」「色」を１つずつ有し、各制約の参照データには任意の記述が可能な、類型「画像」というものを定義することが考えられる。また、制約の参照データとしてある定められたデータをとる必要がある場合には、このような関係も類型に定義することができる。なお、後述するように、類型に含まれる制約に多重度を設定したり、参照データの候補を設定したりするようにしても良い。 <2. Type and Type Definition>
(2-1) Type A type (template) is a combination of data and constraints combined into a single expression. Hereinafter, a type and a definition method thereof will be described with reference to a simple example. In FIG. 5, similar data structures “photographing data” and “photograph data” are shown as a formal specification description diagram. Since both “photographing data” and “photograph data” are images, they have attributes (constraints) of “width”, “height”, and “color”. Therefore, it is conceivable to define a type “image” that has one “width”, “height”, and “color” as constraints, and can be arbitrarily described in the reference data of each constraint. In addition, when it is necessary to take predetermined data as constraint reference data, such a relationship can also be defined as a type. As will be described later, multiplicity may be set for the constraints included in the types, or reference data candidates may be set.

このような類型を導入することにより、例えば、以下のような利点を得ることができる。   By introducing such a type, for example, the following advantages can be obtained.

第１に、あるデータについて類型を適用することで、類型に定義されたデータや制約を自動的に作成したり、あるいは、必要なデータや制約をユーザに選択させたりといった、形式仕様記述の作成支援が可能となる。   First, create a formal specification description, such as automatically creating data and constraints defined in a type by applying a type to certain data, or letting the user select the necessary data and constraints Support is possible.

第２に、複数人で仕様や設計を形式仕様記述で記述する際に、類似の構造について同一の構造として統一的に記述することが可能となる。   Second, when a specification or design is described in a formal specification description by a plurality of people, it is possible to uniformly describe similar structures as the same structure.

第３に、ＵＭＬツール等で作成されたクラス図や状態機械図やアクティビティ図のモデル図を形式仕様記述図に変換することが可能となる。このＵＭＬ図からの変換については、類型について説明した後に詳しく説明する。   Third, a class diagram, a state machine diagram, and an activity diagram model diagram created by a UML tool or the like can be converted into a formal specification description diagram. The conversion from the UML diagram will be described in detail after describing the types.

（２−２）類型定義
類型の定義は、任意の表現が可能であるが、ここでは形式仕様記述を用いて記述する方式を採用する。類型定義では、形式仕様記述のデータと制約の関係性、制約と参照データの関係性、更に制約や参照データに対する条件の指定について、制約を用いて記述する。このような制約を総称して「メタ制約」と呼ぶ。形式仕様記述と類型定義の関係を図６に示す。形式仕様記述におけるデータと制約の関係は、類型定義の「メタ制約」を用いて、図中の定義（ａ）の形で定義する。形式仕様記述の「データ」が類型定義の「データ」に、形式仕様記述の「制約」が類型定義の「制約を示すデータ」に対応する。同様に、形式仕様記述の制約と参照データの関係も「メタ制約」を用いて、図中の定義（ｂ）の形で定義する。形式仕様記述の「制約」が類型定義の「制約を示すデータ」に、形式仕様記述の「参照データ」が類型定義の「参照データ」に対応する。このような基本構造を繰り返す形で類型を定義できる。繰り返す際には、「参照データ」が次の繰り返しの「データ」になる。 (2-2) Type Definition The type definition can be expressed in any way, but here a method of description using a formal specification description is adopted. In the type definition, the relationship between the data of the formal specification description and the constraint, the relationship between the constraint and the reference data, and the specification of the condition for the constraint and the reference data are described using the constraint. Such constraints are collectively referred to as “meta constraints”. The relationship between the formal specification description and the type definition is shown in FIG. The relationship between data and constraints in the formal specification description is defined in the form of definition (a) in the figure using the “meta constraint” of the type definition. “Data” in the format specification description corresponds to “data” in the type definition, and “constraint” in the format specification description corresponds to “data indicating the constraint” in the type definition. Similarly, the relationship between the constraint of the formal specification description and the reference data is also defined in the form of definition (b) in the figure using “meta constraint”. “Constraint” in the format specification description corresponds to “data indicating the constraint” in the type definition, and “reference data” in the format specification description corresponds to “reference data” in the type definition. Types can be defined by repeating this basic structure. When repeating, “reference data” becomes “data” of the next repetition.

さらに、類型定義における「データ」、「制約を示すデータ」、「参照データ」に対して、メタ制約を用いて条件を示すデータを定義することができる。このような類型定義を図７に示す。図中の定義（ｃ）のように、「データ」に対する条件を「メタ制約」と「データの条件を示すデータ」で定義する。同様に、図中の定義（ｄ）のように、「制約を示すデータ」に対する条件を「メタ制約」と「制約の条件を示すデータ」で定義する。同様に、図中の定義（ｅ）のように、「参照データ」に対する条件を「メタ制約」と「参照データの条件を示すデータ」で定義する。   Furthermore, data indicating conditions can be defined using meta constraints for “data”, “data indicating constraints”, and “reference data” in the type definition. Such a type definition is shown in FIG. As in the definition (c) in the figure, the condition for “data” is defined by “meta constraint” and “data indicating data condition”. Similarly, as in the definition (d) in the figure, conditions for “data indicating constraints” are defined by “meta constraints” and “data indicating constraint conditions”. Similarly, as in the definition (e) in the figure, a condition for “reference data” is defined by “meta constraint” and “data indicating the condition of reference data”.

このように定義することで、今後類型を拡張する場合にも、新たな位置づけのメタ制約を追加する形で容易に拡張が行える。   By defining in this way, even if the type is expanded in the future, it can be easily expanded by adding a new positioning meta constraint.

図８に具体的な例として、クラスの構造を類型化した類型定義を示す。なお、ここでは同じ記述の重複を避けるためにクラス以外の構造も類型として定義して使用している。クラスの類型定義において参照した類型定義を図９に示す。なお、このように他の類型定義
を参照して定義した類型定義のことを、構造化した類型定義と称する。 FIG. 8 shows a type definition that classifies the class structure as a specific example. Here, in order to avoid duplicating the same description, structures other than classes are also defined and used as types. FIG. 9 shows the type definition referred to in the class type definition. A type definition defined with reference to another type definition in this way is referred to as a structured type definition.

図８を参照すると、データ「クラス」は制約として「属性」と「操作」を持ちうることが示される。制約「属性」は０個以上の多重度を有する、すなわち、０個以上の制約「属性」の参照データがデータ「クラス」に関連づけられることが示されている。また、制約「属性」の参照データのデータ名は任意である。また、この参照データは、可視属性と、１つの型を制約として有する。ここでの「可視属性」は図９に示した類型定義「可視属性」を参照した複製データである。複製データとは、このデータが他の類型定義に定義されていることを示すデータである。ここでは、複製データを類型定義「可視属性」で置き換えたものと同等の意味を成す。   Referring to FIG. 8, it is shown that the data “class” can have “attribute” and “operation” as constraints. It is shown that the constraint “attribute” has zero or more multiplicity, that is, reference data of zero or more constraint “attribute” is associated with the data “class”. The data name of the reference data of the constraint “attribute” is arbitrary. The reference data has a visible attribute and one type as constraints. The “visible attribute” here is duplicated data referring to the type definition “visible attribute” shown in FIG. Duplicate data is data indicating that this data is defined in another type definition. Here, it has the same meaning as that obtained by replacing the duplicated data with the type definition “visible attribute”.

制約「操作」は０個以上の多重度を有する、すなわち、０個以上の制約「操作」の参照データがデータ「クラス」に関連づけられることが示されている。また、制約「操作」の参照データのデータ名は任意のものと「コンストラクタ」および「デストラクタ」を取り得ることを示している。任意の参照データは多重度が０個以上であり、制約候補として可視属性、戻り値（多重度１）、引数（多重度０以上）を有する。また、コンストラクタの制約候補は可視属性と戻り値のみであることが示されている。また、デストラクタの制約候補は可視属性のみであることが示されている。   It is shown that the constraint “operation” has zero or more multiplicity, that is, the reference data of zero or more constraint “operation” is associated with the data “class”. Further, it is indicated that the data name of the reference data of the constraint “operation” can be any one, “constructor” and “destructor”. Arbitrary reference data has a multiplicity of 0 or more, and has a visible attribute, a return value (multiplicity 1), and an argument (multiplicity 0 or more) as constraint candidates. Further, it is shown that the constraint candidates for the constructor are only the visible attribute and the return value. Further, it is shown that the destructor restriction candidates are only visible attributes.

このような類型定義を用いることで、あるデータに類型定義を適用して自動または半自動的に形式仕様記述が行えるようにできる。たとえば、形式仕様記述図の編集ツール上で、あるデータに類型「引数」（図９）を適用した場合には、制約として「インスタンス」または「ポインタ」のいずれか一方のみを選択可能なように表示される。ここで制約として「インスタンス」を選択した場合には参照データとして「int」「char」「float」のいずれか１つを選択できるように表示される。一方制約として「ポインタ」を選択した場合には参照データとして「void」「int」「char」「float」のいずれか１つを選択できるように表示される。このように、類型を適用することで、選択可能な制約やデータ名などが構造や多重度が考慮されてユーザに提示されるので、形式仕様記述図を作成するユーザの負担が軽減される。さらに複数人の間で同様の構造で形式仕様記述図が作成できる。   By using such a type definition, it is possible to apply a type definition to certain data so that formal specification description can be performed automatically or semi-automatically. For example, when the type “argument” (FIG. 9) is applied to certain data on the editing tool of the formal specification description diagram, only “instance” or “pointer” can be selected as a constraint. Is displayed. Here, when “instance” is selected as a constraint, it is displayed so that any one of “int”, “char”, and “float” can be selected as reference data. On the other hand, when “pointer” is selected as the constraint, it is displayed so that any one of “void”, “int”, “char”, and “float” can be selected as the reference data. In this way, by applying the type, selectable constraints, data names, and the like are presented to the user in consideration of the structure and multiplicity, thereby reducing the burden on the user who creates the formal specification description diagram. Furthermore, formal specification description diagrams can be created with the same structure among multiple people.

また、あるデータに類型を適用して形式仕様記述図を作成した場合に、その図が類型定義で表される通りの記述となっているかを、検証することもできる。したがって、作成した形式仕様記述図の構造が適切であるか検証することができる。   Moreover, when a formal specification description diagram is created by applying a type to certain data, it can be verified whether the diagram is a description as represented by the type definition. Therefore, it is possible to verify whether the structure of the created formal specification description diagram is appropriate.

（２−３）類型定義の作成方法
類型定義自体も形式仕様表現により表現されるため、形式仕様記述図の作成と同様に編集ツール上で一から作図して作ることができる。別の方法として、既存の形式仕様記述図から類型定義のひな形を作成するようにしても良い。たとえば、図１０Ａに示すような形式仕様記述図があった場合に、データ「setAge」以外の範囲（点線内部）など所望の範囲を選択して類型の自動作成処理を行うことができる。変換後の類型定義を図１０Ｂに示す。この類型の自動作成処理では、メタ制約として「制約候補」と「データ候補」のみを使用して類型定義に変換する。すなわち、データと制約の関係を、データとこのデータに対する制約「制約候補」の参照データの関係に変換する。同様に、制約と参照データの関係を、制約とこの制約に対する制約「データ候補」の参照データの関係に変換する。類型の定義に条件やその他の制約候補、データ候補を加えるなどの編集を行いたい場合には、自動で作成された類型定義を手動で編集すればよい。このようにすれば、類型定義の作成の手間が省ける。 (2-3) Type Definition Creation Method Since the type definition itself is also expressed by a formal specification expression, it can be created from scratch on the editing tool in the same way as the formal specification description diagram. As another method, a template for type definition may be created from an existing formal specification description diagram. For example, when there is a formal specification description diagram as shown in FIG. 10A, a desired range such as a range (inside the dotted line) other than the data “setAge” can be selected and the type automatic creation process can be performed. The type definition after conversion is shown in FIG. 10B. In this type automatic creation processing, only “constraint candidates” and “data candidates” are used as meta constraints to convert them into a type definition. That is, the relationship between the data and the constraint is converted into the relationship between the data and the reference data of the constraint “constraint candidate” for this data. Similarly, the relationship between the constraint and the reference data is converted into the relationship between the constraint and the reference data of the constraint “data candidate” for the constraint. If you want to edit conditions such as adding conditions, other constraint candidates, and data candidates to the type definition, you can edit the automatically created type definition manually. This saves you the trouble of creating a type definition.

＜３．ＵＭＬ変換機能＞
上述のように、本形式仕様表現は機能要求と非機能要求の両方を統一的に記述できる。
ここで、従来より機能要求についての設計はＵＭＬ関連のツールによってされている。したがって、他の設計ツールを用いて作成されたＵＭＬ図を、本形式仕様表現に自動的に変換すると既存の設計情報を有効活用できる。 <3. UML conversion function>
As described above, this formal specification expression can describe both functional requirements and non-functional requirements in a unified manner.
Here, conventionally, design for function requirements has been performed by UML-related tools. Therefore, existing design information can be effectively utilized by automatically converting UML diagrams created using other design tools into this formal specification expression.

本実施形態では、ＵＭＬ作図ツールが出力したＸＭＩ形式のファイルを入力として変換を行う。ＸＭＩ形式から本形式仕様記述への変換は、ＸＭＩ記述の構文（構造）をそのままに保ちつつ機械的に本形式仕様記述へと変換するＸＭＩ変換と、ＵＭＬ図の各要素の意味を考慮した変換を行うモデル図変換の２通りの変換を用いて段階的に行う。このように２つの機能に分けることで、ＸＭＩ変換機能だけを適用したり、モデル図変換機能だけを適用したりすることも可能としている。   In the present embodiment, conversion is performed using an XMI format file output by the UML drawing tool as an input. The conversion from the XMI format to the formal specification description includes the XMI transformation that mechanically converts the XMI description to the formal specification description while maintaining the syntax (structure) of the XMI description, and the conversion that considers the meaning of each element in the UML diagram It is performed step by step using two types of transformation of model diagram transformation. By dividing into two functions in this way, it is possible to apply only the XMI conversion function or only the model diagram conversion function.

ここでは、ＸＭＩ形式のＵＭＬ図から本形式仕様記述へ変換することを述べたが、逆に本形式仕様記述からＵＭＬ図への変換も可能とする。なお、ＵＭＬ図への変換においては、本ツール側ではＸＭＩ形式への変換のみを行い、ＸＭＩからＵＭＬ図への変換についてはＵＭＬ図の作成ツールに行わせることを想定する。   Here, the conversion from the UMI diagram in the XMI format to the formal specification description has been described, but conversely, the conversion from the formal specification description to the UML diagram is also possible. In the conversion to the UML diagram, it is assumed that only the conversion to the XMI format is performed on the tool side, and the conversion from the XMI to the UML diagram is performed by the UML diagram creation tool.

（３−１）対象とするＸＭＩ
変換対象としてＸＭＩのバージョンに制限は設けない。また、変換範囲はＸＭＩファイルの記述内容のうち、<uml:Model>タグの子要素のみとする。ただし、子要素の記述であ
ってもＸＭＩ出力ツールの拡張記述である<xmi:Extension>タグ以下は対象外とする。 (3-1) Target XMI
There is no restriction on the version of XMI as a conversion target. The conversion range is only the child element of the <uml: Model> tag in the description contents of the XMI file. However, the description below the <xmi: Extension> tag, which is an extension description of the XMI output tool, is excluded even if it is a description of a child element.

モデル図変換を行う場合に、元にしたＸＭＩのバージョンの違いを意識した変換ルールを定義することで、ＸＭＩの各バージョンに対応した変換を行う。   When model diagram conversion is performed, conversion corresponding to each version of XMI is performed by defining a conversion rule in consideration of the difference in the version of XMI based on the model.

（３−２）ＸＭＩ変換機能
まず、ＸＭＩ形式から、本形式仕様記述へ機械的に変換を行う機能（ＸＭＩ変換機能）について説明する。ＸＭＩ形式のファイルは、種々の情報が要素に対する属性情報または子要素の関係で構造的に表現されている。ＸＭＩ変換機能では、このＸＭＩ形式における構造をそのままの形で全て形式仕様へと変換する。 (3-2) XMI Conversion Function First, a function (XMI conversion function) for performing mechanical conversion from the XMI format to this format specification description will be described. In the XMI format file, various types of information are structurally expressed by the relationship of attribute information or child elements to the elements. In the XMI conversion function, all the structures in the XMI format are converted into format specifications as they are.

ＸＭＩ変換では、ＸＭＩ形式ファイルの<uml:Model>タグ内の子要素を処理の対象とす
る。まず最初のタグについて、タグ名を名称とするデータ（以下、このデータを「タグ名データ」と称する）を作成する。また、このタグの、属性情報と子要素を抽出する。そして、属性情報は制約「属性」の参照データに変換し、子要素はタグ名データに対する制約「構成」の参照データに変換する。なお、ここで、１つのタグ名データに対しては、制約「属性」および「構成」はいずれも１つのみとして、タグに複数の属性情報や子要素がある場合には、全て同じ制約の参照データとする。また、制約「属性」の参照データは属性名とし、属性値は属性名に対する制約「値」の参照データとして変換する。また、子要素については、タグ毎に再帰的に上記の変換を行うことで全体の構造が本形式仕様記述図に変換することができる。 In the XMI conversion, the child element in the <uml: Model> tag of the XMI format file is processed. First, for the first tag, data having a tag name as a name (hereinafter, this data is referred to as “tag name data”) is created. Also, attribute information and child elements of this tag are extracted. The attribute information is converted into reference data of the constraint “attribute”, and the child element is converted into reference data of the constraint “configuration” with respect to the tag name data. Here, for one tag name data, there is only one constraint “attribute” and “configuration”, and when there are multiple attribute information and child elements in the tag, all of the same constraint Reference data. Further, the reference data of the constraint “attribute” is converted into an attribute name, and the attribute value is converted as reference data of the constraint “value” with respect to the attribute name. For the child elements, the entire structure can be converted into the formal specification description diagram by performing the above conversion recursively for each tag.

ＸＭＩ変換の例を図１１に示す。図１１Ａは変換対象のＸＭＩデータであり、図１１ＢはＸＭＩ変換後の形式仕様記述である。   An example of XMI conversion is shown in FIG. FIG. 11A shows XMI data to be converted, and FIG. 11B shows a format specification description after XMI conversion.

<uml:Model>タグ内のタグ「packagedElement」を名称とするデータ「packagedElement
」が作成され、その属性情報である「name="クラス"」と「xmi:type="class"」が、この
データの制約「属性」の参照データに変換されている。なお、制約「属性」の直接の参照データは「name」と「xmi:type」であり、これらに対する制約「値」として「クラス」「uml:Class」がそれぞれ割り当てられる。また、タグ「packagedElement」の子要素である「ownedAttribute」と「ownedOperation」がそれぞれ、データ「packagedElement」の制
約「構成」の参照データに変換されている。子要素「ownedAttribute」の属性情報と子要素については、再帰的処理により同様に制約「属性」と制約「構成」として記述されることになる。 The data “packagedElement” with the name “packagedElement” in the <uml: Model> tag
"Name =" class "" and "xmi: type =" class "" are converted into reference data of the constraint "attribute" of this data. Note that the direct reference data of the constraint “attribute” is “name” and “xmi: type”, and “class” and “uml: Class” are assigned as the constraint “value” for these. Also, “ownedAttribute” and “ownedOperation” that are child elements of the tag “packagedElement” are converted into reference data of the constraint “configuration” of the data “packagedElement”. The attribute information and child elements of the child element “ownedAttribute” are similarly described as a constraint “attribute” and a constraint “configuration” by recursive processing.

（３−３）モデル図変換機能
次に、上記のようにして機械的に変換された形式仕様記述から、各データの意味を踏まえて行う変換（モデル図変換）について説明する。ここでは、機械的に変換された形式仕様記述図から、仕様や設計情報として必要なもののみを抜き出して変換された形式仕様記述図のことをモデル図と称し、機械的に変換された形式仕様記述図からモデル図へ変換することをモデル図変換と称する。 (3-3) Model Diagram Conversion Function Next, conversion (model diagram conversion) performed based on the meaning of each data from the format specification description mechanically converted as described above will be described. Here, a formal specification description diagram obtained by extracting only necessary specifications and design information from the mechanically converted formal specification description diagram is referred to as a model diagram, and a mechanically converted formal specification Conversion from a description diagram to a model diagram is referred to as model diagram transformation.

モデル図変換を行う際には、変換元のＵＭＬ図等に応じて変換ルールをあらかじめ定めておく必要がある。実際にモデル図変換は、この変換ルールに基づいて自動的に行われる。変換ルールは、以下の３つの形式仕様記述図によって表される。   When model diagram conversion is performed, it is necessary to determine conversion rules in advance according to the conversion source UML diagram or the like. Actually, the model diagram conversion is automatically performed based on this conversion rule. The conversion rule is represented by the following three format specification description diagrams.

１．モデル図用類型の定義
モデル図用類型は、変換結果であるモデル図に適用される類型定義である。モデル図に適用する類型は、新たに作成するか作成済みの類型から選択する。類型および類型定義については既に述べたのでここでは説明は省略する。例えば、クラス図を変換する場合には、図８に示したようなクラス図の類型が用いられる。 1. Definition of Model Diagram Type The model diagram type is a type definition applied to a model diagram that is a conversion result. The type to be applied to the model diagram is newly created or selected from already created types. Since the type and the type definition have already been described, the description is omitted here. For example, when converting a class diagram, a class diagram type as shown in FIG. 8 is used.

２．機械的記述類型パターンの定義
ＵＭＬ図を示すＸＭＩファイルの機械的変換を行った結果の形式仕様記述図に含まれる各種制約または参照データに着目し、その中から仕様・設計情報として意味を持つ要素を抜き出して、類型として定義する。この類型定義を機械的記述類型パターンと称する。すなわち、機械的記述類型パターンは、機械的変換結果におけるデータを、モデル図用類型における制約候補またはデータ候補のいずれに対応付けて変換するかを示した変換ルールの定義である。なお、１つのＵＭＬ図を１つの類型で定義する必要はなく、複数の機械的記述類型パターンで定義してもよい。たとえば、クラス図を、クラスシンボルのようなデータ構造を示す機械的記述類型パターンと、依存関係を示す機械的記述類型パターンに分けて定義することができる。 2. Definition of mechanical description type pattern Focusing on various constraints or reference data included in the formal specification description diagram as a result of mechanical conversion of the XMI file showing UML diagrams, and elements that have meaning as specification / design information Is extracted and defined as a type. This type definition is called a mechanical description type pattern. That is, the mechanical description type pattern is a definition of a conversion rule indicating whether data in a mechanical conversion result is converted in association with a constraint candidate or a data candidate in the model diagram type. Note that it is not necessary to define one UML diagram with one type, and it may be defined with a plurality of mechanical description type patterns. For example, a class diagram can be defined by being divided into a mechanical description type pattern indicating a data structure such as a class symbol and a mechanical description type pattern indicating a dependency relationship.

機械的記述類型パターンの例を図１２Ｃに示す。この機械的記述類型パターンは以下のように記述される。
・類型パターンの名称を示すデータ（以下、類型名データと称する）を付ける。
・類型名に制約「対象」として、変換対象を判断するための機械的変換結果の出力パターンを記述する。
・類型名に制約「構成」として、変換範囲のデータを定義する。機械的変換結果の制約「構成」「属性」両方の参照データをこの定義として使用できる。
・変換範囲の各末端要素に制約「変換」としてモデル図用類型の該当箇所を記述する。
・変換ルールの多重度のデフォルト値は「１」とする。 An example of a mechanical description type pattern is shown in FIG. 12C. This mechanical description type pattern is described as follows.
-Data indicating the name of the type pattern (hereinafter referred to as type name data) is attached.
-Describe the output pattern of the mechanical conversion result to determine the conversion target as the restriction "target" in the type name.
-Define the data of the conversion range as a restriction "configuration" in the type name. Reference data for both the “configuration” and “attribute” constraints of the mechanical transformation result can be used as this definition.
-Describe the corresponding part of the model diagram type as a constraint “conversion” in each end element of the conversion range.
-The default value of the conversion rule multiplicity is "1".

３．類型の関連づけ
上記１，２で作成または選択した機械的記述類型パターンとモデル図用類型を制約「同意」で結び、形式仕様記述図を作成する。また、機械的記述類型パターンの終端データ（制約が付いていないデータ）をモデル図用類型のどの位置のデータとして変換するかを示す、変換ルールを機械的記述類型パターンに追加する。 3. Association between types The mechanical description type pattern created or selected in the above 1 and 2 and the type for model diagram are connected with the constraint “agreement” to create a formal specification description diagram. In addition, a conversion rule is added to the mechanical description type pattern indicating which position in the model drawing type type data the end data (unconstrained data) of the mechanical description type pattern is converted as.

ここで、変換ルールの定義には、クラス定義などデータ構造を変換するためのルールと、関連線のように２つのデータの関係情報を変換するためのルールの、大きく分けて２通
りの定義がある。以下、それぞれについて説明する。 Here, there are roughly two types of conversion rule definitions: a rule for converting the data structure, such as a class definition, and a rule for converting the relationship information of two data such as a relation line. is there. Each will be described below.

（Ａ）データ構造の変換ルール
データ構造の変換においては、機械的記述類型パターンの各構成要素に、変換先のモデル図用類型のどの要素に関連づけるかを、制約「変換」を用いて記述することで行う。制約「変換」の参照データには、制約「同意」により変換ルールと関連づけを行った類型の定義中の対応するデータを、そのデータの複製データを用いて記述する。制約「変換」の参照データとして指定できるデータは、類型定義において制約を規定しているデータ（つまり、制約「制約候補」の参照データ）のみとする。 (A) Data structure conversion rule In the data structure conversion, each element of the mechanical description type pattern is described with respect to which element of the model diagram type of the conversion destination using the constraint “conversion”. Do that. In the reference data of the constraint “conversion”, the corresponding data in the definition of the type associated with the conversion rule by the constraint “agreement” is described using duplicate data of the data. The data that can be specified as the reference data for the constraint “conversion” is only the data that defines the constraint in the type definition (that is, the reference data for the constraint “constraint candidate”).

データ構造変換における変換処理の概要について図１２を参照して説明する。図１２ＡはＸＭＩ変換による変換結果（機械的変換結果）であり、モデル図変換の変換元図である。図１２Ｂは、変換後の構造を示す類型（モデル図用類型）である。図１２Ｃは、変換ルール記述（機械的記述類型パターンに変換ルールを追記した例）である。なお、これらの図は説明のために一部分を抜き出したものである。図１２Ｄは、機械的変換結果をモデル図用類型を用いて変換することを表す記述である。   An overview of the conversion process in the data structure conversion will be described with reference to FIG. FIG. 12A is a conversion result (mechanical conversion result) by XMI conversion, and is a conversion source diagram of model diagram conversion. FIG. 12B is a type (model diagram type) showing the structure after conversion. FIG. 12C is a conversion rule description (an example in which a conversion rule is added to a mechanical description type pattern). These drawings are partially extracted for explanation. FIG. 12D is a description showing that a mechanical conversion result is converted using a model diagram type.

この変換ルールに基づいた変換処理の実装では、制約「変換」により制約を受けるデータ「name（より正確にはpackageElementの属性であるname）」１２０９が示す変換元図（機械的変換結果）のデータ「name」１２０１に付けられた制約「値」の参照データ「arg:int」１２０２を取得する。そして、変換ルールにおける制約「変換」の参照データ（こ
こでは「属性」１２１０）として記述している類型定義データ（ここでは「属性」１２０５）に付けられた制約「データ候補」の値（１２０６）とみなして変換する。制約「データ候補」の参照データが「任意」である場合には、すべてのデータが変換対象となるが、データ「任意」が規定されていない場合は、データ候補として記述されているデータのいずれかと一致する場合のみ変換を実行する。ここでは、属性「visibiity」１２１１の変
換においては、類型定義においてデータ候補として「private」「public」が規定されて
いるが、機械的変換結果において「visibility」１２０３の値は「public」１２０４で類型定義におけるデータ候補と一致するため変換の対象となる。 In the implementation of the conversion process based on this conversion rule, the data of the conversion source diagram (mechanical conversion result) indicated by the data “name (more precisely, the name that is the attribute of packageElement)” 1209 subject to the restriction “conversion” Reference data “arg: int” 1202 of the constraint “value” attached to “name” 1201 is acquired. Then, the value (1206) of the restriction “data candidate” attached to the type definition data (here “attribute” 1205) described as reference data (here “attribute” 1210) of the restriction “conversion” in the conversion rule Is converted. If the reference data for the constraint “data candidate” is “arbitrary”, all data will be converted, but if the data “arbitrary” is not specified, any of the data described as data candidates The conversion is performed only when it matches. Here, in the conversion of the attribute “visibiity” 1211, “private” and “public” are defined as data candidates in the type definition, but the value of “visibility” 1203 is “public” 1204 in the mechanical conversion result. Since it matches the data candidate in the definition, it is subject to conversion.

（Ｂ）データの関係情報の変換ルール
関連線はＵＭＬ図においては２つのシンボル要素を接続するために用いられる。したがって、変換ルールにおいても、作成済みの２つのデータの関係を、関係種別に応じて制約で結びつける形へ変換を行うルールとして記述する。 (B) Data relation information conversion rule The relation line is used to connect two symbol elements in the UML diagram. Therefore, the conversion rule is also described as a rule for converting the relationship between the two created data into a form in which the relationship between the two types of data is linked by a restriction according to the relationship type.

図１３Ａは、関係を定義する機械的類型パターンである。図１３Ｂは、変換後の構造を示す類型（モデル図用類型）である。図１３Ｃは、機械的変換結果をモデル図類型を用いて変換することを表す記述である。この変換は、データと参照データを制約で結びつけるという基本的な形式であり、関係情報の変換においては共通する類型である。図１３Ｄは、変換結果の例である。なお、関係線の変換においては、データと参照データを制約で結びつけるという基本パターンへの変換であるため、制約「同意」を用いた類型同士の関連づけを行わずに定義可能であるが、ここでは制約「同意」を用いて関連づけを定義する場合を例として説明する。   FIG. 13A is a mechanical type pattern that defines the relationship. FIG. 13B is a type (model diagram type) showing the structure after conversion. FIG. 13C is a description showing that a mechanical conversion result is converted using a model diagram type. This conversion is a basic format in which data and reference data are connected by constraints, and is a common type in the conversion of relationship information. FIG. 13D is an example of the conversion result. In addition, since the relationship line conversion is a conversion to the basic pattern of linking data and reference data with constraints, it can be defined without associating the types with the constraint “consent”, but here A case where association is defined using the constraint “agreement” will be described as an example.

制約名の定義は類型に制約「名称」を用いて定義する。制約「名称」の参照データは複数記述しても良く、その場合は、それら複数のデータを「：」で接続したものを制約名とする。また、制約「名称」を省略可能とし、省略された場合に類型パターン名を制約としても良い。   The constraint name is defined using the constraint “name” as the type. A plurality of reference data for the constraint “name” may be described. In this case, the constraint name is obtained by connecting the plurality of data with “:”. Further, the constraint “name” may be omitted, and the type pattern name may be used as the constraint when the constraint is omitted.

関連づけるデータは、ＸＭＩでは参照の形で記述されているため、変換した形式仕様記
述においても、関連データの制約の中には直接関連づけているクラス等のオブジェクトの情報は直接記述されていない。そのため、関連情報の変換ルールとしては参照データのＩＤを示すデータ「idref」を用いて記述する。データの関係情報の変換における実装では
、このＩＤを用いて機械的変換結果の形式仕様記述図全体から該当するオブジェクトを探し出し、該当するＩＤと同一のＩＤが制約「属性」の参照データ「xmi:idref」として定
義されているデータ（packagedElementであることが多い）を探し出し、そのデータの属
性あるいは構成から変換に必要なデータを取り出す。そして、これらの２つのデータの間を、制約「名称」で定義された制約名で関係づける。 Since the data to be associated is described in the form of reference in XMI, even in the converted formal specification description, the information of the object such as the directly associated class is not directly described in the constraint of the related data. Therefore, the related information conversion rule is described using data “idref” indicating the ID of the reference data. In the implementation in the conversion of data relation information, this ID is used to find the corresponding object from the entire formal specification description diagram of the mechanical conversion result, and the same ID as the corresponding ID is the reference data “xmi: The data defined as “idref” (which is often packagedElement) is searched, and the data necessary for conversion is extracted from the attribute or configuration of the data. Then, these two pieces of data are related by the constraint name defined by the constraint “name”.

（４）実装
（４−１）全体構成
以下、本発明に係る仕様作成支援装置の構成例を図１４を参照して説明する。図１４に示すように、仕様作成支援装置１は、データの演算処理を行うデータ処理部１１と、他の装置との通信を行う通信処理部１２、演算処理のためのデータやソフトウェアを記憶する記憶部（ハードディスク）１３、出力部１４、入力部１５を備えたコンピュータである。通信処理部１２は、ネットワークやケーブル等の回線を介して他のコンピュータとの通信を行う。記憶部１３は、オペレーティングシステム（ＯＳ）やアプリケーションプログラム（仕様作成支援プログラム）を記憶している。また、記憶部１３は、その他のＵＭＬ作図用ツールのプログラムを記憶していても良い。また、記憶部１３は、作成された形式仕様記述図のデータや、ＵＭＬ図のデータ等も記憶している。入力部１５は、データ処理部１１へ情報を入力する手段であり、キーボードやマウスといったユーザインタフェースや、メモリカードやＤＶＤ−ＲＯＭ等の記憶媒体から情報を読み取るデバイスを有する。出力部１４は、データ処理部１１の処理結果を出力する手段であり、処理結果等を表示する表示装置や、データを印刷するプリンタを有する。データ処理部１１は、ＣＰＵやメインメモリを有し、ＯＳやアプリケーションプログラムを記憶部１３からメインメモリに読み出し、読み出したＯＳやアプリケーションプログラムにしたがって、ＣＰＵが演算処理を行う。この演算処理により、ＣＰＵは、作図ツール２１、ＸＭＩ読込部２２、ＸＭＩ変換部２３、モデル図変換部２４としても機能する。 (4) Implementation (4-1) Overall Configuration Hereinafter, a configuration example of the specification creation support apparatus according to the present invention will be described with reference to FIG. As illustrated in FIG. 14, the specification creation support apparatus 1 stores a data processing unit 11 that performs data arithmetic processing, a communication processing unit 12 that performs communication with other devices, and data and software for arithmetic processing. The computer includes a storage unit (hard disk) 13, an output unit 14, and an input unit 15. The communication processing unit 12 communicates with another computer via a network or a line such as a cable. The storage unit 13 stores an operating system (OS) and application programs (specification creation support programs). Further, the storage unit 13 may store other UML drawing tool programs. Further, the storage unit 13 also stores data of the created formal specification description diagram, data of the UML diagram, and the like. The input unit 15 is a means for inputting information to the data processing unit 11, and includes a user interface such as a keyboard and a mouse, and a device that reads information from a storage medium such as a memory card and a DVD-ROM. The output unit 14 is a unit that outputs the processing result of the data processing unit 11, and includes a display device that displays the processing result and the like, and a printer that prints data. The data processing unit 11 includes a CPU and a main memory. The OS and application program are read from the storage unit 13 to the main memory, and the CPU performs arithmetic processing according to the read OS and application program. Through this calculation process, the CPU also functions as a drawing tool 21, an XMI reading unit 22, an XMI conversion unit 23, and a model diagram conversion unit 24.

（４−２）作図ツール
作図ツール２１は、ユーザがキーボードやマウス等の入力装置から入力を行うによって、本発明の形式仕様記述図を作成するための機能部である。ユーザが「データ」や「制約」などを配置するための機能を選択し、画面上で適当で位置に配置し、名称をキーボードから入力することで、データや制約が配置できる。また、「制約線」や「関連線」を選択し、データ同士やデータと制約を選択することで、制約や関連としてこれらを結びつけることができる。入力された形式仕様記述図は、（１−２）のようなデータ構造に変換されて記憶部１３に記憶される。 (4-2) Drawing Tool The drawing tool 21 is a functional unit for creating a formal specification description diagram of the present invention when a user inputs from an input device such as a keyboard or a mouse. The user selects a function for arranging “data”, “constraint”, etc., arranges it at an appropriate position on the screen, and inputs the name from the keyboard, so that the data and the constraint can be arranged. In addition, by selecting “constraint line” or “relevant line” and selecting data or data and constraints, these can be linked as constraints or relations. The input formal specification description diagram is converted into a data structure such as (1-2) and stored in the storage unit 13.

なお、（１−３）で説明したように、作図ツール２１を利用すれば、形式仕様記述図を作成できるだけでなく、類型定義も作成可能である。また、既存の形式仕様記述図を元に類型定義を作成することも可能である。同様に、作図ツール２１を利用して、（３−３）で説明したモデル図変換における変換ルール（機械的類型パターンや類型の関連づけ）を作成することも可能である。   As described in (1-3), by using the drawing tool 21, not only a formal specification description diagram but also a type definition can be created. It is also possible to create a type definition based on an existing formal specification description diagram. Similarly, it is also possible to create a conversion rule (association of mechanical type pattern and type) in the model drawing conversion described in (3-3) using the drawing tool 21.

（４−３）ＸＭＩ読込部
ＸＭＩ読込部２２は、ＵＭＬ作図ツール等で作成されたＸＭＩファイルを読み込む機能部である。ＸＭＩ読込部２２は、ハードディスクに記憶されているＸＭＩファイルを読み込んでも良いし、通信によって他のコンピュータから取得しても良いし、ＵＭＬ作成ツールとプログラム（プロセス）間でＸＭＩファイルを取得しても良い。 (4-3) XMI Reading Unit The XMI reading unit 22 is a functional unit that reads an XMI file created by a UML drawing tool or the like. The XMI reading unit 22 may read an XMI file stored in the hard disk, may acquire it from another computer by communication, or may acquire an XMI file between a UML creation tool and a program (process). good.

（４−４）ＸＭＩ変換部（機械的変換部）
ＸＭＩ変換部２３は、（３−２）で示したＸＭＩ変換機能を実行する機能部である。ＸＭＩ読込部２２から取得されたＸＭＩファイルに対して、以下の図１５に示される処理を施すことで、本発明の形式仕様記述図へと機械的に変換を行う。 (4-4) XMI converter (mechanical converter)
The XMI conversion unit 23 is a functional unit that executes the XMI conversion function shown in (3-2). The XMI file acquired from the XMI reading unit 22 is mechanically converted into the formal specification description diagram of the present invention by performing the processing shown in FIG. 15 below.

まず、ＸＭＩ読込部２２によって取得されたＸＭＩ形式のファイルを読み込んで、ＸＭＩの<uml:Model>タグ内の子要素に対して以下の処理を行う。まず最初のタグについて、
タグ名を名称とするデータ（以下、このデータを「タグ名データ」と称する）を作成する（Ｓ１０２）。また、このタグの、属性と子要素を抽出する（Ｓ１０４）。 First, an XMI file acquired by the XMI reading unit 22 is read, and the following processing is performed on the child elements in the <uml: Model> tag of the XMI. For the first tag,
Data having a tag name as a name (hereinafter, this data is referred to as “tag name data”) is created (S102). Also, attributes and child elements of this tag are extracted (S104).

タグの属性情報は、タグ名データに対する制約「属性」の参照データに変換する（Ｓ１０６）。ここで、１つのタグ名データに対して、制約「属性」は１つのみとして、タグに複数の属性値がある場合は、それらの属性を全て同じ制約「属性」の参照データとする。また、制約「属性」の参照データは属性名とし、属性値は属性名に対する制約「値」の参照データとして変換する。   The tag attribute information is converted into reference data of the constraint “attribute” for the tag name data (S106). Here, there is only one constraint “attribute” for one tag name data, and when a tag has a plurality of attribute values, all these attributes are set as reference data of the same constraint “attribute”. Further, the reference data of the constraint “attribute” is converted into an attribute name, and the attribute value is converted as reference data of the constraint “value” with respect to the attribute name.

タグの子要素は、タグ名データに対する制約「構成」の参照データに変換する（Ｓ１０８）。ここで、１つのタグ名データに対して、制約「構成」は１つのみとして、タグに複数の子要素がある場合は、それらの子要素を全て同じ制約「構成」の参照データとする。   The child element of the tag is converted into reference data of the constraint “configuration” for the tag name data (S108). Here, there is only one constraint “configuration” for one tag name data. When a tag has a plurality of child elements, all the child elements are set as reference data of the same constraint “configuration”.

さらに、子要素についてもタグ毎に、再帰的に上記のルールを適用して変換を行う（Ｓ１１０）。   Further, the child elements are converted by applying the above rule recursively for each tag (S110).

このような処理により、ＵＭＬ作図ツール等によって作成されたＸＭＩ形式のファイルから本形式仕様記述図への変換が可能となる。変換の例は、図１１に示したとおりである。   By such processing, it is possible to convert an XMI format file created by a UML drawing tool or the like into this format specification description diagram. An example of conversion is as shown in FIG.

（４−５）モデル図変換部
モデル図変換部２４は、（３−３）で示したモデル図変換機能を実行する機能部である。ＸＭＩ変換部２３の出力結果である形式仕様記述図（ここでは、変換元図とも称する）と、記憶部２３に格納されているモデル図用類型定義、機械的記述類型パターン（変換ルール）とを取得し、これらに基づいて各データの意味を踏まえて変換元図の変換を行う。 (4-5) Model diagram conversion unit The model diagram conversion unit 24 is a functional unit that executes the model diagram conversion function shown in (3-3). A formal specification description diagram (herein also referred to as a conversion source diagram) which is an output result of the XMI conversion unit 23, a model diagram type definition and a mechanical description type pattern (conversion rule) stored in the storage unit 23 Acquire and convert the source map based on the meaning of each data.

モデル図変換部２４が行う処理の大まかな流れは、図１６に示すように、類型データの読込および関連づけ（Ｓ２０２）を行い、変換元図から変換対象データを抽出する（Ｓ２０４）。そして、週出された変換対象データに対して、類型データに示されたようなデータ構造変換（Ｓ２０６）および関係定義変換（Ｓ２０８）を実施する。以下、それぞれの処理について図１７〜図２０を参照して詳しく説明する。   As shown in FIG. 16, the general flow of processing performed by the model diagram conversion unit 24 reads and associates type data (S202), and extracts conversion target data from the conversion source diagram (S204). Then, the data structure conversion (S206) and the relationship definition conversion (S208) as shown in the type data are performed on the conversion target data put out a week. Each process will be described in detail below with reference to FIGS.

図１７は、類型データの読込および関連づけ処理（Ｓ２０２）の内容をより詳しく表したフローチャートである。まず、記憶部１３に記憶されている変換ルール定義類型を読み込む（Ｓ２０２−１）。そして、変換ルール定義類型に記載されている制約「同意」（図１２Ｄ）の参照データを探す。そして、探し出した参照データの名称と同じ名称のモデル図類型を探し（Ｓ２０２−３）、見つかった組合せを変換ルール−モデル図類型マッピングテーブルに登録する（Ｓ２０２−４）。なお、変換ルール−モデル図類型マッピングテーブルは記憶部１３に格納される。そして、上記の処理を全ての変換ルールについて繰り返して実行し（Ｓ２０２−５）、マッピングテーブルを構築する。   FIG. 17 is a flowchart showing the details of the type data reading and association processing (S202) in more detail. First, the conversion rule definition type stored in the storage unit 13 is read (S202-1). Then, the reference data of the constraint “agreement” (FIG. 12D) described in the conversion rule definition type is searched. Then, a model figure type having the same name as the name of the found reference data is searched (S202-3), and the found combination is registered in the conversion rule-model figure type mapping table (S202-4). The conversion rule-model diagram type mapping table is stored in the storage unit 13. Then, the above processing is repeated for all the conversion rules (S202-5), and a mapping table is constructed.

ステップＳ２０２−２〜Ｓ２０２−４の処理を、図１２および図１３の例に基づいて説明する。まず、変換ルール類型「機械的変換クラス」における制約「同意」の参照データ
の名称「クラスの類型」が抽出される（Ｓ２０２−２）。そして、これと同じ名称のモデル図類型「クラスの類型」（図１２Ｂ）が抽出される（Ｓ２０２−３）。変換ルール−モデル図類型マッピングテーブルには、変換ルール類型「機械的変換クラス」とモデル図用類型「クラスの類型」が関連づけて記憶される（Ｓ２０２−４）。また、図１３の例では、変換ルール類型「関係を示す類型」と、制約「同意」の参照データ名称「関係の類型」と同じ名称のモデル図類型「関係の類型」が、マッピングテーブルに関連づけて記憶される。 The processing of steps S202-2 to S202-4 will be described based on the examples of FIGS. First, the name “class type” of the reference data of the constraint “agreement” in the conversion rule type “mechanical conversion class” is extracted (S202-2). Then, a model diagram type “class type” (FIG. 12B) having the same name is extracted (S202-3). In the conversion rule-model diagram type mapping table, the conversion rule type “mechanical conversion class” and the model diagram type “class type” are stored in association with each other (S202-4). In the example of FIG. 13, the conversion rule type “type indicating relationship” and the model diagram type “relation type” having the same name as the reference data name “relation type” of the constraint “agreement” are associated with the mapping table. Is remembered.

図１８は、変換対象データの抽出処理（Ｓ２０４）の内容をより詳しく表しフローチャートである。まず、データ構造変換用および関係定義変換用の２種類の変換対象登録テーブルを記憶部１３に用意する（Ｓ２０４−１）。これらのマッピングテーブルには、以降の処理で見つかった変換対象データと、そのデータの変換で使用する変換ルール類型のマッピング情報が登録される。   FIG. 18 is a flowchart showing the details of the conversion target data extraction process (S204) in more detail. First, two types of conversion target registration tables for data structure conversion and relationship definition conversion are prepared in the storage unit 13 (S204-1). In these mapping tables, conversion target data found in subsequent processing and mapping information of conversion rule types used for conversion of the data are registered.

ステップＳ２０２で読み込んだ各変換ルール類型から対象変換データ名（制約「対象」の参照データ）を探し出し、変換元図からそのデータと同名のデータを全て抽出する（Ｓ２０４−２）。また、変換ルール類型から制約「構成」の記述を調べ、この変換ルールがデータ構造変換用のルールと、データとデータの関係定義（クラス図の継承関係など）の変換用のルールのいずれであるかを調べる（Ｓ２０４−３）。変換ルールがデータ構造変換用のルールである場合には、ステップＳ２０４−２で抽出したデータをデータ構造変換用の変換対象登録テーブルに登録し、変換ルールがデータ関係変換用のルールである場合には、抽出したデータを関係定義変換用の変換対象登録テーブルに登録する（Ｓ２０４−４）。   The target conversion data name (reference data for the constraint “target”) is found from each conversion rule type read in step S202, and all data having the same name as that data is extracted from the conversion source diagram (S204-2). Also, the description of the constraint “configuration” is examined from the type of conversion rule, and this conversion rule is either a rule for data structure conversion or a rule for conversion of data-data relationship definition (class diagram inheritance relationship, etc.). (S204-3). If the conversion rule is a data structure conversion rule, the data extracted in step S204-2 is registered in the conversion target registration table for data structure conversion, and the conversion rule is a data relationship conversion rule. Registers the extracted data in the conversion target registration table for relation definition conversion (S204-4).

ステップＳ２０４−２〜Ｓ２０４−４の処理を、図１２の例（データ構造変換）に基づいて説明する。まず、ステップＳ２０２で読み込んだ変換ルール類型「機械的変換クラス」から対象変換データ名（図１２Ｃでは、制約「対象」の参照データである「タグ名packagedElement、属性xmi:type="uml:Class」）を探し、変換元図（図１２Ａ）から同名のデータ（packagedElement）を抽出する（Ｓ２０４−２）。また、変換ルール類型「機械的
変換クラス」の制約「構成」の内容から、この変換ルールがデータ構造変換用ルールであることが判断される（Ｓ２０４−３）。したがって、変換対象データであるpackagedElementをデータ構造変換用の変換対象登録テーブルに登録する（Ｓ２０４−４）。なお、変
換対象packagedElementは、xmi:idで識別することができる。 The processing of steps S204-2 to S204-4 will be described based on the example (data structure conversion) in FIG. First, from the conversion rule type “mechanical conversion class” read in step S202, the target conversion data name (in FIG. 12C, “tag name packagedElement, attribute xmi: type =” uml: Class ”which is the reference data of the constraint“ target ”). ) Is extracted, and data (packagedElement) having the same name is extracted from the conversion source diagram (FIG. 12A) (S204-2). Further, it is determined from the content of the constraint “configuration” of the conversion rule type “mechanical conversion class” that this conversion rule is a data structure conversion rule (S204-3). Therefore, packagedElement which is conversion target data is registered in the conversion target registration table for data structure conversion (S204-4). The conversion target packagedElement can be identified by xmi: id.

また、ステップＳ２０４−２〜Ｓ２０４−４の処理を、図１３の例（関係定義変換）に基づいて説明する。ステップＳ２０２で読み込んだ変換ルール「関係を示す類型」から変換対象データ名（図１３Ａにおける制約「対象」の参照データ「タグ名generalization, 属性xmi:type=uml:Generalization」）を探し、変換元図から同名のデータを抽出する（
Ｓ２０４−２）。また、変換ルール類型「関係を示す類型」の制約「構成」の内容から、この変換ルールが関係定義変換用のルールであることが判断される（Ｓ２０４−３）。したがって、変換対象データ（generalization)を関係定義変換用の変換対象登録テーブル
に登録する（Ｓ２０４−４）。ここでも、変換対象はxmi:idで識別することができる。 Further, the processing of steps S204-2 to S204-4 will be described based on the example of FIG. 13 (relationship definition conversion). Search for the conversion target data name (reference data “tag name generalization, attribute xmi: type = uml: Generalization” of the constraint “target” in FIG. 13A) from the conversion rule “type indicating relationship” read in step S202, and the conversion source diagram Extract data with the same name from (
S204-2). Further, it is determined from the content of the constraint “configuration” of the conversion rule type “type indicating relationship” that this conversion rule is a rule for converting the relationship definition (S204-3). Therefore, the conversion target data (generalization) is registered in the conversion target registration table for relation definition conversion (S204-4). Again, the conversion target can be identified by xmi: id.

図１９は、データ構造変換処理（Ｓ２０６）の内容をより詳しく表したフローチャートである。ステップＳ２０４においてデータ構造変換用の変換対象登録テーブルに登録された変換対象ごとにこのフローチャート手順で変換を行って、結果をモデル図に追加する。ここでは、図１２の具体例を参照しながら説明する。   FIG. 19 is a flowchart showing the details of the data structure conversion process (S206) in more detail. For each conversion target registered in the conversion target registration table for data structure conversion in step S204, conversion is performed by this flowchart procedure, and the result is added to the model diagram. Here, description will be made with reference to a specific example of FIG.

まず、データ構造変換用の変換対象登録テーブルから、変換対象データと変換ルール類型の組を１つ取り出す（Ｓ２０６−１）。図１２の例では、ステップＳ２０４で変換対象
データ（packagedElement）と変換ルール類型「機械的変換クラス」が対応付けられてデ
ータ構造変換用の変換対象登録テーブルに登録されているので、これが取り出される。 First, one set of conversion target data and conversion rule type is extracted from the conversion target registration table for data structure conversion (S206-1). In the example of FIG. 12, the conversion target data (packagedElement) and the conversion rule type “mechanical conversion class” are associated with each other and registered in the conversion target registration table for data structure conversion in step S204.

取り出した変換ルール類型から、作成するデータ構造の基点となるデータの名称および、ＸＭＩにてそのデータに割り当てられているＩＤ（xmi:id）を取り出す（Ｓ２０６−２）。ステップＳ２０６−２で取り出した名前で新しいデータを作成し、モデル図に追加する（Ｓ２０６−３）。このデータがモデル図類型の基点データとなる。図１２Ｃの例では、基点となるデータの名称としてpackagedElementが取り出されて、データpackagedElementが基点となるデータとしてモデル図に追加される。また、ＸＭＩにてそのデータに割り当てられているＩＤ（図１２ＡではＩＤ属性は省略されている）が取り出される。   From the extracted conversion rule type, the name of the data serving as the base point of the data structure to be created and the ID (xmi: id) assigned to the data in the XMI are extracted (S206-2). New data is created with the name extracted in step S206-2 and added to the model diagram (S206-3). This data becomes the base data of the model diagram type. In the example of FIG. 12C, packagedElement is extracted as the name of data serving as a base point, and data packagedElement is added to the model diagram as data serving as a base point. Also, an ID assigned to the data by XMI (ID attribute is omitted in FIG. 12A) is taken out.

ステップＳ２０６−３で作成したデータシンボルと、ステップＳ２０６−２で取り出したＩＤの組をデータシンボル−データＩＤマッピングテーブルに登録する（Ｓ２０６−４）。このマッピングテーブルは、関係定義変換（ステップＳ２０８）にて使用される。   The combination of the data symbol created in step S206-3 and the ID extracted in step S206-2 is registered in the data symbol-data ID mapping table (S206-4). This mapping table is used in the relationship definition conversion (step S208).

ステップＳ２０２で作成した変換ルール−モデル図類型マッピングテーブルから、変換ルールに関連づけられているモデル図類型を取り出す（Ｓ２０６−５）。図１２の例では、変換ルール「機械的変換クラス」に紐付けられているモデル図類型「クラスの類型」が取り出される。   The model diagram type associated with the conversion rule is extracted from the conversion rule-model diagram type mapping table created in step S202 (S206-5). In the example of FIG. 12, the model diagram type “class type” associated with the conversion rule “mechanical conversion class” is extracted.

変換ルール類型の「構成」以下の部分から、変換元図のデータ構造と、モデル図類型のデータ位置との組合せを１つ取り出す（Ｓ２０６−６）。そして、取り出したデータ構造を元に、変換元図の該当箇所を探し出し、その値を取り出す（Ｓ２０６−８）。図１２の例では、変換ルール（図１２Ｃ）の「構成」以下から、たとえば、データ構造「ownedAttribute <- 属性 - name」が取り出され、変換元図（図１２Ａ）における対応する構造の
値「arg:int」が取り出される。 One combination of the data structure of the conversion source diagram and the data position of the model diagram type is extracted from the portion below the “configuration” of the conversion rule type (S206-6). Then, based on the extracted data structure, the corresponding part of the conversion source diagram is searched for and the value is extracted (S206-8). In the example of FIG. 12, for example, the data structure “ownedAttribute <-attribute-name” is extracted from the “configuration” of the conversion rule (FIG. 12C), and the value “arg” of the corresponding structure in the conversion source diagram (FIG. 12A). : int "is extracted.

次に、ステップＳ２０６−６で取り出したモデル図類型のデータ位置を元に、作成するデータ位置を調べ、その位置に取得したデータ名称のデータまたは制約を作成する（Ｓ２０６−９）。図１２の例では、取り出したデータ構造「ownedAttribute <- 属性 - name
」は制約「変換」として「属性」が指定されているので、モデル図類型において作成するデータ位置は制約「制約候補」の参照データ「属性」がある位置であることが分かる。したがって、モデル図において、データ「ownedAttribute」に対して、制約「属性」を作成し、その参照データは変換元図において対応する値である「arg:int」とする。 Next, based on the model diagram type data position extracted in step S206-6, the data position to be created is checked, and data of the data name acquired at that position or constraint is created (S206-9). In the example of FIG. 12, the extracted data structure “ownedAttribute <-attribute-name
Since “attribute” is designated as the constraint “conversion”, it can be seen that the data position created in the model diagram type is the position where the reference data “attribute” of the constraint “constraint candidate” is present. Therefore, in the model diagram, a constraint “attribute” is created for the data “ownedAttribute”, and the reference data is “arg: int” which is a corresponding value in the conversion source diagram.

ステップＳ２０６−６〜Ｓ２０６−９の処理を、変換ルールにおける「構成」全てについて行うことで、１つの変換ルールに定義されたデータおよび制約の変換が全て行われることになる。図１２に例では、データ構造「ownedAttribute <- 属性 - name」について
の処理が終わったら、次にデータ構造「ownedAttribute <- 属性 - visibility」の処理
が行われ、変換ルールにおける全ての変換が行われる。 By performing the processing of steps S206-6 to S206-9 for all the “configurations” in the conversion rule, all conversion of data and constraints defined in one conversion rule is performed. In the example of FIG. 12, when the process for the data structure “ownedAttribute <-attribute-name” is finished, the process for the data structure “ownedAttribute <-attribute-visibility” is performed, and all conversions in the conversion rule are performed. .

１つの変換対象について、複数の変換ルールを適用しても良いので、現在の変換対象に対してまだ処理を行っていない変換ルールがある場合には、その変換ルールについて上記の処理を繰り返す（Ｓ２０６−１０）。なお、複数のルールを用いて変換する場合には、同一データを複数回変換することがあり得る。この場合は、変換する名称のデータが既に変換されている場合には、そのデータを共有する形で変換を行い、同じ名前のデータが変換後のモデル図に複数個現れないようにする。   Since a plurality of conversion rules may be applied to one conversion target, if there is a conversion rule that has not yet been processed for the current conversion target, the above processing is repeated for that conversion rule (S206). -10). In addition, when converting using a plurality of rules, the same data may be converted a plurality of times. In this case, if the data with the name to be converted has already been converted, the data is converted in a shared form so that a plurality of data with the same name does not appear in the converted model diagram.

以上のようにして、１つの変換対象について、機械的変換結果（変換元図）からデータ構造の変換処理が完了する。変換対象登録テーブルに登録された全ての変換対象について
上記の処理を行うことで、変換元図の全ての要素がモデル図に変換される。 As described above, the data structure conversion process is completed from the mechanical conversion result (conversion source diagram) for one conversion target. By performing the above processing for all conversion targets registered in the conversion target registration table, all elements of the conversion source diagram are converted into model diagrams.

図２０は、関係定義変換処理の内容をより詳しく表したフローチャートである。ステップＳ２０４において関係定義変換用の変換対象登録テーブルに登録された変換対象ごとにこのフローチャートの手順で変換を行って、結果をモデル図に追加する。ここでは、図１３の具体例を参照しながら説明する。   FIG. 20 is a flowchart showing the details of the relationship definition conversion process in more detail. For each conversion target registered in the conversion target registration table for relation definition conversion in step S204, conversion is performed according to the procedure of this flowchart, and the result is added to the model diagram. Here, description will be made with reference to a specific example of FIG.

まず、関係定義変換用の変換対象登録テーブルから、変換対象データと変換ルール類型の組を１つ取り出す（Ｓ２０８−１）。図１３の例では、変換対象データ（generalization）と変換ルール類型「関係を示す類型」が取り出される。   First, one set of conversion target data and conversion rule type is extracted from the conversion target registration table for relationship definition conversion (S208-1). In the example of FIG. 13, the conversion target data (generalization) and the conversion rule type “type indicating relationship” are extracted.

次に、変換ルール類型から、関係における「データ」の役割となるデータを探すためのパターンを探す（Ｓ２０８−２）。また、変換ルール類型から、関係における「参照データ」の役割となるデータを探すためのパターンを探す（Ｓ２０８−３）。ステップＳ２０８−２で見つかったパターンにマッチするデータ構造を変換対象データの制約以下の部分から探し、見つかったデータ構造から「データ」に相当するデータシンボルを示すＩＤを取り出す。同様に、ステップＳ２０８−３で見つかったパターンにマッチするデータ構造を変換対象データの制約以下の部分から探し、見つかったデータ構造から「参照データ」に相当するデータシンボルを示すＩＤを取り出す。図１３の例では、「データ」の役割を探すためのパターンは構成「データ１」である（実際には「データ１」に対して更に制約が加えられていても良い）。そして、このパターン「データ１」に対応するデータ構造を変換元図（不図示）から求め、そのデータシンボルＩＤを取得する。同様に、「参照データ」の役割を探すためのパターンとして構成「データ２」が得られ、これに対応する変換元図におけるデータシンボルのＩＤを取得する。   Next, a pattern for searching for data serving as “data” in the relationship is searched for from the conversion rule type (S208-2). Further, a pattern for searching for data serving as “reference data” in the relationship is searched from the conversion rule type (S208-3). A data structure that matches the pattern found in step S208-2 is searched from the portion below the restriction of the conversion target data, and an ID indicating a data symbol corresponding to “data” is extracted from the found data structure. Similarly, a data structure that matches the pattern found in step S208-3 is searched from the portion below the restriction of the conversion target data, and an ID indicating a data symbol corresponding to “reference data” is extracted from the found data structure. In the example of FIG. 13, the pattern for searching for the role of “data” is the configuration “data 1” (actually, further restrictions may be added to “data 1”). Then, a data structure corresponding to this pattern “data 1” is obtained from a conversion source diagram (not shown), and the data symbol ID is obtained. Similarly, the configuration “data 2” is obtained as a pattern for searching for the role of “reference data”, and the ID of the data symbol in the conversion source diagram corresponding to this is obtained.

そして、ステップＳ２０６−４で作成したデータシンボル−データシンボルＩＤマッピングテーブルを用いて、ステップＳ２０８−４，５で見つけたＩＤに対応するモデル図上のデータを探し出す（Ｓ２０８−６）。変換ルール類型の制約「名称」の参照データを元に、変換元図から制約名を取り出す。ステップＳ２０８−６で見つけたデータと参照データをつなぐ制約を作成し、この制約の名称をステップＳ２０８−７で取り出した名前とする。   Then, using the data symbol-data symbol ID mapping table created in step S206-4, data on the model diagram corresponding to the ID found in steps S208-4 and 5 is searched (S208-6). Based on the reference data of the constraint “name” of the conversion rule type, the constraint name is extracted from the conversion source diagram. A constraint connecting the data found in step S208-6 and the reference data is created, and the name of this constraint is the name extracted in step S208-7.

１つの変換対象について、複数の変換ルールを適用しても良いので、現在の変換対象に対してまだ処理を行っていない変換対象がある場合には、その変換対象について上記の処理を繰り返す。   Since a plurality of conversion rules may be applied to one conversion target, if there is a conversion target that has not yet been processed for the current conversion target, the above processing is repeated for that conversion target.

以上のようにして、１つの変換対象について、機械的変換結果（変換元図）からデータ構造の変換処理が完了する。変換対象登録テーブルに登録された全ての変換対象について上記の処理を行うことで、変換元図の全ての要素がモデル図に変換される。   As described above, the data structure conversion process is completed from the mechanical conversion result (conversion source diagram) for one conversion target. By performing the above processing for all conversion targets registered in the conversion target registration table, all elements of the conversion source diagram are converted into model diagrams.

（４−６）変換例
以上のような変換によって、ＵＭＬ作図ツール等が出力するＸＭＩから、データの意味などを考慮して表現された形式仕様記述図への変換の具体例を例示する。 (4-6) Conversion Example A specific example of conversion from the XMI output by the UML drawing tool or the like to the formal specification description diagram expressed in consideration of the meaning of the data by the above conversion is illustrated.

図２１に変換元となるＸＭＩ表現を示す。このＸＭＩ表現を入力として、ＸＭＩ変換部２３によって図１６に示したＸＭＩ変換（機械的変換）を行って得られる形式仕様記述を図２２，２３に示す。ここでは、一部の表現を省略して示している。各タグ要素について、属性情報については「属性名＝属性値」の形式が「[属性] - 属性名 <- [値] - 属性値」という形式に変換される。子要素について、制約「構成」の参照データに変換され、再帰的に制約「属性」「構成」が記述される。機械的変換では、このようにＸＭＩにおける
属性情報であるか子要素であるかという構造のみに着目して変換が行われるので、変換結果は膨大なものとなり、ユーザにとって必ずしも見やすいものではない。 FIG. 21 shows an XMI expression as a conversion source. FIG. 22 and FIG. 23 show formal specification descriptions obtained by performing the XMI conversion (mechanical conversion) shown in FIG. 16 using the XMI expression as an input. Here, some expressions are omitted. For each tag element, the attribute information is converted from “attribute name = attribute value” to “[attribute]-attribute name <-[value]-attribute value”. The child element is converted into the reference data of the constraint “configuration”, and the constraints “attribute” and “configuration” are recursively described. In the mechanical conversion, since the conversion is performed by paying attention only to the structure of whether it is attribute information or a child element in XMI, the conversion result becomes enormous and is not always easy for the user to see.

このような機械的変換結果は、設計情報・仕様情報として意味を持つ項目の抽出に重点を置いて変換（モデル図変換）することで、設計情報を見やすくすることができる。図２４は、モデル図変換の結果となる形式仕様記述図の類型（モデル図類型）である。ここでは、変換対象のＸＭＩがクラス図を表したものであるために、クラス図を形式仕様記述図で表したときの類型を定義して使用している。なお、図２４では、類型「クラス」の中で類型「関数」を参照しているため、類型「関数」についても図中に示している。   Such mechanical conversion results are converted (model diagram conversion) with emphasis on extraction of items having meaning as design information / specification information, thereby making it easy to view the design information. FIG. 24 shows types of model specification description diagrams (model diagram types) resulting from model diagram conversion. Here, since the XMI to be converted represents a class diagram, a type when the class diagram is represented by a formal specification description diagram is defined and used. In FIG. 24, since the type “function” is referred to in the type “class”, the type “function” is also shown in the figure.

図２５は、モデル図変換におけるデータ構造変換ルール（機械的記述類型）を示す。ここでは、制約「対象」に「packageElement <- [属性] - xmi:type <- [値] - uml:Class
」が指定されているので、機械的変換結果における同様のデータ構造が変換対象であることが示されている。また、制約「構成」には、各データ構造が示す値を、モデル図類型におけるどの箇所に挿入するかが記述されている。ここでは、例えば、ownedAttributeの属性名nameがとる値（属性値）を、制約「属性」の参照データに変換することが、制約「変換」によって表されている。 FIG. 25 shows data structure conversion rules (mechanical description types) in model diagram conversion. Here, the constraint "target" is "packageElement <-[attribute]-xmi: type <-[value]-uml: Class
”Is designated, it is indicated that the same data structure in the mechanical conversion result is the conversion target. Further, the constraint “configuration” describes in which position in the model diagram type the value indicated by each data structure is to be inserted. Here, for example, converting the value (attribute value) of the attribute name name of ownedAttribute into reference data of the constraint “attribute” is represented by the constraint “conversion”.

同様に、図２６は、モデル図変換における関係定義変換ルールを示す。変換対象が「generalization <- [属性] - xmi:type <- [値] - uml:Generalization」と指定されている。ここでは制約の名称が省略されていることから、関係定義変換における制約の名称は類型名である「継承」が利用される。また、この制約「継承」のデータとなるデータ構造（general）と参照データとなるデータ構造（specific）が定義されている。   Similarly, FIG. 26 shows relationship definition conversion rules in model diagram conversion. Conversion target is specified as "generalization <-[attribute]-xmi: type <-[value]-uml: Generalization". Since the name of the constraint is omitted here, “inheritance” which is a type name is used as the name of the constraint in the relationship definition conversion. In addition, a data structure (general) serving as data of the constraint “inheritance” and a data structure (specific) serving as reference data are defined.

図２７は、モデル図変換において、モデル図類型（ここでは「クラス」）の形式仕様記述図を作成する際に、「機械的変換クラス」と「継承」の」２つの変換ルールを利用することが表されている。   FIG. 27 shows that two conversion rules “mechanical conversion class” and “inheritance” are used when creating a formal specification description diagram of a model diagram type (here “class”) in model diagram conversion. Is represented.

図２８は、図２２，２３に示す機械的変換結果である形式仕様記述図を入力として、図２４〜図２７に示した定義にしたがって、上記で説明した図１７〜図２０の処理（モデル図変換）を行った結果として得られる形式仕様記述図である。このように、設計情報・仕様情報として重要なデータを抽出してモデル図類型の適切な箇所に配置することで、最終的に得られるモデル図は、ユーザにとって見やすいものとなる。   28 receives the formal specification description diagram, which is the mechanical conversion result shown in FIGS. 22 and 23, as an input, and the processes (model diagrams) shown in FIGS. 17 to 20 described above according to the definitions shown in FIGS. It is a formal specification description diagram obtained as a result of performing conversion. In this way, by extracting important data as design information / specification information and arranging it at an appropriate location in the model diagram type, the model diagram finally obtained becomes easy to see for the user.

＜５．本実施形態の作用・効果＞
以上のように、本実施形態によれば、機能要求と非機能要求を統一的に記述可能な新規な形式仕様記述表現において、既存のＵＭＬツール等によって作成された機能要求を表す仕様情報を取り込んで利用することができる。この際、設計情報として重要な意味を持つ項目を抽出することができるので、ユーザにとって見やすい形式仕様記述図の作成が可能となる。 <5. Action and effect of this embodiment>
As described above, according to the present embodiment, in a new formal specification description expression that can describe functional requests and non-functional requirements in a unified manner, specification information representing functional requirements created by an existing UML tool or the like is captured. Can be used. At this time, since items having important meaning as design information can be extracted, it is possible to create a formal specification description diagram that is easy for the user to see.

＜６．その他＞
なお、以上の説明では、主にクラス図を表したＸＭＩ表現を形式仕様記述図に変換する場合を例として説明しているが、上記の説明から明らかなように、作図用類型と変換ルールを適切に設定することでクラス図以外のＸＭＩ表現についても、その意味を考慮して適切な構造で取り込むことが可能である。たとえば、クラス図以外に、状態機械図、アクティビティ図、シーケンス図、ユースケース図など任意のＵＭＬ図を形式仕様記述図に変換できる。もちろん、形式仕様記述図への変換はＵＭＬ図に限られず、ＸＭＩで表現されたデータ構造であれば変換可能である。 <6. Other>
In the above description, the case where XMI representation that mainly represents a class diagram is converted into a formal specification description diagram is described as an example, but as is clear from the above description, the drawing type and conversion rules are changed. By appropriately setting, XMI expressions other than class diagrams can be taken in with an appropriate structure in consideration of the meaning. For example, in addition to the class diagram, any UML diagram such as a state machine diagram, activity diagram, sequence diagram, and use case diagram can be converted into a formal specification description diagram. Of course, the conversion to the formal specification description diagram is not limited to the UML diagram, and any data structure expressed in XMI can be converted.

１１ データ処理部
１２ 通信処理部
１３ 記憶部
１４ 出力部
１５ 入力部
２１ 作図ツール
２２ ＸＭＩ読込部
２３ ＸＭＩ変換部
２４ モデル図変換部 DESCRIPTION OF SYMBOLS 11 Data processing part 12 Communication processing part 13 Storage part 14 Output part 15 Input part 21 Drawing tool 22 XMI reading part 23 XMI conversion part 24 Model figure conversion part

Claims (10)

ＸＭＩ形式で表現された仕様情報を、データと、そのデータが受ける制約の名称と、その制約の内容を表す参照データとの関連づけによって記述する形式仕様表現の仕様情報に変換する仕様作成支援装置であって、
ＸＭＩ形式の仕様情報を読み込む読込手段と、
ＸＭＩ形式の仕様情報における、属性情報と子要素の関係に基づいて、ＸＭＩ形式における構造を保ったまま前記形式仕様表現に変換した表現である機械的変換仕様情報に変換するＸＭＩ変換手段と、
前記形式仕様表現の仕様情報のテンプレートと、前記機械的変換仕様情報におけるデータの値を前記テンプレートのいずれの部分に代入するかを記述した変換ルールとを記憶した記憶する記憶手段と、
前記仕様情報のテンプレートと前記変換ルールとに基づいて、前記機械的変換仕様情報を形式仕様表現の仕様情報に変換するモデル図変換手段と、
を備える仕様作成支援装置。 A specification creation support device that converts specification information expressed in XMI format into specification information of a formal specification expression described by associating data, the name of the constraint that the data receives, and reference data representing the content of the constraint. There,
Reading means for reading specification information in XMI format;
XMI conversion means for converting into mechanical conversion specification information which is an expression converted into the formal specification expression while maintaining the structure in the XMI format based on the relationship between the attribute information and the child element in the specification information in the XMI format;
Storage means for storing a template of specification information of the formal specification expression, and a conversion rule describing which part of the template the value of data in the mechanical conversion specification information is substituted;
Model diagram conversion means for converting the mechanical conversion specification information into specification information of formal specification expression based on the template of the specification information and the conversion rule;
Specification creation support device comprising: 前記テンプレートおよび前記変換ルールのいずれもが、前記形式仕様表現の仕様情報として記述されている、
請求項１に記載の仕様作成支援装置。 Both the template and the conversion rule are described as specification information of the formal specification expression.
The specification creation support apparatus according to claim 1. 前記ＸＭＩ変換手段は、
ＸＭＩ形式の仕様情報におけるタグ要素の属性情報を、タグ要素を表すデータに対する制約「属性」の参照データに変換し、
ＸＭＩ形式の仕様情報におけるタグ要素の子要素を、タグ要素を表すデータに対する制約「構成」の参照データに変換し、
各タグ要素について再帰的に、属性情報と子要素の変換を実行する、
請求項１または２に記載の仕様作成支援装置。 The XMI conversion means includes:
The attribute information of the tag element in the specification information in the XMI format is converted into reference data of the constraint “attribute” for the data representing the tag element,
The child element of the tag element in the specification information in the XMI format is converted into the reference data of the constraint “configuration” for the data representing the tag element,
Recursively transform attribute information and child elements for each tag element,
The specification creation support apparatus according to claim 1 or 2. 前記仕様情報のテンプレートは、データ毎に取り得る制約の候補および、制約毎に取り得る参照データの候補を記述したものである、
請求項１〜３のいずれかに記載の仕様作成支援装置。 The specification information template is a description of constraint candidates that can be taken for each data and reference data candidates that can be taken for each constraint.
The specification creation support apparatus according to claim 1. 前記変換ルールは、変換対象とする機械的変換仕様情報におけるデータを、前記テンプレートにおける制約の候補または参照データの候補のいずれに対応付けるかを記述しており、
前記モデル図変換手段は、前記変換ルールにおいて変換対象として記述された前記機械的変換仕様情報におけるデータの制約「値」の参照データが、前記テンプレートにおける制約の候補または参照データの候補と一致する場合に、前記制約「値」の参照データを前記制約または参照データとして形式仕様表現の仕様情報に変換する、
請求項４に記載の仕様作成支援装置。 The conversion rule describes whether the data in the mechanical conversion specification information to be converted is associated with a constraint candidate or a reference data candidate in the template,
When the model diagram conversion means matches the reference data of the data constraint “value” in the mechanical conversion specification information described as the conversion target in the conversion rule with the constraint candidate or the reference data candidate in the template To convert the reference data of the constraint “value” into the specification information of the formal specification expression as the constraint or reference data.
The specification creation support apparatus according to claim 4. ＸＭＩ形式で表現された仕様情報を、データと、そのデータが受ける制約の名称と、その制約の内容を表す参照データとの関連づけによって記述する形式仕様表現の仕様情報に変換する仕様作成支援方法であって、
変換の最終結果である前記形式仕様表現の仕様情報のテンプレートと、変換の途中結果である機械的変換仕様情報におけるデータの値を前記テンプレートのいずれの部分に代入するかを記述した変換ルールとを記憶した記憶する記憶手段を有するコンピュータが、
ＸＭＩ形式の仕様情報を読み込む読込工程と、
ＸＭＩ形式の仕様情報における、属性情報と子要素の関係に基づいて、ＸＭＩ形式における構造を保ったまま前記形式仕様表現に変換した表現である機械的変換仕様情報に変換
するＸＭＩ変換工程と、
前記仕様情報のテンプレートと前記変換ルールとに基づいて、前記機械的変換仕様情報を形式仕様表現の仕様情報に変換するモデル図変換工程と、
を実行する、仕様作成支援方法。 A specification creation support method that converts specification information expressed in the XMI format into specification information of a formal specification expression described by associating data with the name of the constraint that the data receives and the reference data that represents the content of the constraint. There,
A template of specification information of the formal specification expression that is the final result of conversion, and a conversion rule that describes in which part of the template the value of data in the mechanical conversion specification information that is an intermediate result of conversion is substituted A computer having storage means for storing
A reading process for reading XMI format specification information;
An XMI conversion step of converting into mechanical conversion specification information which is an expression converted into the formal specification expression while maintaining the structure in the XMI format based on the relationship between attribute information and child elements in the specification information in the XMI format;
Based on the specification information template and the conversion rule, a model diagram conversion step of converting the mechanical conversion specification information into specification information of formal specification expression,
Specification creation support method to execute. 前記テンプレートおよび前記変換ルールのいずれもが、前記形式仕様表現の仕様情報として記述されている、
請求項６に記載の仕様作成支援方法。 Both the template and the conversion rule are described as specification information of the formal specification expression.
The specification creation support method according to claim 6. 前記ＸＭＩ変換工程では、
ＸＭＩ形式の仕様情報におけるタグ要素の属性情報を、タグ要素を表すデータに対する制約「属性」の参照データに変換し、
ＸＭＩ形式の採用上におけるタグ要素の子要素を、タグ要素を表すデータに対する制約「構成」の参照データに変換し、
各タグ要素について再帰的に、属性情報と子要素の変換を実行する、
請求項６または７に記載の仕様作成支援方法。 In the XMI conversion step,
The attribute information of the tag element in the specification information in the XMI format is converted into reference data of the constraint “attribute” for the data representing the tag element,
The child element of the tag element in the adoption of the XMI format is converted into reference data of the constraint “configuration” for the data representing the tag element,
Recursively transform attribute information and child elements for each tag element,
The specification creation support method according to claim 6 or 7. 前記仕様情報のテンプレートは、データ毎に取り得る制約の候補および、制約毎に取り得る参照データの候補を記述したものである、
請求項６〜８のいずれかに記載の仕様作成支援方法。 The specification information template is a description of constraint candidates that can be taken for each data and reference data candidates that can be taken for each constraint.
The specification creation support method according to any one of claims 6 to 8. 前記変換ルールは、変換対象とする機械的変換仕様情報におけるデータを、前記テンプレートにおける制約の候補または参照データの候補のいずれに対応付けるかを記述しており、
前記モデル図変換工程では、前記変換ルールにおいて変換対象として記述された機械的変換仕様情報におけるデータの制約「値」の参照データが、前記テンプレートにおける制約の候補または参照データの候補と一致する場合に、前記制約「値」の参照データを前記制約または参照データとして形式仕様表現の仕様情報に変換する、
請求項９に記載の仕様作成支援方法。 The conversion rule describes whether the data in the mechanical conversion specification information to be converted is associated with a constraint candidate or a reference data candidate in the template,
In the model diagram conversion step, when the reference data of the data constraint “value” in the mechanical conversion specification information described as the conversion target in the conversion rule matches the constraint candidate or the reference data candidate in the template , Converting the reference data of the constraint “value” into the specification information of the formal specification expression as the constraint or reference data.
The specification creation support method according to claim 9.
JP2011046261A 2011-03-03 2011-03-03 Specification creation support device and method Withdrawn JP2012185533A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2011046261A JP2012185533A (en) 2011-03-03 2011-03-03 Specification creation support device and method

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2011046261A JP2012185533A (en) 2011-03-03 2011-03-03 Specification creation support device and method

Publications (1)

Publication Number Publication Date
JP2012185533A true JP2012185533A (en) 2012-09-27

Family

ID=47015595

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2011046261A Withdrawn JP2012185533A (en) 2011-03-03 2011-03-03 Specification creation support device and method

Country Status (1)

Country Link
JP (1) JP2012185533A (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113609556A (en) * 2021-07-20 2021-11-05 国网河北省电力有限公司雄安新区供电公司 GIM format and XDB format lossless conversion method of basic C #, and base XDB format lossless conversion method

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113609556A (en) * 2021-07-20 2021-11-05 国网河北省电力有限公司雄安新区供电公司 GIM format and XDB format lossless conversion method of basic C #, and base XDB format lossless conversion method
CN113609556B (en) * 2021-07-20 2023-09-08 国网河北省电力有限公司雄安新区供电公司 GIM format and XDB format lossless conversion method based on C#

Similar Documents

Publication Publication Date Title
CN105528418B (en) A kind of design documentation generation method and device
US20210012103A1 (en) Systems and methods for information extraction from text documents with spatial context
US20060259891A1 (en) System and method of generating an auto-wiring script
US7243314B2 (en) Window operation interface for graphically revising electrical constraint set and method of using the same
JP2019046457A (en) Method, apparatus, and device for generating visual model layout of space
US9304981B1 (en) System and method for providing an inter-application overlay to communicate information between users and tools in the EDA design flow
CN116245052A (en) Drawing migration method, device, equipment and storage medium
US20240061993A1 (en) Multi-component abstract association and fusion method and apparatus in page design
JPWO2006103760A1 (en) Document conversion utilization system
CN109684751B (en) Method, device, equipment and system for calling large sample graph of fabricated building
JP2006277127A (en) Method for comparing correction program
JP2012185533A (en) Specification creation support device and method
JP2006338134A (en) Method and system for managing facility data
JP3981804B2 (en) Conversion table generation method and apparatus, and mounting board inspection program generation method
KR100349677B1 (en) Component-based open gis apparatus
JP2015011685A (en) Business rule management system and business rule management method
JP5589396B2 (en) Layout support device, layout support method, and program
JP2013084100A (en) Component management program and component management device
CN118211569B (en) Method and device for automatically converting FLASK annotation into API document
JP3698247B2 (en) Object-oriented development support device
JP5600826B1 (en) Unstructured data processing system, unstructured data processing method and program
JP5331015B2 (en) Drawing management system and drawing management method
JP2009157470A (en) Electronic document processor and program
JP2018181149A (en) Information processing apparatus and program
JP2010157165A (en) Information processor, information processing method, and program

Legal Events

Date Code Title Description
A300 Withdrawal of application because of no request for examination

Free format text: JAPANESE INTERMEDIATE CODE: A300

Effective date: 20140513