Evaluating Adaptability of Software Systems Based on Algebraic Equivalency

Yoshiyuki SHINKAWA  Masao J. MATSUMOTO  

Publication
IEICE TRANSACTIONS on Information and Systems   Vol.E82-D   No.12   pp.1524-1534
Publication Date: 1999/12/25
Online ISSN: 
DOI: 
Print ISSN: 0916-8532
Type of Manuscript: PAPER
Category: Sofware System
Keyword: 
formal method,  colored Petri nets,  software adaptability,  process algebra,  business process modeling,  

Full Text: PDF(372.6KB)>>
Buy this Article




Summary: 
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.