A Simple Mathematically Based Framework for Rule Extraction from an Arbitrary Programming Language

  • Authors:
  • Frederick V. Ramsey;James J. Alpigini

  • Affiliations:
  • -;-

  • Venue:
  • COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a substantial and valuable business or intellectual asset. These valuable rules too often are notreused because the legacy program code is the only valid source for these rules, and extraction of the rules from the legacy code is thought to be too difficult. This problem is further exacerbated when a re-engineering project potentially involves rule recovery from multipleprograms in multiple languages. This paper reviews the uses of mathematically based or mathematically formal approaches to business rule recovery and extraction. A simple framework for two different rule extraction approaches for an arbitrary program language ispresented. These approaches are based on the mathematical assertions that programs are composed from language structures, and that extractable business rules can be functionally defined in terms of specific language structures and elements. The definition of an extractable rule function that specifies extractable rules in terms of language elements and structures isintroduced. A simple C language example of rule extraction using each approach is presented, and the requirements, advantages, and limitations of each approach are examined. Directions for additional research are presented.