JP3034265B2 - State transition display method - Google Patents
State transition display methodInfo
- Publication number
- JP3034265B2 JP3034265B2 JP3046190A JP3046190A JP3034265B2 JP 3034265 B2 JP3034265 B2 JP 3034265B2 JP 3046190 A JP3046190 A JP 3046190A JP 3046190 A JP3046190 A JP 3046190A JP 3034265 B2 JP3034265 B2 JP 3034265B2
- Authority
- JP
- Japan
- Prior art keywords
- state
- state transition
- input
- value
- transition diagram
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Landscapes
- Stored Programmes (AREA)
Description
【発明の詳細な説明】 ［発明の目的］ （産業上の利用分野） 本発明はソフトウェアの設計を支援する上で、特に状
態遷移仕様の作成を支援する状態遷移表示方法に関す
る。DETAILED DESCRIPTION OF THE INVENTION [Purpose of the Invention] (Industrial application field) The present invention relates to a state transition display method for supporting software design, and particularly for supporting creation of a state transition specification.
（従来の技術） オンラインシステムなどのようなリアルタイムシステ
ムを設計しようとする場合にはシステムの状態の遷移を
表現する状態遷移記述は不可欠である。(Prior Art) When a real-time system such as an online system is to be designed, a state transition description expressing a state transition of the system is indispensable.
そして状態遷移記述としては、次のようなものがあ
る。The state transition description is as follows.
円と矢印で表現する状態遷移図を代表とする図形記
述。A graphic description represented by a state transition diagram represented by circles and arrows.
状態の真偽を論理変数に割振り、述語などでその真偽
を表現する論理記述。A logical description that assigns the truth of a state to a logical variable and expresses the truth with a predicate.
例えばデ−タフロ−などの他のシステム要素の記述と
合せて表現する言語記述。For example, a language description expressed together with a description of other system elements such as data flow.
また従来のシステム設計における状態遷移記述を支援
する装置の機能は、すべての状態遷移を入力した後に編
集する編集支援機能が主なものであった。The function of a device that supports state transition description in a conventional system design is mainly an editing support function that edits after inputting all state transitions.
また、その他の機能としては入力された状態遷移記述
がシステムとして与えられた仕様を満足しているか否か
を判定する検証機能や、仮の値を与えてシステムの動作
を模擬するシミュレ−ションがあった。Other functions include a verification function that determines whether the input state transition description satisfies the specifications given as a system, and a simulation that gives temporary values to simulate the operation of the system. there were.
しかしながら、このような従来の状態遷移仕様作成支
援装置では状態遷移の全てを入力した後で状態遷移記述
の妥当性を検証していたため、状態および状態変数の不
足がある場合には、システム設計の段階での検証を行っ
たとしても矛盾がなく、最終プログラムの実行まで不具
合を発見できないという問題があった。However, in such a conventional state transition specification creation supporting apparatus, the validity of the state transition description is verified after all the state transitions are input. Even if the verification is performed at the stage, there is no inconsistency, and there is a problem that a defect cannot be found until the final program is executed.
（発明が解決しようとする課題） 上述したように、従来の状態遷移仕様作成支援方式で
は、状態遷移の全てを入力した後で状態遷移仕様の妥当
性を検証していたため、状態および状態変数の不足があ
る場合には、システム設計の段階での検証を行ったとし
ても矛盾がなく、最終プログラムの実行まで不具合を発
見できないという問題があった。(Problems to be Solved by the Invention) As described above, in the conventional state transition specification creation support method, the validity of the state transition specification is verified after inputting all the state transitions. If there is a shortage, there is a problem that even if verification is performed at the system design stage, there is no inconsistency and no defect can be found until the final program is executed.
本発明は上記問題点を解決すべく創案されたもので、
状態遷移記述の途中の段階において状態および状態変数
の不足の発見を容易にする状態遷移仕様作成支援装置を
提供することを目的とする。The present invention has been made to solve the above problems,
It is an object of the present invention to provide a state transition specification creation support device that facilitates finding a lack of a state and a state variable at a stage in a state transition description.
［発明の構成］ （課題を解決するための手段） 上記日的を達成するための本発明の状態遷移仕様作成
支援方法は、システムの動作を表現する状態遷移仕様の
作成を支援する状態遷移表示方法において、着目された
状態が入力されたとき、この状態の否定の状態が存在す
るか否かを問い合わせる問い合わせメッセージを表示
し、前記問い合わせメッセージに応答して、前記否定の
状態及びこの状態に対応する状態変数の値が入力された
とき、入力された否定の状態に対応する状態変数の値と
前記着目された状態に対応する状態変数の値とを比較
し、この比較により前記入力された否定の状態に対応す
る状態変数の値と前記着目された状態に対応する状態変
数の値とが全て一致した場合、新たな状態変数の追加を
要求するメッセージを表示することを特徴としている。[Structure of the Invention] (Means for Solving the Problems) A state transition specification creation supporting method according to the present invention for achieving the above-mentioned date is a state transition display for supporting creation of a state transition specification expressing operation of a system. In the method, when a state of interest is input, displaying an inquiry message asking whether a negative state of this state exists, responding to the inquiry message, and responding to the negative state and this state When the value of the state variable to be input is input, the value of the state variable corresponding to the input negation state is compared with the value of the state variable corresponding to the noted state, and the comparison results in the input negation. When the value of the state variable corresponding to the state of interest and the value of the state variable corresponding to the state of interest all match, a message requesting the addition of a new state variable is displayed. It is characterized by a door.
（作 用） 本発明の状態遷移表示方法では、入力された状態の否
定の状態が設計者に対して表示される。(Operation) In the state transition display method of the present invention, a negative state of the input state is displayed to the designer.
また新たな状態が設計者によって入力されたときに、
この新たな状態が先に入力された状態と状態変数により
区別不可能な場合には、設計者に新たな状態変数の追加
を要求する。Also, when a new state is entered by the designer,
If the new state cannot be distinguished from the previously input state by the state variables, the designer is requested to add a new state variable.
したがって、状態遷移記述の途中の段階において状態
および状態変数の不足の発見が容易となる。Therefore, it is easy to find the shortage of the state and the state variable in the middle of the state transition description.
（実施例） 以下、本発明の実施例を図面を用いて説明する。(Example) Hereinafter, an example of the present invention is described using a drawing.
第２図は状態遷移図作成支援装置の構成を示す図であ
る。FIG. 2 is a diagram showing a configuration of a state transition diagram creation support device.
同図において、１は設計者からの情報を入力する入力
部であり、２は設計者に対して情報を表示する表示部で
ある。３は入力部１および表示部２を制御するとともに
入力部１からの情報に従って表示部に情報を出力する情
報処理部である。In FIG. 1, reference numeral 1 denotes an input unit for inputting information from a designer, and 2 denotes a display unit for displaying information to the designer. An information processing unit 3 controls the input unit 1 and the display unit 2 and outputs information to the display unit according to the information from the input unit 1.
第１図は本発明の一実施例の状態遷移図作成支援装置
の情報処理部３の動作を示すフロ−チャ−トである。FIG. 1 is a flowchart showing the operation of the information processing section 3 of the state transition diagram creation support device according to one embodiment of the present invention.
第３図は石油をモ−タでバ−ナに送り、イグニッショ
ンで点火するヒ−タ制御システムの未完成の状態遷移図
である。FIG. 3 is an incomplete state transition diagram of a heater control system in which oil is sent to a burner by a motor and ignited by an ignition.
なお、この状態遷移図においての状態変数は、第１表
に示すように値が設定されている。The values of the state variables in the state transition diagram are set as shown in Table 1.
この状態遷移図では、まずモ−タが停止し、イグニッ
ションが停止し、バルブが閉じた状態11の「停止」から
石油を送るためのモ−タが回りだし状態12の「加速」へ
と遷移する。 In this state transition diagram, first, the motor stops, the ignition stops, and the motor for sending oil changes from "stop" in the state 11 in which the valve is closed to "acceleration" in the state 12 in order to send oil. I do.
そしてこの状態12の「加速」からバルブが開き、石油
が放出され、状態13の「放出」に遷移する。Then, the valve is opened from the “acceleration” in the state 12, the oil is released, and the state transits to the “release” in the state 13.
つぎにこの状態13の「放出」からイグニッションが点
火されて状態14の「点火」に遷移する。Next, the ignition is ignited from the state 13 “discharge”, and the state 14 changes to the state 14 “ignition”.
そしてイグニッションからの火が石油に引火して石油
が燃焼し、イグニッションは停止し、状態15の「燃焼」
に遷移する。And the fire from the ignition ignites the oil and the oil burns, the ignition stops, and state 15 "burning"
Transitions to.
さらにこの状態15の「燃焼」からバルブが閉じられる
ことにより燃焼していた火が消え、状態16の「消火」に
遷移する。Further, by closing the valve from “combustion” in the state 15, the burning fire goes out, and the state transits to “fire extinguishing” in the state 16.
またこの状態16の「消火」から石油を送っていたモ−
タが停止し、最初の状態11の「停止」に遷移する。In addition, the motor that was sending oil from "fire extinguishing" in this state 16
The data is stopped, and the state transits to the first state 11 “stop”.
これらの状態遷移の過程において状態変数「モ−
タ」、「イグニッション」、「バルブ」は、第３図の各
状態中に示すように変化する。In the process of these state transitions, the state variable “mo
, "Ignition" and "valve" change as shown in each state of FIG.
第３図に示す状態遷移図を第１図のフロ−チャ−トに
示す設計誘導に従って新しい状態遷移図が作成される過
程を説明する。The process of creating a new state transition diagram in accordance with the design guidance shown in the flowchart of FIG. 1 will be described with reference to the state transition diagram of FIG.
まず第３図に示す状態遷移図の状態のうち、ひとつの
状態「燃焼」を選択する。（ステップ101）。First, one state “combustion” is selected from the states in the state transition diagram shown in FIG. (Step 101).
つぎにステップ101で選択した状態「燃焼」の否定の
状態がないかが表示部２に表示されて設計者に対しての
問合わせが行われる。（ステップ102） この問合わせに対して、新しい状態の追加がある場合
はステップ104に進み、新しい状態の追加がない場合は
変更処理を終了する。ヒ−タ制御の例では、 「燃焼」の否定の状態としては「油つまり」と「立消
え」という新しい状態があり、ステップ104に進む。
（ステップ103） ステップ104では、設計者によって新しい状態17「油
つまり」と状態18「立消え」が入力される。そして入力
された新しい状態が表示部２に表示される。Next, whether there is a negative state of the state "combustion" selected in step 101 is displayed on the display unit 2, and an inquiry is made to the designer. (Step 102) In response to this inquiry, when there is a new state added, the process proceeds to Step 104, and when there is no new state added, the change process ends. In the example of the heater control, the negative state of "combustion" includes a new state of "oil clogging" and "extinguishment".
(Step 103) At step 104, the designer inputs a new state 17 "oil clogging" and a state 18 "disappearing". Then, the input new state is displayed on the display unit 2.
つぎに、設計者が新しい状態の遷移先を状態遷移図作
成支援装置の入力部１から入力すると遷移先が同じ複数
の状態は状態遷移図作成支援装置によってひとつにまと
められる。この例では、状態17「油つまり」は状態11
「停止」に遷移し、状態18「立消え」は、状態13「放
出」に遷移するので遷移先はまとめられない。（ステッ
プ105、ステップ106） ステップ101で選択された状態15「燃焼」と新しい状
態17「油つまり」および状態18「立消え」の状態変数の
値が比較される。そして、すべての状態変数の値が同一
の値をとる場合には、状態遷移図作成支援装置の表示部
１の状態変数の追加を促すメッセ−ジが表示され、その
他の場合には変更処理を終了する。Next, when the designer inputs a new state transition destination from the input unit 1 of the state transition diagram creation support device, a plurality of states having the same transition destination are combined into one by the state transition diagram creation support device. In this example, state 17 "oil clog" is state 11
The state transitions to “stop” and the state 18 “disappears” transitions to the state 13 “release”. (Steps 105 and 106) The values of the state variables of the state 15 “burning” selected in step 101, the new state 17 “oil clogging” and the state 18 “extinguishment” are compared. If the values of all the state variables take the same value, a message prompting the addition of the state variables on the display unit 1 of the state transition diagram creation support device is displayed. In other cases, the change processing is performed. finish.
この例の場合、状態15「燃焼」と状態18「立消え」の
状態変数「モ−タ」、「イグニッション」、「バルブ」
は、それぞれSPD、OFF、OPと同一の値をとるので状態変
数の追加を促すメッセ−ジが表示部２に表示される。
（ステップ107、ステップ108） 設計者が状態遷移図作成支援装置の入力部１から追加
の状態変数が入力される。In this example, the state variables "motor", "ignition", and "valve" in state 15 "burning" and state 18 "extinguish"
Takes the same value as SPD, OFF, and OP respectively, a message prompting the addition of a state variable is displayed on the display unit 2.
(Steps 107 and 108) The designer inputs additional state variables from the input unit 1 of the state transition diagram creation support device.
この例の場合、状態15「燃焼」と状態18「立消え」を
区別するためにＨ（高温）とＬ（低温）の値をとる状態
変数「サ−モスタット」が追加される。（ステップ10
9） そして状態遷移図作成支援装置により、新しく入力さ
れた状態変数「サ−モスタット」は各状態の上に割振ら
れる。（ステップ110） そして最終的に状態遷移図は第４図のようになる。ま
た状態変数は第２表に示す値をとる。In the case of this example, a state variable "thermostat" having values of H (high temperature) and L (low temperature) is added to distinguish state 15 "burning" from state 18 "extinction". (Step 10
9) Then, the state variable “thermostat” newly input is assigned to each state by the state transition diagram creation support device. (Step 110) Finally, the state transition diagram is as shown in FIG. The state variables take the values shown in Table 2.
このように本実施例の状態遷移仕様作成支援装置で
は、状態遷移図の入力途中の段階において状態および状
態変数の不足に関する問合わせが状態遷移図作成支援装
置により設計者に対して行われるので状態および状態変
数の不足の発見が容易となる。 As described above, in the state transition specification creation support device of the present embodiment, at the stage of inputting the state transition diagram, the inquiry about the shortage of the state and the state variable is made to the designer by the state transition diagram creation support device. In addition, it becomes easy to find a shortage of state variables.
［発明の効果］ 本発明の状態遷移表示方法によれば、状態遷移記述の
途中の段階において状態および状態変数の不足の発見が
容易となる。[Effects of the Invention] According to the state transition display method of the present invention, it is easy to find a shortage of a state and a state variable in the middle of a state transition description.
第１図は本発明の一実施例の状態遷移仕様作成支援装置
の動作のフロ−チャ−トを示す図、第２図は状態遷移仕
様作成支援装置の構成を示す図、第３図は、ヒ−タ制御
システムの未完成の状態遷移図を示す図、第４図は第３
図に示す状態遷移図に本発明の一実施例によって変更処
理をした状態遷移図を示す図である。 １……入力部、２……表示部、３……情報処理部FIG. 1 is a diagram showing a flow chart of the operation of a state transition specification creation support device according to one embodiment of the present invention, FIG. 2 is a diagram showing the configuration of a state transition specification creation support device, and FIG. FIG. 4 shows an incomplete state transition diagram of the heater control system, and FIG.
FIG. 5 is a diagram showing a state transition diagram obtained by performing a change process according to an embodiment of the present invention on the state transition diagram shown in FIG. 1 input unit 2 display unit 3 information processing unit
フロントページの続き (58)調査した分野(Int.Cl.7，ＤＢ名) G06F 9/06 Continuation of front page (58) Field surveyed (Int.Cl. 7 , DB name) G06F 9/06
Claims (1)
作成を支援する状態遷移表示方法において、 着目された状態が入力されたとき、この状態の否定の状
態が存在するか否かを問い合わせる問い合わせメッセー
ジを表示し、 前記問い合わせメッセージに応答して、前記否定の状態
及びこの状態に対応する状態変数の値が入力されたと
き、入力された否定の状態に対応する状態変数の値と前
記着目された状態に対応する状態変数の値とを比較し、 この比較により前記入力された否定の状態に対応する状
態変数の値と前記着目された状態に対応する状態変数の
値とが全て一致した場合、新たな状態変数の追加を要求
するメッセージを表示することを特徴とする状態遷移表
示方法。1. A state transition display method for supporting the creation of a state transition specification expressing the operation of a system, wherein when a state of interest is input, an inquiry is made as to whether there is a negative state of this state. Displaying a message, in response to the inquiry message, when the negative state and the value of the state variable corresponding to this state are input, the value of the state variable corresponding to the input negative state and When the value of the state variable corresponding to the input negative state and the value of the state variable corresponding to the focused state are all the same, And displaying a message requesting the addition of a new state variable.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3046190A JP3034265B2 (en) | 1990-02-08 | 1990-02-08 | State transition display method |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3046190A JP3034265B2 (en) | 1990-02-08 | 1990-02-08 | State transition display method |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH03233628A JPH03233628A (en) | 1991-10-17 |
| JP3034265B2 true JP3034265B2 (en) | 2000-04-17 |
Family
ID=12304530
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP3046190A Expired - Fee Related JP3034265B2 (en) | 1990-02-08 | 1990-02-08 | State transition display method |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP3034265B2 (en) |
Families Citing this family (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH0778075A (en) * | 1993-01-22 | 1995-03-20 | Internatl Business Mach Corp <Ibm> | Method and apparatus for provision of interactive dispersed finite-state program generator |
| EP2023249A1 (en) * | 2005-04-06 | 2009-02-11 | Fukuoka Industry Science & Technology Foundation | Verification support device, verification support method, program, and recording medium |
-
1990
- 1990-02-08 JP JP3046190A patent/JP3034265B2/en not_active Expired - Fee Related
Non-Patent Citations (1)
| Title |
|---|
| 「情報処理学会第３９回（平成元年後期）全国大会講演論文集」ｐ．１５７３−１５７４ |
Also Published As
| Publication number | Publication date |
|---|---|
| JPH03233628A (en) | 1991-10-17 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US20240211123A1 (en) | System and method for implementing design system to provide preview of constraint conflicts | |
| KR101700553B1 (en) | System development device, method, and program | |
| US11733973B2 (en) | Interactive graphic design system to enable creation and use of variant component sets for interactive objects | |
| JP2003337728A (en) | Management method and device for data file history | |
| JP3034265B2 (en) | State transition display method | |
| WO2014061093A1 (en) | Screen creation device and screen creation method | |
| CN112312631A (en) | Data processing method and device | |
| CN112306483A (en) | Data processing method and device | |
| JPH02148168A (en) | Editing supporting method | |
| JP2001243488A (en) | Figure element selecting method and medium stored with cad processing program | |
| JPS6136853A (en) | Control system for deletion of file | |
| JPH0221320A (en) | Information processor having help function including editing function | |
| JPH0954688A (en) | Gui design supporting method | |
| JP4127318B2 (en) | Program generation method and apparatus | |
| JPH07160773A (en) | Production planning device | |
| JP4525877B2 (en) | Screen-coupled program-linked test support apparatus and support method | |
| JP3417318B2 (en) | Document creation management method and apparatus, and machine-readable recording medium recording program | |
| JP3135638B2 (en) | Electronic touch panel definition body creation processing device | |
| JPH07219630A (en) | Method for inspecting control operation of controller and device therefor | |
| JPH07234711A (en) | Management system of sequence/program | |
| JPH08212032A (en) | Picture generating system | |
| JPH02135517A (en) | Parameter updating system for procedure processing command | |
| JP3966355B2 (en) | Program generation method and apparatus | |
| Johnson et al. | Using Git in Visual Studio 2019 | |
| CN114954223A (en) | Vehicle ceremony light setting method and device, electronic equipment and storage medium |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| LAPS | Cancellation because of no payment of annual fees |