JP5568177B2 - 複合アプリケーションの自動分析 - Google Patents
複合アプリケーションの自動分析 Download PDFInfo
- Publication number
- JP5568177B2 JP5568177B2 JP2013510818A JP2013510818A JP5568177B2 JP 5568177 B2 JP5568177 B2 JP 5568177B2 JP 2013510818 A JP2013510818 A JP 2013510818A JP 2013510818 A JP2013510818 A JP 2013510818A JP 5568177 B2 JP5568177 B2 JP 5568177B2
- Authority
- JP
- Japan
- Prior art keywords
- application
- component
- rules
- components
- programming languages
- 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; 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
- G06F9/445—Program loading or initiating
- G06F9/44589—Program code verification, e.g. Java bytecode verification, proof-carrying code
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3604—Software analysis for verifying properties of programs
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/10—Requirements analysis; Specification techniques
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/70—Software maintenance or management
- G06F8/75—Structural analysis for program understanding
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- General Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Stored Programmes (AREA)
Description
図1を参照すると、コンピュータ・システム100は、アプリケーション分析機構を含むコンピュータ・システムの1つの適切な実装形態である。コンピュータ・システム100は、IBM eServer System iコンピュータ・システムである。しかしながら、当業者であれば、本明細書における開示は、コンピュータ・システムが複雑なマルチ・ユーザ用コンピューティング装置であるか、シングル・ユーザ用ワークステーションであるか、又は内蔵式制御システムであるかどうかに関わりなく、あらゆるコンピュータ・システムに等しく適用されることが分かるであろう。図1に示されるように、コンピュータ・システム100は、1つ又は複数のプロセッサ110、メイン・メモリ120、大容量ストレージ・インターフェース130、ディスプレイ・インターフェース140、及びネットワーク・インターフェース150を含む。これらのシステム・コンポーネントは、システム・バス160を用いることによって相互接続される。大容量ストレージ・インターフェース130は、直接アクセス・ストレージ装置155などの大容量ストレージ装置をコンピュータ・システム100に接続するのに用いられる。直接アクセス・ストレージ装置155の1つの具体的なタイプは、読み出し及び書き込み可能CD−RWドライブであり、これは、CD−RW195との間でデータの格納及びデータの読み出しを行うことができる。
適切なコンポーネント相互関係規則の別の例910が図9に示されており、これは呼び出し問題を扱うものである。第1行920はSCDLのComponentステートメントであり、一方、第2行930はBPELファイルを呼び出すJavaステートメントである。行940及び950は、条件が満たされるかどうかを調べるテストを行い、満たされる場合には、行960において第1の警告を付加することができ、行970において第2の警告を付加することができる。この規則の論理は、JavaファイルがBPELコンポーネントを呼び出す場合には、そのBPELコンポーネントとは実行時に非同期的に対話すべきであることと、エラーが発生した場合には、バックエンド・システムが、外部からの修復を要する不整合状態になっている可能性があり、従って、適切な警告が結果に付加されることを示している。
適切なコンポーネント相互関係規則の第3の例1010が図10に示されており、これは呼び出し形式を扱うものである。この規則は、同じ言語、即ちSCDLによって定められた2つのコンポーネントを有するが、いずれもXMLを用いて定められた2つの異なるスキーマ、即ちComponent及びImportに従うものであることに留意されたい。行1020は各コンポーネントを取得することを指定し、行1030においてそのコンポーネントについての実装タイプがJavaである場合には、行1040においてインポートが選択され、行1050における各々のインポートについて、行1060においてそのインポートがトランザクションを結合しない場合には、バックエンド・システムが最終的に矛盾した状態になる可能性があるため、行1070において警告が付加される。
Claims (16)
- 少なくとも1つのプロセッサと、
前記少なくとも1つのプロセッサに結合されたメモリと、
前記メモリに常駐する複合アプリケーションであって、前記複合アプリケーションは、複数の異なるプログラミング言語で書かれた複数のコンポーネントを含む、複合アプリケーションと、
前記メモリに常駐する複数のコンポーネント相互関係規則であって、前記コンポーネント相互関係規則の各々は、異なるプログラミング言語のコンポーネント間の少なくとも1つの条件と前記少なくとも1つの条件が満たされるかどうかに応じて行われる少なくとも1つのアクションとを含む、複数のコンポーネント相互関係規則と、
前記メモリに常駐し、前記少なくとも1つのプロセッサによって実行されるアプリケーション分析機構であって、前記アプリケーション分析機構は、前記複合アプリケーションのアプリケーション・モデルを生成し、前記複数のコンポーネント相互関係規則への適合性について前記アプリケーション・モデルを分析し、前記複数のコンポーネント相互関係規則への適合性について前記アプリケーション・モデルを分析した結果を出力する、アプリケーション分析機構と、
を含み、
前記アプリケーション・モデルは、プログラミング言語に従って複数のカテゴリに分離された前記複合アプリケーション内の前記複数のコンポーネントを含む装置。 - 前記少なくとも1つのアクションは、前記結果に警告を付加することを含む、請求項1に記載の装置。
- 前記結果は、前記複合アプリケーションについての統計情報と少なくとも1つの警告とを含む、請求項1に記載の装置。
- 前記アプリケーション・モデルは、前記複数のカテゴリのうちの第1のカテゴリにおけるコンポーネントと前記複数のカテゴリのうちの第2のカテゴリにおけるコンポーネントとの間の相互関係を記述するメタデータをさらに含む、請求項1に記載の装置。
- 前記少なくとも1つの条件は、2つのプログラミング言語と前記2つのプログラミング言語の間の相互関係とを指定する、請求項1に記載の装置。
- 複数の異なるプログラミング言語で書かれた複数のコンポーネントを含む複合アプリケーションを分析するためのコンピュータ実装方法であって、
前記方法は、
少なくとも1つのプロセッサを準備するステップと、
前記少なくとも1つのプロセッサに結合されたメモリを準備するステップと、
前記メモリに常駐する複数のコンポーネント相互関係規則を準備するステップであって、前記コンポーネント相互関係規則の各々は、異なるプログラミング言語のコンポーネント間の少なくとも1つの条件と前記少なくとも1つの条件が満たされるかどうかに応じて行われる少なくとも1つのアクションとを含む、ステップと、
を含み、
前記少なくとも1つのプロセッサは、
前記複合アプリケーションを受信するステップと、
前記複合アプリケーションのアプリケーション・モデルを生成するステップと、
前記複数のコンポーネント相互関係規則への適合性について前記アプリケーション・モデルを分析するステップと、
前記複数のコンポーネント相互関係規則への適合性について前記アプリケーション・モデルを分析した結果を出力するステップと、
を行い、
前記アプリケーション・モデルは、プログラミング言語に従って複数のカテゴリに分離された前記複合アプリケーション内の前記複数のコンポーネントを含む、方法。 - 前記少なくとも1つのアクションは、前記結果に警告を付加することを含む、請求項6に記載の方法。
- 前記結果は、前記複合アプリケーションについての統計情報と少なくとも1つの警告とを含む、請求項6に記載の方法。
- 前記アプリケーション・モデルは、前記複数のカテゴリのうちの第1のカテゴリにおけるコンポーネントと前記複数のカテゴリのうちの第2のカテゴリにおけるコンポーネントとの間の相互関係を記述するメタデータをさらに含む、請求項6に記載の方法。
- 前記少なくとも1つの条件は、2つのプログラミング言語と前記2つのプログラミング言語の間の相互関係とを指定する、請求項6に記載の方法。
- 複数の異なるプログラミング言語で書かれた複数のコンポーネントを含む複合アプリケーションを分析するためのコンピュータ実装方法であって、
前記方法は、
少なくとも1つのプロセッサを準備するステップと、
前記少なくとも1つのプロセッサに結合されたメモリを準備するステップと、
前記メモリに常駐する複数のコンポーネント相互関係規則を準備するステップであって、前記コンポーネント相互関係規則の各々は、異なるプログラミング言語のコンポーネント間の少なくとも1つの条件と前記少なくとも1つの条件が満たされるかどうかに応じて行われる少なくとも1つのアクションとを含む、ステップと、
を含み、
前記少なくとも1つのプロセッサは、
前記複合アプリケーションを受信するステップと、
プログラミング言語に従って複数のカテゴリに分離された前記複合アプリケーション内の前記複数のコンポーネントを含む、前記複合アプリケーションのアプリケーション・モデルを生成するステップであって、前記複数のカテゴリの各々は、異なるカテゴリにおけるコンポーネント間の相互関係を記述するメタデータを含む、ステップと、
前記複数のコンポーネント相互関係規則への適合性について前記アプリケーション・モデルを分析するステップと、
前記複数のコンポーネント相互関係規則への適合性について前記アプリケーション・モデルを分析した結果を出力するステップであって、前記結果は、前記複合アプリケーションについての統計情報と少なくとも1つの警告とを含む、ステップと、
を行う、方法。 - 有形のストレージ媒体上に格納されるコンピュータ・プログラムであって、コンピュータを、
複数の異なるプログラミング言語で書かれた複数のコンポーネントを含む複合アプリケーションのアプリケーション・モデルを生成し、異なるプログラミング言語のコンポーネント間の少なくとも1つの条件と前記少なくとも1つの条件が満たされるかどうかに応じて行われる少なくとも1つのアクションとを各々が含む複数のコンポーネント相互関係規則への適合性について、前記アプリケーション・モデルを分析し、前記複数のコンポーネント相互関係規則への適合性について前記アプリケーション・モデルを分析した結果を出力する、アプリケーション分析機構として機能させ、
前記アプリケーション・モデルは、プログラミング言語に従って複数のカテゴリに分離された前記複合アプリケーション内の前記複数のコンポーネントを含む、コンピュータ・プログラム。 - 前記少なくとも1つのアクションは、前記結果に警告を付加することを含む、請求項12に記載のコンピュータ・プログラム。
- 前記結果は、前記複合アプリケーションについての統計情報と少なくとも1つの警告とを含む、請求項12に記載のコンピュータ・プログラムソフトウェア。
- 前記アプリケーション・モデルは、前記複数のカテゴリのうちの第1のカテゴリにおけるコンポーネントと前記複数のカテゴリのうちの第2のカテゴリにおけるコンポーネントとの間の相互関係を記述するメタデータをさらに含む、請求項12に記載のコンピュータ・プログラム。
- 前記少なくとも1つの条件は、2つのプログラミング言語と前記2つのプログラミング言語の間の相互関係とを指定する、請求項12に記載のコンピュータ・プログラム。
Applications Claiming Priority (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US12/901,847 | 2010-10-11 | ||
US12/901,847 US8839197B2 (en) | 2010-10-11 | 2010-10-11 | Automated analysis of composite applications |
PCT/JP2011/004901 WO2012049802A1 (en) | 2010-10-11 | 2011-09-01 | Automated analysis of composite applications |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2013542474A JP2013542474A (ja) | 2013-11-21 |
JP5568177B2 true JP5568177B2 (ja) | 2014-08-06 |
Family
ID=45926121
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2013510818A Expired - Fee Related JP5568177B2 (ja) | 2010-10-11 | 2011-09-01 | 複合アプリケーションの自動分析 |
Country Status (5)
Country | Link |
---|---|
US (2) | US8839197B2 (ja) |
JP (1) | JP5568177B2 (ja) |
CN (1) | CN103154905B (ja) |
DE (1) | DE112011103428T5 (ja) |
WO (1) | WO2012049802A1 (ja) |
Families Citing this family (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9589129B2 (en) | 2012-06-05 | 2017-03-07 | Lookout, Inc. | Determining source of side-loaded software |
US9407443B2 (en) | 2012-06-05 | 2016-08-02 | Lookout, Inc. | Component analysis of software applications on computing devices |
US9021091B2 (en) | 2012-10-15 | 2015-04-28 | International Business Machines Corporation | Transaction middleware based application level transaction instance tracking across a composite application |
US9763022B2 (en) | 2013-10-14 | 2017-09-12 | International Business Machines Corporation | Automatic system and method for conversion of smart phone applications to basic phone applications |
KR102363433B1 (ko) | 2015-01-15 | 2022-02-16 | 삼성전자주식회사 | 이미지 센서 |
US9705973B2 (en) | 2015-04-29 | 2017-07-11 | International Business Machines Corporation | Release and management of composite applications on PaaS |
EP3289510B1 (en) | 2015-05-01 | 2020-06-17 | Lookout Inc. | Determining source of side-loaded software |
KR101745808B1 (ko) * | 2015-12-31 | 2017-06-28 | 엔에이치엔엔터테인먼트 주식회사 | 서버측 로직의 모듈화를 위한 모듈 처리 방법 및 시스템 |
US10218697B2 (en) | 2017-06-09 | 2019-02-26 | Lookout, Inc. | Use of device risk evaluation to manage access to services |
US10725745B2 (en) * | 2018-05-24 | 2020-07-28 | Walmart Apollo, Llc | Systems and methods for polyglot analysis |
FR3091106B1 (fr) | 2018-12-20 | 2021-02-12 | Commissariat Energie Atomique | Système de supervision formelle de communications |
Family Cites Families (10)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5694539A (en) * | 1994-08-10 | 1997-12-02 | Intrinsa Corporation | Computer process resource modelling method and apparatus |
US7483901B1 (en) * | 2003-09-10 | 2009-01-27 | Nextaxiom Technology, Inc. | System and method for data transfer between two or more connected software services |
US8271541B2 (en) * | 2004-03-31 | 2012-09-18 | Fusionops Corporation | Method and apparatus for developing composite applications |
US8219975B2 (en) * | 2007-10-26 | 2012-07-10 | Microsoft Corporation | Real-time analysis of performance data of a video game |
EP2071452A1 (en) * | 2007-12-07 | 2009-06-17 | Alcatel Lucent | Device and method for automatically building applications from specifications and from off-the-shelf components selected by semantic analysis |
US8321841B2 (en) * | 2008-01-08 | 2012-11-27 | International Business Machines Corporation | Validation framework for service oriented architecture (SOA) application adoption |
US8245191B2 (en) | 2008-07-03 | 2012-08-14 | International Business Machines Corporation | Policy application rules for automated configuration of software components |
US9836282B2 (en) * | 2008-08-08 | 2017-12-05 | Entit Software Llc | Separation of concerns between information technology services models |
US8887124B2 (en) * | 2009-09-30 | 2014-11-11 | Sap Se | Validation of process models |
US8898627B2 (en) * | 2010-05-11 | 2014-11-25 | Smartshift Gmbh | Systems and methods for applying rules to transform objects of an application |
-
2010
- 2010-10-11 US US12/901,847 patent/US8839197B2/en not_active Expired - Fee Related
-
2011
- 2011-09-01 DE DE112011103428T patent/DE112011103428T5/de not_active Ceased
- 2011-09-01 JP JP2013510818A patent/JP5568177B2/ja not_active Expired - Fee Related
- 2011-09-01 CN CN201180048976.0A patent/CN103154905B/zh not_active Expired - Fee Related
- 2011-09-01 WO PCT/JP2011/004901 patent/WO2012049802A1/en active Application Filing
-
2012
- 2012-12-08 US US13/708,948 patent/US8839198B2/en not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
DE112011103428T5 (de) | 2013-07-18 |
WO2012049802A1 (en) | 2012-04-19 |
US8839197B2 (en) | 2014-09-16 |
US20120089963A1 (en) | 2012-04-12 |
JP2013542474A (ja) | 2013-11-21 |
US20130125095A1 (en) | 2013-05-16 |
CN103154905A (zh) | 2013-06-12 |
US8839198B2 (en) | 2014-09-16 |
CN103154905B (zh) | 2016-06-01 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP5568177B2 (ja) | 複合アプリケーションの自動分析 | |
US11580680B2 (en) | Systems and interactive user interfaces for dynamic retrieval, analysis, and triage of data items | |
JP6678780B2 (ja) | プロセス視覚化プラットフォーム | |
US8707275B2 (en) | Simulation environment for distributed programs | |
US20200328952A1 (en) | Distributed Tracing for Application Performance Monitoring | |
US9858091B2 (en) | Generating customized on-demand videos from automated test scripts | |
US8307327B2 (en) | Using customizable templates to retrieve and display a system configuration topology graph | |
JP2018014130A (ja) | ビジネス活動監視ランタイム | |
US9015608B2 (en) | Regenerating a user interface area | |
CN108595316A (zh) | 分布式应用的生命周期管理方法、管理器、设备和介质 | |
US11526413B2 (en) | Distributed tracing of huge spans for application and dependent application performance monitoring | |
US8296723B2 (en) | Configurable unified modeling language building blocks | |
CN111078761A (zh) | 数据探查方法、装置、设备及存储介质 | |
CN115576817A (zh) | 一种自动化测试系统、方法、电子设备及存储介质 | |
US20230063753A1 (en) | Testing virtual reality integration with a development environment | |
CN110555732B (zh) | 一种营销策略推送方法、装置及营销策略运营平台 | |
US20170300937A1 (en) | System and method for inferring social influence networks from transactional data | |
CN111176944A (zh) | 区块链智能合约调用记录解析方法、装置、终端和存储介质 | |
CN110806969A (zh) | 一种测试用例完整度评估方法、装置及电子设备 | |
CN104424525B (zh) | 辅助确定项目范围的方法和装置 | |
CN115617874A (zh) | 数据分析系统、方法、电子设备和计算机可读介质 | |
JP2020514907A (ja) | プロセス定義およびプロセス実行トラッキングのためのユーザインターフェイスおよびランタイム環境 | |
CN117193990B (zh) | http接口的调度管理方法、装置、设备及存储介质 | |
US11921620B2 (en) | Generating a visualization of blocks of code statements related to errors in a log file | |
CN115391199A (zh) | 一种程序开发和运维系统、方法、计算机设备和存储介质 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20140204 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20140502 |
|
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: 20140603 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20140620 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 5568177 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
LAPS | Cancellation because of no payment of annual fees |