JP6445533B2 - シーケンス図作成装置、シーケンス図作成方法およびシーケンス図作成プログラム - Google Patents
シーケンス図作成装置、シーケンス図作成方法およびシーケンス図作成プログラム Download PDFInfo
- Publication number
- JP6445533B2 JP6445533B2 JP2016513577A JP2016513577A JP6445533B2 JP 6445533 B2 JP6445533 B2 JP 6445533B2 JP 2016513577 A JP2016513577 A JP 2016513577A JP 2016513577 A JP2016513577 A JP 2016513577A JP 6445533 B2 JP6445533 B2 JP 6445533B2
- Authority
- JP
- Japan
- Prior art keywords
- state
- state transition
- sequence diagram
- event
- information
- 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
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Stored Programmes (AREA)
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に記載のシーケンス図作成装置。 - 前記制御部は、
作成した前記状態遷移付きシーケンス図および前記状態遷移表のうち一方の修正を他方に反映させる
ことを特徴とする請求項2に記載のシーケンス図作成装置。 - コンピュータが、
対象装置がとりうる状態とイベントに関する情報一覧を表示し、
ユーザによる前記情報一覧からの選択操作により、オブジェクトの時間方向に沿って前記状態と前記イベント発生に基づく前記状態の遷移の情報と、を設定して表示可能な状態遷移付きシーケンス図と、
前記状態遷移付きシーケンス図の前記状態と、前記イベント発生に基づく前記状態の遷移とに基づく状態遷移表を作成し、
前記状態遷移付きシーケンス図および前記状態遷移表を同一画面上に表示し、
前記対象装置の使用手順にしたがって前記状態と、前記状態における前記イベント発生による前記状態の遷移の情報と、を順次設定する際、
前記状態遷移付きシーケンス図の表示領域には、前記時間方向に沿って複数の前記イベントに対応する複数の空の入力領域を表示し、前記時間方向に沿って一つの前記入力領域への前記状態と前記イベント発生に基づく前記状態の遷移の情報の設定状態を順次表示し、
前記状態遷移表の表示領域には、前記状態遷移付きシーケンス図の前記入力領域への設定毎に、対応する状態遷移を順次表示する、
処理を実行することを特徴とするシーケンス図作成方法。 - コンピュータに、
対象装置がとりうる状態とイベントに関する情報一覧を表示させ、
ユーザによる前記情報一覧からの選択操作により、オブジェクトの時間方向に沿って前記状態と前記イベント発生に基づく前記状態の遷移の情報と、を設定して表示可能な状態遷移付きシーケンス図と、
前記状態遷移付きシーケンス図の前記状態と、前記イベント発生に基づく前記状態の遷移とに基づく状態遷移表を作成させ、
前記状態遷移付きシーケンス図および前記状態遷移表を同一画面上に表示させ、
前記対象装置の使用手順にしたがって前記状態と、前記状態における前記イベント発生による前記状態の遷移の情報と、を順次設定する際、
前記状態遷移付きシーケンス図の表示領域には、前記時間方向に沿って複数の前記イベントに対応する複数の空の入力領域を表示させ、前記時間方向に沿って一つの前記入力領域への前記状態と前記イベント発生に基づく前記状態の遷移の情報の設定状態を順次表示させ、
前記状態遷移表の表示領域には、前記状態遷移付きシーケンス図の前記入力領域への設定毎に、対応する状態遷移を順次表示させる、
処理を実行させることを特徴とするシーケンス図作成プログラム。
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
PCT/JP2014/060876 WO2015159400A1 (ja) | 2014-04-16 | 2014-04-16 | シーケンス図作成装置、シーケンス図作成方法およびシーケンス図作成プログラム |
Related Child Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2018224296A Division JP6623274B2 (ja) | 2018-11-29 | 2018-11-29 | シーケンス図作成装置、シーケンス図作成方法およびシーケンス図作成プログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JPWO2015159400A1 JPWO2015159400A1 (ja) | 2017-04-13 |
JP6445533B2 true JP6445533B2 (ja) | 2018-12-26 |
Family
ID=54323642
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2016513577A Active JP6445533B2 (ja) | 2014-04-16 | 2014-04-16 | シーケンス図作成装置、シーケンス図作成方法およびシーケンス図作成プログラム |
Country Status (2)
Country | Link |
---|---|
JP (1) | JP6445533B2 (ja) |
WO (1) | WO2015159400A1 (ja) |
Family Cites Families (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH06309158A (ja) * | 1993-04-21 | 1994-11-04 | Hitachi 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 | オブジェクト指向開発支援方法および装置 |
JP4747060B2 (ja) * | 2006-09-20 | 2011-08-10 | 株式会社アイ・エル・シー | 検証装置、検証プログラム、および検証方法 |
US8577665B2 (en) * | 2008-03-14 | 2013-11-05 | Fujitsu Limited | Synthesis of message sequence charts from communicating finite-state machines |
JP5644599B2 (ja) * | 2011-03-15 | 2014-12-24 | 富士電機株式会社 | オブジェクト指向モデル設計支援装置 |
-
2014
- 2014-04-16 WO PCT/JP2014/060876 patent/WO2015159400A1/ja active Application Filing
- 2014-04-16 JP JP2016513577A patent/JP6445533B2/ja active Active
Also Published As
Publication number | Publication date |
---|---|
JPWO2015159400A1 (ja) | 2017-04-13 |
WO2015159400A1 (ja) | 2015-10-22 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP5069816B2 (ja) | 電子機器、ヘルプ表示プログラムおよびヘルプ表示方法 | |
CN105408907A (zh) | 用于跟踪健康行为的用户界面 | |
JP2020088440A5 (ja) | ||
JP2012508934A5 (ja) | ||
JP6006399B2 (ja) | プログラマブル表示器、そのプログラム | |
US9690682B2 (en) | Program information generating system, method, and computer program product | |
CN105117265B (zh) | 一种文件升级的方法、装置和终端 | |
JP2008305339A (ja) | 操作時間測定装置及び方法、習熟度判定装置及び方法、プログラム | |
JP2006516055A5 (ja) | ||
JP6623274B2 (ja) | シーケンス図作成装置、シーケンス図作成方法およびシーケンス図作成プログラム | |
JP5996150B2 (ja) | プログラマブル表示器及び作画ソフトウェア | |
US20110113381A1 (en) | Multiple check box subset selection | |
JP6445533B2 (ja) | シーケンス図作成装置、シーケンス図作成方法およびシーケンス図作成プログラム | |
US20150032419A1 (en) | Plc designing apparatus | |
JP4941674B2 (ja) | シミュレーション・システム | |
JP2007264724A (ja) | Cadデータの管理システムおよび管理方法 | |
WO2017072936A1 (ja) | プラント監視制御装置 | |
JP4988779B2 (ja) | 人工衛星の解析運用支援プログラムおよび情報処理装置 | |
JP2016114974A (ja) | Bios更新装置、方法及びプログラム | |
JP6045986B2 (ja) | ソフトウェア開発支援装置、ソフトウェア開発支援方法およびソフトウェア開発支援プログラム | |
TWI528267B (zh) | 可程式顯示器用畫面資料編輯裝置 | |
JP2010272186A (ja) | 再生制御装置及びプログラム | |
KR101730289B1 (ko) | 프로그래머블 표시기 | |
JP2018128919A (ja) | 作業計画作成システム、作業計画作成方法および作業計画作成プログラム | |
EP3299950A1 (en) | Display screen generating device, display screen generating method, and display screen generating program |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20170414 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20170905 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20171106 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20180327 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20180528 |
|
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: 20181030 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20181129 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6445533 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |