JP6623274B2 - シーケンス図作成装置、シーケンス図作成方法およびシーケンス図作成プログラム - Google Patents
シーケンス図作成装置、シーケンス図作成方法およびシーケンス図作成プログラム Download PDFInfo
- Publication number
- JP6623274B2 JP6623274B2 JP2018224296A JP2018224296A JP6623274B2 JP 6623274 B2 JP6623274 B2 JP 6623274B2 JP 2018224296 A JP2018224296 A JP 2018224296A JP 2018224296 A JP2018224296 A JP 2018224296A JP 6623274 B2 JP6623274 B2 JP 6623274B2
- Authority
- JP
- Japan
- Prior art keywords
- state transition
- state
- sequence diagram
- event
- input
- 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.)
- Active
Links
Images
Description
以下に添付図面を参照して、この発明にかかるシーケンス図作成装置、シーケンス図作成方法およびシーケンス図作成プログラムの好適な実施の形態を詳細に説明する。
図1は、実施の形態にかかるシーケンス図作成装置が作成する状態遷移付きシーケンス図を示す図である。縦軸は時間、横軸には複数のオブジェクトとオブジェクト間のイベントのやり取りが示される。
1.外部仕様の確認
動作仕様の確認、状態とイベントのリストアップ
2.状態遷移設計
状態遷移表の作成(リストアップした状態とイベントに基づき作成する)
図2は、シーケンス図作成装置のハードウェア構成例を示すブロック図である。図2において、シーケンス図作成装置200は、制御部(CPU)201と、Read−Only Memory(ROM)202と、Random Access Memory(RAM)203と、半導体メモリやディスクドライブ等の記憶部204と、通信インターフェース(I/F)205と、を含む。これらCPU201〜通信インターフェース205、キーボード206、ディスプレイ207は、バス208によってそれぞれ接続されている。
図3は、実施の形態にかかるシーケンス図作成装置の機能ブロック図である。シーケンス図作成装置200は、入力部301と、シーケンス図作成部302と、状態遷移表作成部303と、出力部304と、を有する。
以下、対象装置が組み込み機器であるキッチンタイマーを例に、状態遷移付きシーケンス図の作成処理について説明する。図4は、対象装置のキッチンタイマーを示す図である。キッチンタイマー400は、表示部401と、操作ボタン402を有する。
[状態]
1.停止状態
2.カウントダウン状態
3.アラーム状態
[イベント]
1.スタート/ストップ押下イベント(ハードウェアのスタート/ストップボタン402c)
2.分押下イベント(ハードウェアの分ボタン402a)
3.秒押下イベント(ハードウェアの秒ボタン402b)
4.タイマー通知イベント(CPUのソフトウェア処理:カウントダウンの終了通知)
1.シーケンス図を追加する際に、既に状態遷移表に記載している状態遷移と矛盾した遷移を作成してしまう。
2.状態遷移表上に状態遷移を追加する際に、既に存在するシーケンス図(の一部)と矛盾した遷移を作成してしまう。
200 シーケンス図作成装置
201 制御部(CPU)
202 ROM
203 RAM
204 記憶部
205 通信インターフェース
206 キーボード
207 ディスプレイ
208 バス
210 ネットワーク
300 制御部
301 入力部
302 シーケンス図作成部
303 状態遷移表作成部
304 出力部
311 状態遷移付加部
400 キッチンタイマー
700 画面
702 状態遷移表
711 状態一覧
712 イベント一覧
714 ハンドラ関数一覧
Claims (5)
- 対象装置がとりうる状態と、発生したイベントに関する情報一覧を表示する状態遷移付きシーケンス図と、前記状態遷移付きシーケンス図の前記状態と、前記イベント発生に基づく前記状態の遷移とに基づく状態遷移表を作成し、前記状態遷移付きシーケンス図および前記状態遷移表を同一画面上に表示する制御部、を備え、
前記制御部は、
前記状態遷移付きシーケンス図の表示領域には、所定の時間方向に沿って複数の前記イベントに対応する複数の空の入力領域を表示し、前記イベントの入力を設定すると、前記時間方向に沿って一つの前記入力領域に、前記イベントに対応する前記状態の遷移の情報の設定状態を表示し、
前記状態遷移表の表示領域には、前記状態遷移付きシーケンス図の前記入力領域に対応する状態遷移を表示し、
作成した前記状態遷移付きシーケンス図および前記状態遷移表のうち一方の設定を他方に反映させて表示する、
ことを特徴とするシーケンス図作成装置。 - 前記制御部は、
前記状態遷移付きシーケンス図に、前記対象装置の使用手順にしたがって前記状態と、前記状態における前記イベント発生による前記状態の遷移の情報と、を順次設定する際、前記時間方向に沿って一つの前記入力領域に、前記状態と前記イベント発生に基づく前記状態の遷移の情報の設定状態を順次表示し、
前記状態遷移表の表示領域には、前記状態遷移付きシーケンス図の前記入力領域への設定毎に、対応する状態遷移を順次表示する、
ことを特徴とする請求項1に記載のシーケンス図作成装置。 - 前記制御部は、
前記状態遷移付きシーケンス図の作成時に、前記状態と、前記イベント発生に基づく前記状態の遷移とに基づき、前記状態遷移表の該当する前記状態と前記イベントが交差するマス部分のデータを埋める
ことを特徴とする請求項1または2に記載のシーケンス図作成装置。 - コンピュータが、
対象装置がとりうる状態と、発生したイベントに関する情報一覧を表示する状態遷移付きシーケンス図と、
前記状態遷移付きシーケンス図の前記状態と、前記イベント発生に基づく前記状態の遷移とに基づく状態遷移表を作成し、
前記状態遷移付きシーケンス図および前記状態遷移表を同一画面上に表示し、
前記状態遷移付きシーケンス図の表示領域には、所定の時間方向に沿って複数の前記イベントに対応する複数の空の入力領域を表示し、前記イベントの入力を設定すると、前記時間方向に沿って一つの前記入力領域に、前記イベントに対応する前記状態の遷移の情報の設定状態を表示し、
前記状態遷移表の表示領域には、前記状態遷移付きシーケンス図の前記入力領域に対応する状態遷移を表示し、
作成した前記状態遷移付きシーケンス図および前記状態遷移表のうち一方の設定を他方に反映させて表示する、
処理を実行することを特徴とするシーケンス図作成方法。 - コンピュータに、
対象装置がとりうる状態と、発生したイベントに関する情報一覧を表示する状態遷移付きシーケンス図と、
前記状態遷移付きシーケンス図の前記状態と、前記イベント発生に基づく前記状態の遷移とに基づく状態遷移表を作成させ、
前記状態遷移付きシーケンス図および前記状態遷移表を同一画面上に表示させ、
前記状態遷移付きシーケンス図の表示領域には、所定の時間方向に沿って複数の前記イベントに対応する複数の空の入力領域を表示し、前記イベントの入力を設定すると、前記時間方向に沿って一つの前記入力領域に、前記イベントに対応する前記状態の遷移の情報の設定状態を表示させ、
前記状態遷移表の表示領域には、前記状態遷移付きシーケンス図の前記入力領域に対応する状態遷移を表示させ、
作成した前記状態遷移付きシーケンス図および前記状態遷移表のうち一方の設定を他方に反映させて表示させる、
処理を実行させることを特徴とするシーケンス図作成プログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2018224296A JP6623274B2 (ja) | 2018-11-29 | 2018-11-29 | シーケンス図作成装置、シーケンス図作成方法およびシーケンス図作成プログラム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2018224296A JP6623274B2 (ja) | 2018-11-29 | 2018-11-29 | シーケンス図作成装置、シーケンス図作成方法およびシーケンス図作成プログラム |
Related Parent Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2016513577A Division JP6445533B2 (ja) | 2014-04-16 | 2014-04-16 | シーケンス図作成装置、シーケンス図作成方法およびシーケンス図作成プログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2019050046A JP2019050046A (ja) | 2019-03-28 |
JP6623274B2 true JP6623274B2 (ja) | 2019-12-18 |
Family
ID=65905799
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2018224296A Active JP6623274B2 (ja) | 2018-11-29 | 2018-11-29 | シーケンス図作成装置、シーケンス図作成方法およびシーケンス図作成プログラム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP6623274B2 (ja) |
Family Cites Families (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH06309158A (ja) * | 1993-04-21 | 1994-11-04 | Hitachi Ltd | 状態遷移仕様生成装置 |
JPH113216A (ja) * | 1997-06-11 | 1999-01-06 | Fujitsu Ltd | シナリオに基づくオブジェクト指向分析設計支援方法および支援装置 |
JPH11184684A (ja) * | 1997-12-24 | 1999-07-09 | Fujitsu Ltd | 状態遷移表自動生成方法及び記録媒体 |
JP2004070810A (ja) * | 2002-08-08 | 2004-03-04 | Nippon Telegr & Teleph Corp <Ntt> | ビジュアルプログラミングシステム、ビジュアルプログラミング方法、ビジュアルプログラミング用プログラム及びそのプログラムを記録した記録媒体 |
JP2004110378A (ja) * | 2002-09-18 | 2004-04-08 | Hitachi Software Eng Co Ltd | オブジェクト指向開発支援方法および装置 |
JP2006099746A (ja) * | 2004-09-02 | 2006-04-13 | Ricoh Co Ltd | 動作定義情報作成方法、動作定義情報作成装置、動作定義情報作成プログラム、記録媒体及びデータ構造 |
JP4747060B2 (ja) * | 2006-09-20 | 2011-08-10 | 株式会社アイ・エル・シー | 検証装置、検証プログラム、および検証方法 |
JP5644599B2 (ja) * | 2011-03-15 | 2014-12-24 | 富士電機株式会社 | オブジェクト指向モデル設計支援装置 |
-
2018
- 2018-11-29 JP JP2018224296A patent/JP6623274B2/ja active Active
Also Published As
Publication number | Publication date |
---|---|
JP2019050046A (ja) | 2019-03-28 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
TWI653528B (zh) | 電腦系統及檢測方法 | |
JP5069816B2 (ja) | 電子機器、ヘルプ表示プログラムおよびヘルプ表示方法 | |
US10949062B2 (en) | Device maintenance apparatus, device maintenance method, device maintenance program, and recording medium | |
TW544613B (en) | Program production system for semiconductor tester | |
CN105117265B (zh) | 一种文件升级的方法、装置和终端 | |
JP6623274B2 (ja) | シーケンス図作成装置、シーケンス図作成方法およびシーケンス図作成プログラム | |
JP6445533B2 (ja) | シーケンス図作成装置、シーケンス図作成方法およびシーケンス図作成プログラム | |
JP4941674B2 (ja) | シミュレーション・システム | |
TW201926218A (zh) | 半導體機台管理方法 | |
CN108132803A (zh) | 基于移动终端的定时保活及唤醒方法、系统、终端及介质 | |
EP2853969B1 (en) | An alarm management system and a method therefor | |
JP4988779B2 (ja) | 人工衛星の解析運用支援プログラムおよび情報処理装置 | |
JPH10124690A (ja) | グラフ表示装置及びグラフ表示方法 | |
JP6474253B2 (ja) | 表示器システム | |
JP2001022411A (ja) | プログラマブルコントローラ及びそのプログラム設定装置並びにそのプログラムを記録した記録媒体 | |
JP2018128919A (ja) | 作業計画作成システム、作業計画作成方法および作業計画作成プログラム | |
JP2008071160A (ja) | ソフトウェア部品提供システム | |
WO2015136607A1 (ja) | ソフトウェア開発支援システム、ソフトウェア開発支援方法およびソフトウェア開発支援プログラム | |
JPS6338758B2 (ja) | ||
JP4361750B2 (ja) | 情報提供装置 | |
JP2000075921A (ja) | アラーム表示システム | |
CN115934486A (zh) | 系统监控方法、装置、电子设备及存储介质 | |
TWI498698B (zh) | 使用者介面以及電腦程式產品 | |
WO2015136606A1 (ja) | ソフトウェア開発支援装置、ソフトウェア開発支援方法およびソフトウェア開発支援プログラム | |
JP2004280492A (ja) | 画像形成装置 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20181129 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20190724 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20190813 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20191011 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20191029 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20191125 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6623274 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |