Evaluating Adaptability of Software Systems Based on Algebraic Equivalency
Yoshiyuki Shinkawa, Masao J. Matsumoto · 1999
this paper we present a formal and systematic approach to evaluateadaptab7xW y of software systems to requirements in enterprise brprise applications. Our approach consists of three major parts that is the common modeling method forb othb,70WR9 realms and software realms functional adaptabnal y evaluationb etween the models with #algebW and b ehavioraladaptabQQ, y evaluation with processalgebS0 By our approach one can rigorously and uniquely determine whether a software system isadaptab, to the requirements either totally or partially. A sample application from an order processing is illustrated to show how this approach is e#ective in solving the adaptabS,= y evolution probon,