JP4100630B2 - Uml設計方法 - Google Patents
Uml設計方法 Download PDFInfo
- Publication number
- JP4100630B2 JP4100630B2 JP2004144714A JP2004144714A JP4100630B2 JP 4100630 B2 JP4100630 B2 JP 4100630B2 JP 2004144714 A JP2004144714 A JP 2004144714A JP 2004144714 A JP2004144714 A JP 2004144714A JP 4100630 B2 JP4100630 B2 JP 4100630B2
- Authority
- JP
- Japan
- Prior art keywords
- uml
- performance
- performance index
- design
- profile
- 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
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Stored Programmes (AREA)
Description
図1に示すように、UML設計コンピュータシステム100は、CPU、RAM、およびROMから構成される制御回路10と、この制御回路に接続されたストレージデバイス20と、この制御回路に接続されたディスプレイ30と、この制御回路に接続された入力装置40と、で構成されている。
図2を参照して、UML設計コンピュータシステムの制御回路10の動作を説明する。
図3は、RT−UMLのステレオタイプとタグ付き値の使用例を示す図である。
図4は、UMLによるSoC(例えば、プロトコルコンバータ)のノードの各クラスの上下関係を示すクラス図である。
図5は、図4に示されるMaster Baseクラスの構成の詳細を示すクラス図である。
図6は、UMLによるSoC(例えば、プロトコルコンバータ)のノードの各クラスの連係関係を示すクラス図である。図6は、SoC(例えば、プロトコルコンバータ)のクラス図を、図4のノードのクラス図から視点を変えて表示したものである。図6は、UMLによるSoC(例えば、プロトコルコンバータ)のノードの各クラスの連係関係を示す。
図7は、UMLによるSoC(例えば、プロトコルコンバータ)のノードの各クラスの時系列の相互作用を示すシーケンス図である。
図8は、UMLによるSoC(例えば、プロトコルコンバータ)のクラス図から、シミュレーションベースの性能指標および性能評価を表示する性能表示GUI30aに表示させるクラスを選択させる方法のイメージ図である。
図9は、性能表示GUI30aのイメージ図である。なお、図9は、シミュレーションベースでSoCの性能評価を行った場合の性能表示GUI30aの表示イメージであるが、性能評価モデルベースでSoCの性能評価を行った場合もほぼ同様な表示がなされる。
16 性能表示部
17 フィードバック制御部
20 ストレージデバイス
20a プロファイル
20d 性能評価蓄積部
30 ディスプレイ
30a 性能表示GUI30a
40 入力装置
Claims (7)
- 設計パラメータが格納されたプロファイルを用いて対象システムをUML(Unified Modeling Language)モデル化して設計を行うコンピュータシステムであって、
前記プロファイルに、特定問題領域についてのステレオタイプおよびタグ付き値を設計パラメータとして格納して、プロファイルを設定する特定問題領域プロファイル設定手段と、
前記プロファイルに含まれる設計パラメータを、前記対象システムのUMLモデルに付与する設計パラメータ付与手段と、
前記UMLモデルに付与された前記設計パラメータに基づいて性能評価モデルを作成して該性能評価モデルから前記対象システムの性能指標を取得する第1性能指標取得手段および前記設計パラメータに基づいて前記UMLモデルのシミュレーションを行って該シミュレーション実行結果から前記対象システムの性能指標を取得する第2性能指標取得手段のうち少なくとも一方と、
前記取得した性能指標を蓄積記憶する性能指標蓄積記憶手段と、
前記プロファイルに含まれる設計パラメータと前記UMLモデルとを関連付けて、この関連付けられた前記設計パラメータおよび前記UMLモデルをGUI(Graphical User Interface)に表示するGUI表示手段とを備え、
前記GUI表示手段が、前記表示される性能指標を変更できるGUI要素を有し、前記性能指標が前記GUI要素で変更されると、この変更された性能指標に対応して、前記プロファイルに格納された前記設計パラメータを変更するフィードバック手段を有し、
前記対象システムのアーキテクチャ設計に必要な前記性能指標が前記性能指標蓄積記憶手段から選択されると、前記GUI表示手段が、前記選択された性能指標および全ての前記性能指標に基づく前記対象システムのパフォーマンスを、視覚的かつ定量的に表示することを特徴とするコンピュータシステム。 - 請求項1に記載のコンピュータシステムにおいて、
前記ステレオタイプおよび前記タグ付き値が、RT−UML(Real Time Unified Modeling Language)で設定されることを特徴とするコンピュータシステム。 - 請求項1に記載のコンピュータシステムにおいて、
前記ステレオタイプおよび前記タグ付き値が、前記対象システムの処理の時間制約および該対象システムの資源制約に関する設計パラメータを含むことを特徴とするコンピュータシステム。 - 少なくとも制御回路、記憶装置、およびGUI(Graphical User Interface)を備えるコンピュータシステムで用いられ、設計パラメータが格納されたプロファイルを用いて対象システムをUML(Unified Modeling Language)モデル化して設計を行うUML設計方法であって、
前記制御回路が、前記プロファイルに、特定問題領域についてのステレオタイプおよびタグ付き値を設計パラメータとして格納して、プロファイルを設定するステップと、
前記プロファイルを用いて、前記設計パラメータを前記対象システムのUMLモデルに付与するステップと、
前記UMLモデルに付与された前記設計パラメータに基づいて性能評価モデルを作成して該性能評価モデルから前記対象システムの性能指標を取得する第1性能指標取得ステップおよび前記UMLモデルのシミュレーションを行って該シミュレーション実行結果から前記対象システムの性能指標を取得する第2性能指標取得ステップのうち少なくとも一方と、
前記取得した性能指標を前記記憶装置に蓄積記憶するステップと、
前記プロファイルを用いて、前記設計パラメータと前記UMLモデルとを関連付けて、この関連付けられた前記設計パラメータおよび前記UMLモデルをGUIに表示するステップとを実行し、
前記GUIが、前記表示される性能指標を変更できるGUI要素を有し、前記性能指標が前記GUI要素で変更されると、この変更された性能指標に対応して、前記プロファイルに格納された前記設計パラメータを変更するステップを行っており、
前記対象システムのアーキテクチャ設計に必要な前記蓄積記憶された性能指標が選択されると、前記GUIが、前記選択されたそれぞれの性能指標および全ての前記性能指標に基づく前記対象システムのパフォーマンスを、視覚的かつ定量的に表示することを特徴とするUML設計方法。 - 請求項4に記載のUML設計方法において、
前記ステレオタイプおよび前記タグ付き値が、RT−UML(Real Time Unified Modeling Language)で設定されることを特徴とするUML設計方法。 - 請求項4に記載のUML設計方法において、
前記ステレオタイプおよび前記タグ付き値が、前記対象システムの処理の時間制約および該対象システムの資源制約に関する設計パラメータを含むことを特徴とするUML設計方法。 - 請求項4から6のいずれかに記載のUML設計方法を実行するプログラムを記録したコンピュータ読取可能記録媒体。
Priority Applications (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2004144714A JP4100630B2 (ja) | 2004-05-14 | 2004-05-14 | Uml設計方法 |
| US11/126,614 US7509629B2 (en) | 2004-05-14 | 2005-05-11 | Method for system and architecture design using unified modeling language (UML) |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2004144714A JP4100630B2 (ja) | 2004-05-14 | 2004-05-14 | Uml設計方法 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JP2005327094A JP2005327094A (ja) | 2005-11-24 |
| JP4100630B2 true JP4100630B2 (ja) | 2008-06-11 |
Family
ID=35376309
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2004144714A Expired - Fee Related JP4100630B2 (ja) | 2004-05-14 | 2004-05-14 | Uml設計方法 |
Country Status (2)
| Country | Link |
|---|---|
| US (1) | US7509629B2 (ja) |
| JP (1) | JP4100630B2 (ja) |
Families Citing this family (48)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US7412658B2 (en) | 2002-11-14 | 2008-08-12 | Sap Ag | Modeling system for graphic user interface |
| US7861218B2 (en) * | 2004-10-28 | 2010-12-28 | International Business Machines Corporation | Computer method and system for enforcing derived union constraints |
| US20060101381A1 (en) * | 2004-10-29 | 2006-05-11 | International Business Machines Corporation | Computer method and apparatus for implementing subsets constraints in programming models |
| US7478362B2 (en) * | 2004-12-01 | 2009-01-13 | International Business Machines Corporation | Computer method and apparatus for improving programming modeling with lightweight stereotypes |
| US7676747B2 (en) * | 2005-07-06 | 2010-03-09 | The Mitre Corporation | Method for representing security features of a distributed system |
| KR100808257B1 (ko) * | 2005-12-05 | 2008-02-29 | 한국전자통신연구원 | 임베디드 시스템 프로토타입 개발 지원 장치 및 방법 |
| JP2007179165A (ja) * | 2005-12-27 | 2007-07-12 | Internatl Business Mach Corp <Ibm> | Uml設計モデルから、確率的な性能評価モデルを導出するコンピュータ・プログラムおよび確率的な性能評価モデルを導出する方法 |
| US7757204B2 (en) * | 2005-12-29 | 2010-07-13 | Sap Ag | Limiting extensibility of a visual modeling language |
| US7774745B2 (en) * | 2005-12-29 | 2010-08-10 | Sap Ag | Mapping of designtime to runtime in a visual modeling language environment |
| US7840935B2 (en) * | 2005-12-29 | 2010-11-23 | Sap Ag | Restrictive visualization of a stereotype construct for entities in a visual modeling environment |
| JP2007286671A (ja) * | 2006-04-12 | 2007-11-01 | Fujitsu Ltd | ソフトウェア/ハードウェア分割プログラム、および分割方法。 |
| JP2007310449A (ja) * | 2006-05-16 | 2007-11-29 | Fujitsu Ltd | ソフトウェア/ハードウェア協調設計のためのモデル生成プログラム、およびモデル生成方法 |
| JP4629646B2 (ja) * | 2006-11-01 | 2011-02-09 | インターナショナル・ビジネス・マシーンズ・コーポレーション | アプリケーションプログラムを生成するための装置、方法、及びプログラム |
| US8689174B2 (en) * | 2006-12-28 | 2014-04-01 | Sap Ag | Extensibility of pattern components |
| JP4412674B2 (ja) * | 2007-04-18 | 2010-02-10 | インターナショナル・ビジネス・マシーンズ・コーポレーション | モデル駆動型開発を支援する装置及び方法 |
| US8001519B2 (en) * | 2007-06-27 | 2011-08-16 | International Business Machines Corporation | Model driven development including aspect integration tool |
| US7818713B2 (en) * | 2007-08-06 | 2010-10-19 | International Business Machines Corporation | Method, system and program product for generating requirement relationships for designing a solution |
| JP5034955B2 (ja) * | 2008-01-08 | 2012-09-26 | 富士通株式会社 | 性能評価シミュレーション装置、性能評価シミュレーション方法および性能評価シミュレーションプログラム |
| US8495558B2 (en) * | 2008-01-23 | 2013-07-23 | International Business Machines Corporation | Modifier management within process models |
| JP5200675B2 (ja) * | 2008-06-11 | 2013-06-05 | 富士通株式会社 | シミュレーション装置,シミュレーション方法,シミュレーションプログラム及び同プログラムを記録したコンピュータ読取可能な記録媒体 |
| US20090319923A1 (en) * | 2008-06-20 | 2009-12-24 | International Business Machines Corporation | Method for generating role-based user interfaces utilizing uml models |
| KR100995592B1 (ko) * | 2008-12-02 | 2010-11-22 | 김우열 | 타겟독립모델을 이용한 임베디드 시스템 설계 장치 및 그 방법 |
| JP5327451B2 (ja) * | 2009-02-27 | 2013-10-30 | 日本電気株式会社 | 実システムメモリ使用量概算方法及び装置 |
| US20100262949A1 (en) * | 2009-04-08 | 2010-10-14 | Microsoft Corporation | Visualized Modeling Language Connector Selection |
| US20110088011A1 (en) | 2009-10-14 | 2011-04-14 | Vermeg Sarl | Automated Enterprise Software Development |
| US10185594B2 (en) * | 2009-10-29 | 2019-01-22 | International Business Machines Corporation | System and method for resource identification |
| JP5691529B2 (ja) * | 2011-01-07 | 2015-04-01 | 日本電気株式会社 | 性能評価システム、性能評価方法および性能評価用プログラム |
| WO2012172747A1 (ja) | 2011-06-14 | 2012-12-20 | 日本電気株式会社 | 評価モデル生成装置、評価モデル生成方法および評価モデル生成プログラム |
| JP5909958B2 (ja) * | 2011-09-22 | 2016-04-27 | 株式会社ソシオネクスト | 協調検証方法及び協調検証装置 |
| CN102426521B (zh) * | 2011-10-28 | 2014-04-16 | 东南大学 | 基于HybridUML和定理证明的CPS自适应性验证方法 |
| US8938709B2 (en) | 2012-01-05 | 2015-01-20 | International Business Machines Corporation | Multiple architecture viewpoints in single unified modeling language (UML) model |
| US20140019933A1 (en) * | 2012-07-11 | 2014-01-16 | International Business Machines Corporation | Selecting a development associate for work in a unified modeling language (uml) environment |
| JP6142878B2 (ja) * | 2012-10-02 | 2017-06-07 | 日本電気株式会社 | 情報システムの性能評価装置、方法およびプログラム |
| CN103020402B (zh) * | 2013-01-09 | 2015-07-08 | 北京数码大方科技股份有限公司 | 建模方法和装置 |
| CN103164252B (zh) * | 2013-04-15 | 2016-08-31 | 西安电子科技大学 | 一种由序列图生成Java代码框架的方法 |
| JPWO2015162889A1 (ja) * | 2014-04-23 | 2017-04-13 | 日本電気株式会社 | 設計支援装置、方法、およびプログラム |
| US9225776B1 (en) * | 2014-08-11 | 2015-12-29 | International Business Machines Corporation | Distributing UI control events from a single event producer across multiple systems event consumers |
| CN105468349A (zh) * | 2014-09-09 | 2016-04-06 | 北大方正集团有限公司 | 一种富媒体组件的制作方法和装置 |
| US9792091B2 (en) * | 2014-12-12 | 2017-10-17 | Sap Se | Quantitative evaluation and optimization of user interface software design |
| CN104679510B (zh) * | 2015-02-09 | 2018-04-20 | 北京交通大学 | 安全苛求系统的扩展uml类图模型的故障树生成方法 |
| US9477446B1 (en) | 2015-03-31 | 2016-10-25 | Toyota Jidosha Kabushiki Kaisha | Bottom-up approach for integrating models for software components using contracts |
| CN109783095A (zh) * | 2018-12-20 | 2019-05-21 | 中国北方车辆研究所 | 一种基于模型的乘员显控界面设计方法 |
| CN111104031B (zh) * | 2019-12-09 | 2022-08-30 | 宁波吉利汽车研究开发有限公司 | 一种面向用户的数据更新方法、装置、电子设备及存储介质 |
| CN112464592B (zh) * | 2020-11-17 | 2024-06-18 | 眸芯科技(上海)有限公司 | Ddr仿真中处理ddr颗粒信息和后门任务的方法及应用 |
| US11893284B2 (en) * | 2021-07-19 | 2024-02-06 | Changxin Memory Technologies, Inc. | Method, device and system for testing memory devices |
| JP7851884B2 (ja) * | 2023-03-30 | 2026-04-27 | 日鉄ソリューションズ株式会社 | 情報処理装置、情報処理方法、及びプログラム |
| JP7851885B2 (ja) * | 2023-03-30 | 2026-04-27 | 日鉄ソリューションズ株式会社 | 情報処理装置、情報処理方法、及びプログラム |
| JP7796286B1 (ja) * | 2025-09-19 | 2026-01-08 | Scsk株式会社 | シミュレーション装置、シミュレーション方法及びプログラム |
Family Cites Families (9)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6343265B1 (en) * | 1998-07-28 | 2002-01-29 | International Business Machines Corporation | System and method for mapping a design model to a common repository with context preservation |
| EP1264237A4 (en) * | 2000-03-28 | 2003-07-02 | Metanology Corp | SYSTEM AND METHOD FOR METAPROGRAMMING A SOFTWARE DEVELOPMENT ENVIRONMENT |
| US6681383B1 (en) * | 2000-04-04 | 2004-01-20 | Sosy, Inc. | Automatic software production system |
| JP2001318812A (ja) * | 2000-05-11 | 2001-11-16 | Nec Corp | 性能評価モデル生成装置および性能評価モデル生成方法 |
| US6973640B2 (en) * | 2000-10-04 | 2005-12-06 | Bea Systems, Inc. | System and method for computer code generation |
| AU2002214209A1 (en) * | 2000-11-03 | 2002-05-15 | Wilde Technologies Limited | A software development process |
| AU2002326978A1 (en) * | 2001-09-20 | 2003-04-01 | I-Logix Inc. | Computerized system and method for web enabling and/or web management of embedded applications |
| FR2838844B1 (fr) * | 2002-04-23 | 2005-07-08 | France Telecom | Procede de generation d'un modele de performance a partir d'un modele fonctionnel |
| JP2004318654A (ja) | 2003-04-18 | 2004-11-11 | Fujitsu Ltd | 性能評価装置、性能評価方法及びプログラム |
-
2004
- 2004-05-14 JP JP2004144714A patent/JP4100630B2/ja not_active Expired - Fee Related
-
2005
- 2005-05-11 US US11/126,614 patent/US7509629B2/en not_active Expired - Fee Related
Also Published As
| Publication number | Publication date |
|---|---|
| US20050261884A1 (en) | 2005-11-24 |
| US7509629B2 (en) | 2009-03-24 |
| JP2005327094A (ja) | 2005-11-24 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP4100630B2 (ja) | Uml設計方法 | |
| JP5072882B2 (ja) | 回路仕様記述視覚化装置及び回路仕様記述視覚化方法 | |
| JP5910108B2 (ja) | 高位合成装置,高位合成方法,高位合成プログラム,集積回路の設計方法 | |
| JP2003067185A (ja) | アプリケーション編集装置、データ処理方法及びプログラム | |
| JP2006252557A (ja) | コンピュータ・プログラム・コードの開発オブジェクトの管理方法および開発オブジェクトの管理システム | |
| JP2006139729A (ja) | ハードウェア検証用プログラミング言語モデル生成装置、ハードウェア検証用プログラミング言語モデル生成方法、コンピュータシステム、ハードウェアシミュレーション方法、制御プログラムおよび可読記憶媒体 | |
| JP2007264994A (ja) | 検証支援装置、検証支援方法、検証支援プログラム、および記録媒体 | |
| JP5034916B2 (ja) | 性能評価モデル生成方法、システム性能評価方法、及び性能評価モデル生成装置 | |
| JP4393450B2 (ja) | 論理回路モデル変換装置及び論理回路モデル変換プログラム | |
| JP4867864B2 (ja) | 性能データ収集・表示システム、性能データ表示装置、そのプログラム | |
| US20100251211A1 (en) | Generating and using code-based diagrams | |
| Wechselberg et al. | Augmenting state models with data flow | |
| Ohnishi | A visual software requirements definition method | |
| CN117215556A (zh) | 模块化的页面快速构建方法、系统、设备及介质 | |
| JP2019139675A (ja) | ソースコード最適化装置、プログラムおよび方法 | |
| JP4660381B2 (ja) | 計算機システムの性能評価装置、性能評価方法、及び性能評価プログラム | |
| JP2009140028A (ja) | ハードウェア検証用プログラミング記述生成装置、ハードウェア検証用プログラミング記述生成方法、制御プログラムおよび可読記録媒体 | |
| Becker et al. | Extending automotive legacy systems with existing end-to-end timing constraints | |
| JP2016042317A (ja) | ソフトウェア設計支援装置、および方法 | |
| US12436760B2 (en) | Interactive code visualization system | |
| US7440882B1 (en) | Method and system for analyzing transaction level simulation data of an integrated circuit design | |
| Klemmer et al. | The Waveform Analysis Language | |
| JP2007257313A (ja) | ビジネスプロセス実行管理装置、ビジネスプロセス定義情報作成装置、動的プロセス変更装置、およびビジネスプロセス管理システム | |
| Hoyos-Rodríguez et al. | Tucan: Virtual prototype generation and time constraints analysis of real-time embedded systems | |
| JP4985858B2 (ja) | 検証支援装置、検証支援方法、検証支援プログラム、および記録媒体 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A871 | Explanation of circumstances concerning accelerated examination |
Free format text: JAPANESE INTERMEDIATE CODE: A871 Effective date: 20071226 |
|
| A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20080115 |
|
| A975 | Report on accelerated examination |
Free format text: JAPANESE INTERMEDIATE CODE: A971005 Effective date: 20080109 |
|
| A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20080218 |
|
| 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: 20080311 |
|
| RD14 | Notification of resignation of power of sub attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7434 Effective date: 20080313 |
|
| A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20080314 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20110328 Year of fee payment: 3 |
|
| R150 | Certificate of patent or registration of utility model |
Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20110328 Year of fee payment: 3 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20110328 Year of fee payment: 3 |
|
| S531 | Written request for registration of change of domicile |
Free format text: JAPANESE INTERMEDIATE CODE: R313531 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20110328 Year of fee payment: 3 |
|
| R370 | Written measure of declining of transfer procedure |
Free format text: JAPANESE INTERMEDIATE CODE: R370 |
|
| LAPS | Cancellation because of no payment of annual fees |