JP2007179165A - Uml設計モデルから、確率的な性能評価モデルを導出するコンピュータ・プログラムおよび確率的な性能評価モデルを導出する方法 - Google Patents
Uml設計モデルから、確率的な性能評価モデルを導出するコンピュータ・プログラムおよび確率的な性能評価モデルを導出する方法 Download PDFInfo
- Publication number
- JP2007179165A JP2007179165A JP2005374835A JP2005374835A JP2007179165A JP 2007179165 A JP2007179165 A JP 2007179165A JP 2005374835 A JP2005374835 A JP 2005374835A JP 2005374835 A JP2005374835 A JP 2005374835A JP 2007179165 A JP2007179165 A JP 2007179165A
- Authority
- JP
- Japan
- Prior art keywords
- call
- converting
- diagram
- class
- activity
- 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.)
- Pending
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/10—Requirements analysis; Specification techniques
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Stored Programmes (AREA)
Abstract
【解決手段】該コンピュータ・プログラムは、呼び出しグラフを、2分木構造を持った構文木に変換する手段221と、プロトコル状態図をプロセス式に変換する手段222と、アクティビティ図を確率付プロセス式に変換する手段223と、前記プロトコル状態図のプロセス式と、前記アクティビティ図の確率付プロセス式を合成して、クラスの確率付プロセス式を求める手段と、前記構文木と、前記クラスの確率付プロセス式から、システム全体の確率付プロセス代数式224を求める手段を有する。
【選択図】図2
Description
表すプロセス式の構文木と1対1に対応するので、ステップ905で、2文木を、プロセス式に変換する(図9(d))。
Buffer|{1,2,1end,2end} (Scanner|φ Printer)
なお、niはメッセージの送出、n’iはメッセージの受け取りを表す。ステップ1308で、全てのPi(i = 1、2、・・、k) を+で結合し、プロセス式PS≡P1+P2+・・+Pkを得る。ステップ1308で、もしSがループを形成する状態なら、PSに現れる変数XSをμ演算子で束縛し、μX・PSを変換結果とする。そうでなければ、PSを変換結果とする。ステップ1309で処理を終了する。
初期状態からs0への遷移にはラベルが付かないため、初期状態の変換結果はS0の変換結果に等しいので、[[●]]=[[S0]]となる。
S0はまだ一度も訪れていない状態であり、S0はループを形成する状態なので、[[S1]]に現れる変数XS0 は、μXS0で束縛される。従って、[[S0]]=μXS0・1’・1start・1’wait・1end[[S0]]となる。S1からS2への遷移に対応する式は、[[S0]]の変換と同様となる。S1からS2への遷移に対応する式は、S0は既に訪れた状態なので、変数XS0に変換される。従って、[[S1]]=μXS1 (1’ ・1start・1’wait・1end・ [[S2]]+2’ ・2start・・2’wait・2end・XS0)となる。[[S2]]は[[S1]]と同様なので、 [[S2]]=μXS2 (1’・1start・1’wait・1end・ [[S3]]+2’・2start・2’wait・2end・XS1)となる。
[[S3]]は、S3からS2への遷移に対応する式である。S3はループを形成する状態であるが、[[S3]]の結果には、変数XS3は現われないため、μXS3による束縛は行われない。従って、 [[S3]]=2’・2start・2’wait・2end・XS2となる。
BufferPSM ≡μXS0・1’・1start・1’wait・1end・μXS1・(1’・1start・1’wait・1end・μXS2・(1’・1start・1’wait・1end・2’・2start・2’wait・2end・XS2+2’・2start・2’wait・2end・XS1)+2’・2start・2’wait・2end・XS0)
(1)アクティビティ図に前処理を施し、以下の制約を満たす図に変換する。(i)アクティビティ図の「アクティビティ開始ノード」は唯一つである。(ii)各「基本アクションノード」「メソッド呼び出しノード」は唯一の入力エッジと出力エッジを持つ。(iii)各「分岐ノード」と「フォークノード」は2つの出力エッジを持つ。
(2)(1)で得られたアクティビティ図の構造を、表2で定義される構文(規則)に従って構文木による表現に変換する。
「アクティビティ終了ノードノード」の場合、Finall に変換する。
「アクティビティ開始ノードノード」の場合はinitl に変換し、後続の変換結果をA としてinitll→A に変換する。
「基本アクションノード」の場合は、注釈として付加された時間がt であるとした時、ノードを(a,1/t)l に変換し、後続の変換結果をA として(a,1/t )l → A に変換する。「メソッド呼び出しノード」の場合は、呼び出されるメソッドがf であり、その「メソッド呼び出し番号」がn であるとした時、ノードをcall(n)lに変換し、後続の変換結果をA としてcall(n)l → A に変換する。「分岐ノード」の場合は、後続する2つの分岐の変換結果をA1、A2 としてDecision(A1、A2)lに変換する。「フォークノード」の場合は、後続する2つの並列実行の変換結果をA1、A2 としてFor
k(A1,A2)l に変換する。「ジョインノード」の場合は、このノードを最初に訪れた場合、ノードをjoinl に変換し、後続の変換結果をA としてjoinl→A に変換する。既に訪れたことのあるノードの場合、ノードをJoinl に変換する。
「マージノード」の場合は、このノードを最初に訪れた場合、ノードをmergel に変換し、後続の変換結果をA としてmergel→A に変換する。既に訪れたことのあるノードの場合、そのノードがループを形成するノードであれば、BwdMergel に変換する。そうでない場合はFwdMergel に変換する。
ステップ1505で、変換してないノードがあるか判定する。ステップ1505で、変換してないノードがあると判断された場合は(YES)、ステップ1502に戻り、変換処理を続ける。ステップ1505で、変換してないノードがないと判断された場合は(NO)、ステップ1506に進んで、処理を終了する。
initl1→(enqueue、1/t3)l2 → Finall3
ここで、(enqueue、1/t3)l2 は、enqueueメソッドのアクションの実行に平均t3秒かかるという注釈を反映している。このように表現されたアクティビティ図は、表3の規則に従って、次のプロセス式に変換されるPputPage≡[initl1→ (enqueue, 1/t3 )l2→Finall3]
= [(enqueue、 1/t3 )l2 → Finall3)
= (1/t3)・[Finall3] = (1/t3 )・end・stop
また、Scanner コンポーネントのstartScanメソッドのアクティビティ図は、次の木表現に変換される。
initl4→mergel5 → (scanPage、1/t1)l6 → call(1)l7 → Mergel5 (scanPage、1/t1 )l6 は、scanPageメソッドのアクションの実行に平均t1 秒かかるという注釈を反映している。また、call(1)l7 は、putPage を呼び出すアクションに対応している。カッコ内の数字1 はScanner からputPage の呼び出しに対応するメソッド呼び出し番号である。ループの起点となるマージノードは、mergel5とMergel5の2つの要素に変換され、これらはいずれも同じラベルl5 を持つことで、元のアクティビティ図で同一のノードであったことが示されている。この木表現から、プロセス式は次のように変換される。
PstartScan≡[initl4→mergel5→(scanPage、1/t1 )l6 → call(1)l7 → Mergel5]
= [mergel5 → (scanPage; 1/t1 )l6 → call(1)l7 → Mergel5]
= μXl5[(scanPage; 1/t1 )l6 → call(1)l7 → Mergel5]
= μXl5・(1/t1 )・[call(1)l7 → Mergel5]
= μXl5・( 1/t1 )・1begin・1’end・[Mergel5]
= μXl5・( 1/t1 )・1begin・1’end・Xl5
同様に、Printer のstartPrintメソッドからは、次のプロセス式が得られる。
PstartPrint ≡ μXl6・2begin・2’end・(1/t2)・Xl6
上記P’A の先頭にμXnA・n’Astartを付加し、P”A≡μXnA・nAstart・P’Aとする。各アクティビティ図に対応するプロセス式を上記のように変換した後、次のようなプロセスの並列結合によって、クラス全体の振る舞いを表すプロセス式を得る
C≡PPMS|{n1start,n1wait,・・・,nkstart,nkwait}(P”A1|φ P”A2|φ・・・|φ P”A k)
ここで、PPSM はプロトコル状態図を変換した結果のプロセス式、n1,・・・,nkはメソッド呼び出し番号であり、各PAiはメソッド呼び出し番号i に対応するアクティビティ図の変換結果である。
Buffer ≡ BufferPSM|{1start,1wait,2start,2wait} (P”putPage|φ P”getPage)
Claims (15)
- コンピュータに、クラスのプロトコル状態図およびアクティビティ図を含むUML設モデルを、確率的な性能評価モデルに変換させるコンピュータ・プログラムであって、
前記コンピュータを
呼び出しグラフを、2分木構造を持った構文木に変換する手段と、
プロトコル状態図をプロセス式に変換する手段と、
アクティビティ図を確率付プロセス式に変換する手段と、
前記プロトコル状態図のプロセス式と、前記アクティビティ図の確率付プロセス式を成して、クラスの確率付プロセス式を求める手段と、
前記構文木と、前記クラスの確率付プロセス式から、システム全体の確率付プロセス数式を求める手段と
して機能させるためのコンピュータ・プログラム。 - 前記呼び出しグラフは、アクティビティ図からクラス間の呼び出しにもとづいたグラである、請求項1に記載のコンピュータ・プログラム。
- 前記呼び出しグラフを作成する手段は、同一メソッドに対し、メソッド呼び出しの引の違いで、メソッド呼び出しを区別することを特徴とする、請求項2に記載のコンピュタ・プログラム。
- 前記呼び出しグラフを作成する手段は、同一メソッドに対し、呼び出しパスの違いでメソッド呼び出しを区別することを特徴とする、請求項2に記載のコンピュータ・プロラム。
- 前記プロトコル状態図を変換する手段は、遷移先の状態をS1、S2、・・、Skとし、メソッド呼出し番号である遷移のラベルをn1、n2、・・、nkとして、最初に各遷移先の状態を変換することを特徴とする請求項1に記載のコンピュータ・プログラム。
- 前記アクティビティ図を変換する手段は、アクティビティ開始ノードから探索を開始し、訪れたノードに対して、一意な識別子を割り当てることを特徴とする請求項1に記載のコンピュータ・プログラム。
- 前記クラスの確率付プロセス式を求める手段は、メソッド呼出し番号により、アクティビティ図の確率付プロセス式を関連付けることを特徴とする請求項1に記載のコンピュータ・プログラム。
- 請求項1乃至7に記載のいずれかに記載のコンピュータ・プログラムを記録した、コンピュータ読み取り可能な記録媒体。
- クラスのプロトコル状態図およびアクティビティ図を含むUML設計モデルを、確率的な性能評価モデルに変換する方法であって、
呼び出しグラフを、2分木構造を持った構文木に変換するステップと、
プロトコル状態図をプロセス式に変換するステップと、
アクティビティ図を確率付プロセス式に変換するステップと、
前記プロトコル状態図のプロセス式と、前記アクティビティ図の確率付プロセス式を合成して、クラスの確率付プロセス式を求めるステップと、
前記構文木と、前記クラスの確率付プロセス式から、システム全体の確率付プロセス代数式を求めるステップと
を有する方法。 - 前記呼び出しグラフは、アクティビティ図からクラス間の呼び出しにもとづいたグラである、請求項1に記載の方法。
- 前記呼び出しグラフを作成するステップは、同一メソッドに対し、メソッド呼び出し引数の違いで、メソッド呼び出しを区別することを特徴とする、請求項2に記載の方法。
- 前記呼び出しグラフを作成するステップは、同一メソッドに対し、呼び出しパスの違で、メソッド呼び出しを区別することを特徴とする、請求項2に記載の方法。
- 前記プロトコル状態図を変換するステップは、遷移先の状態をS1、S2、・・、Skとし、メソッド呼出し番号である遷移のラベルをn1、n2、・・、nkとして、最初に各遷移先状態を変換することを特徴とする請求項1に記載の方法。
- 前記アクティビティ図を変換するステップは、アクティビティ開始ノードから探索を始し、訪れたノードに対して、一意な識別子を割り当てることを特徴とする請求項1に載の方法。
- 前記クラスの確率付プロセス式を求めるステップは、メソッド呼出し番号により、アクティビティ図の確率付プロセス式を関連付けることを特徴とする請求項1に記載の方法。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2005374835A JP2007179165A (ja) | 2005-12-27 | 2005-12-27 | Uml設計モデルから、確率的な性能評価モデルを導出するコンピュータ・プログラムおよび確率的な性能評価モデルを導出する方法 |
US11/608,103 US7788636B2 (en) | 2005-12-27 | 2006-12-07 | System and method for deriving stochastic performance evaluation model from annotated UML design model |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2005374835A JP2007179165A (ja) | 2005-12-27 | 2005-12-27 | Uml設計モデルから、確率的な性能評価モデルを導出するコンピュータ・プログラムおよび確率的な性能評価モデルを導出する方法 |
Publications (1)
Publication Number | Publication Date |
---|---|
JP2007179165A true JP2007179165A (ja) | 2007-07-12 |
Family
ID=38195390
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2005374835A Pending JP2007179165A (ja) | 2005-12-27 | 2005-12-27 | Uml設計モデルから、確率的な性能評価モデルを導出するコンピュータ・プログラムおよび確率的な性能評価モデルを導出する方法 |
Country Status (2)
Country | Link |
---|---|
US (1) | US7788636B2 (ja) |
JP (1) | JP2007179165A (ja) |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2011060277A (ja) * | 2009-08-31 | 2011-03-24 | Accenture Global Services Gmbh | 統合環境生成器 |
JP2012146015A (ja) * | 2011-01-07 | 2012-08-02 | Nec Corp | 性能評価システム、性能評価方法および性能評価用プログラム |
CN106226055A (zh) * | 2016-08-04 | 2016-12-14 | 哈尔滨工程大学 | 一种基于故障树的核电厂阀门本体失效的可靠性监测方法 |
US9626458B2 (en) | 2011-06-14 | 2017-04-18 | Nec Corporation | Evaluation model generation device, evaluation model generation method, and evaluation model generation program |
Families Citing this family (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP4740060B2 (ja) * | 2006-07-31 | 2011-08-03 | 富士通株式会社 | 重複データ検出プログラム、重複データ検出方法および重複データ検出装置 |
JP4412674B2 (ja) * | 2007-04-18 | 2010-02-10 | インターナショナル・ビジネス・マシーンズ・コーポレーション | モデル駆動型開発を支援する装置及び方法 |
US8869111B2 (en) * | 2009-01-15 | 2014-10-21 | Infosys Limited | Method and system for generating test cases for a software application |
US8589884B2 (en) * | 2009-01-15 | 2013-11-19 | Infosys Limited | Method and system for identifying regression test cases for a software |
US8549490B2 (en) | 2009-09-29 | 2013-10-01 | International Business Machines Corporation | Static code analysis for packaged application customization |
JP5185242B2 (ja) * | 2009-12-04 | 2013-04-17 | 株式会社東芝 | コンパイル装置 |
CN102799530B (zh) * | 2012-07-24 | 2015-03-18 | 浙江工商大学 | 一种基于uml架构的软件系统的性能预测方法 |
CN103593222B (zh) * | 2013-09-29 | 2016-08-10 | 中国人民解放军第二炮兵装备研究院科研试验中心 | 一种逆向提取Java软件程序类图的方法 |
CN103559069B (zh) * | 2013-11-18 | 2016-08-17 | 中国科学院声学研究所 | 一种基于代数系统的跨文件过程间优化方法 |
US11847445B2 (en) * | 2021-12-07 | 2023-12-19 | International Business Machines Corporation | Detecting business code areas in a mainframe application |
CN117056151B (zh) * | 2023-10-11 | 2024-01-19 | 深圳鲲云信息科技有限公司 | 用于芯片验证的方法及计算设备 |
Family Cites Families (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6601233B1 (en) * | 1999-07-30 | 2003-07-29 | Accenture Llp | Business components framework |
US6681383B1 (en) * | 2000-04-04 | 2004-01-20 | Sosy, Inc. | Automatic software production system |
JP2001318812A (ja) | 2000-05-11 | 2001-11-16 | Nec Corp | 性能評価モデル生成装置および性能評価モデル生成方法 |
TWI262383B (en) * | 2003-01-10 | 2006-09-21 | Univ Nat Cheng Kung | A generic software testing system and method |
JP4100630B2 (ja) * | 2004-05-14 | 2008-06-11 | インターナショナル・ビジネス・マシーンズ・コーポレーション | Uml設計方法 |
US20060106626A1 (en) * | 2004-11-16 | 2006-05-18 | Jun-Jang Jeng | Method and apparatus of model driven business solution monitoring and control |
-
2005
- 2005-12-27 JP JP2005374835A patent/JP2007179165A/ja active Pending
-
2006
- 2006-12-07 US US11/608,103 patent/US7788636B2/en not_active Expired - Fee Related
Cited By (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2011060277A (ja) * | 2009-08-31 | 2011-03-24 | Accenture Global Services Gmbh | 統合環境生成器 |
US8689177B2 (en) | 2009-08-31 | 2014-04-01 | Accenture Global Services Limited | Integration environment generator |
JP2012146015A (ja) * | 2011-01-07 | 2012-08-02 | Nec Corp | 性能評価システム、性能評価方法および性能評価用プログラム |
US9626458B2 (en) | 2011-06-14 | 2017-04-18 | Nec Corporation | Evaluation model generation device, evaluation model generation method, and evaluation model generation program |
CN106226055A (zh) * | 2016-08-04 | 2016-12-14 | 哈尔滨工程大学 | 一种基于故障树的核电厂阀门本体失效的可靠性监测方法 |
Also Published As
Publication number | Publication date |
---|---|
US20070150875A1 (en) | 2007-06-28 |
US7788636B2 (en) | 2010-08-31 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP2007179165A (ja) | Uml設計モデルから、確率的な性能評価モデルを導出するコンピュータ・プログラムおよび確率的な性能評価モデルを導出する方法 | |
JP5197688B2 (ja) | 統合環境生成器 | |
US7716254B2 (en) | System for modeling architecture for business systems and methods thereof | |
Agrawal et al. | An end-to-end domain-driven software development framework | |
Wu et al. | Automatic composition of semantic web services using process and data mediation | |
US8042091B2 (en) | Automatic composition of model transformations | |
Mallet et al. | The clock constraint specification language for building timed causality models: Application to synchronous data flow graphs | |
Lohmann et al. | Comparing and evaluating Petri net semantics for BPEL | |
EP3482292A1 (en) | An interoperable extensible system for the generation of verified software code | |
Vanhatalo et al. | Automatic workflow graph refactoring and completion | |
Karam et al. | A cataloging framework for software development methods | |
Kienzle et al. | A unifying framework for homogeneous model composition | |
CN110162297A (zh) | 一种源代码段自然语言描述自动生成方法及系统 | |
Popoola et al. | EMG: A domain-specific transformation language for synthetic model generation | |
JP2006350729A (ja) | アプリケーションソフトウェア構築方法、アプリケーションソフトウェア構築処理プログラム及びアプリケーションソフトウェア構築装置 | |
Tounsi et al. | From Event-B specifications to programs for distributed algorithms | |
Hue et al. | A transformation-based method for test case automatic generation from use cases | |
CN116243893A (zh) | 一种低代码出码方法 | |
Bicevskis et al. | Practitioners view on domain specific business process modeling | |
Di Rocco et al. | Bridging state-based differencing and co-evolution | |
Pickin et al. | Using UML sequence diagrams as the basis for a formal test description language | |
Noyer et al. | A model-based workflow from specification until validation of timing requirements in embedded software systems | |
Kerkouche et al. | Transforming UML models to colored Petri nets models using graph grammars | |
Jovanovikj et al. | Model-driven test case migration: The test case reengineering horseshoe model | |
Heinrich et al. | Challenges in the Evolution of Palladio—Refactoring Design Smells in a Historically-Grown Approach to Software Architecture Analysis |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20080125 |
|
A871 | Explanation of circumstances concerning accelerated examination |
Free format text: JAPANESE INTERMEDIATE CODE: A871 Effective date: 20080131 |
|
A975 | Report on accelerated examination |
Free format text: JAPANESE INTERMEDIATE CODE: A971005 Effective date: 20080229 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20080325 |
|
A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20080819 |