For Full-Text PDF, please login, if you are a member of IEICE,|
or go to Pay Per View on menu list, if you are a nonmember of IEICE.
Evaluating Adaptability of Software Systems Based on Algebraic Equivalency
Yoshiyuki SHINKAWA Masao J. MATSUMOTO
IEICE TRANSACTIONS on Information and Systems
Publication Date: 1999/12/25
Print ISSN: 0916-8532
Type of Manuscript: PAPER
Category: Sofware System
formal method, colored Petri nets, software adaptability, process algebra, business process modeling,
Full Text: PDF(372.6KB)>>
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.