Supporting Application Framework Selection Based on Labeled Transition Systems(<Special Section>Knowledge-Based Software Engineering)
スポンサーリンク
概要
- 論文の詳細を見る
Framework technology is one of the promising approaches to reuse effectively software and its key issues are 1) to select the suitable frameworks for the software requirements specification, and 2) to fill the suitable hot spots with application-specific codes (customization). This paper proposes a new technique for automated support of the above issues by using labeled transition systems (LTSs) together with metrics technique. We model the behavior of the frameworks and the system behavior specified in the requirements specification by using two LTSs respectively. By establishing bisimilar relationship between the two LTSs, we check whether the behavior of the framework can match to the requirements and explore how to fill its hot spots. This process is done by means of constructing a graph to extract the bisimilar relationships, and each path of the graph denotes one of the implementations of the requirements by the framework. We attach some measures to the LTS of the framework, such as the number of the hot spots to be filled and the number of the parameters to be set up when filling the corresponding hot spot. These measures are used to estimate developer's efforts in filling the hot spots for each implementation, i.e. for each path of the graph. The result of estimating the efforts guides the developers to select the implementation, and the structure of the application-specific codes to be filled in can be automatically generated from the selected implementation. Furthermore we discuss case studies in the area of Web application, where Struts and Turbine can be used.
- 社団法人電子情報通信学会の論文
- 2006-04-01
著者
-
ZENMYO Teruyoshi
Department of Computer Science, Tokyo Institute of Technology
-
SAEKI Motoshi
Dept. of Computer Science, Tokyo Institute of Technology
-
KOBAYASHI TAKASHI
Global Scientific Information and Computing Center, Tokyo Institute of Technology
-
Saeki Motoshi
Dept. Of Computer Science Tokyo Institute Of Technology
-
Saeki Motoshi
東工大
-
ZENMYO Teruyoshi
Dept. of Computer Science, Tokyo Institute of Technology
-
Zenmyo Teruyoshi
Department Of Computer Science Tokyo Institute Of Technology
-
Kobayashi Takashi
Global Scientific Information And Computing Center Tokyo Institute Of Technology
関連論文
- Deriving Framework Usages Based on Behavioral Models
- Attributed Goal-Oriented Analysis Method for Selecting Alternatives of Software Requirements
- Query model using a tree structure of metadata subsets for metadata-based databases (夏のデータベースワークショップDBWS 2006)
- Query model using a tree structure of metadata subsets for metadata-based databases
- Deriving Framework Usages Based on Behavioral Models
- Combining Goal-Oriented Analysis and Use Case Analysis(Requirement Engineering)(Knowledge-Based Software Engineering)
- Formalizing Refactoring by Using Graph Transformation(Metrics, Test, and Maintenance)(Knowledge-Based Software Engineering)
- Supporting Application Framework Selection Based on Labeled Transition Systems(Knowledge-Based Software Engineering)
- Meta-Modeling Based Version Control System for Software Diagrams(Knowledge-Based Software Engineering)
- Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints
- Implementing OCL evaluators based on structural similarities of programming languages (ソフトウエア工学)
- UPRISE : Unified Presentation Slide Retrieval by Impression Search Engine(Information Processing Technology for Web Utilization)
- Reticella : An Execution Trace Slicing and Visualization Tool Based on a Behavior Model
- Impact Analysis on an Attributed Goal Graph