Evaluating Adaptability of Software Systems Based on Algebraic Equivalency
スポンサーリンク
概要
- 論文の詳細を見る
Adaptability evaluation of software systems is one of the key concerns in both software engineering and requirements engineering. In this paper, we present a formal and systematic approach to evaluate adaptability of software systems to requirements in enterprise business applications. Our approach consists of three major parts, that is, the common modeling method for both business realms and software realms, functional adaptability evaluation between the models with ? algebra and behavioral adaptability evaluation with process algebra. By our approach, one can rigorously and uniquely determine whether a software system is adaptable to the requirements, either totally or partially. A sample application from an order processing is illustrated to show how this approach is effective in solving the adaptability evolution problem.
- 社団法人電子情報通信学会の論文
- 1999-12-25
著者
-
Matsumoto Masao
Graduate School Of Business Sciences University Of Tsukuba
-
Matsumoto Masao
Graduate School Of Systems Management The University Of Tsukuba
-
Shinkawa Yoshiyuki
Systems Laboratory Ibm Japan Ltd.
-
Shinkawa Yoshiyuki
Systems Laboratory Ibm Japan Ltd
-
MATSUMOTO Masao
Graduate School of Systems Management, The University of Tsukuba
関連論文
- Composing Collaborative Component Systems Using Colored Petri Nets (Special Section on Discrete Mathematics and Its Applications)
- Identifying the Structure of Business Processes for Comprehensive Enterprise Modeling
- Evaluating Adaptability of Software Systems Based on Algebraic Equivalency
- On Exception Handling in Business Processes : A Formal Approach
- A Consideration of e-Business Modeling Value Evaluation