kirancodes.me
To Proof Maintenance & Beyond!
ASE 1991

Rule Chaining in MARVEL: Dynamic Binding of Parameters

George T. Heineman, Gail E. Kaiser, Naser S. Barghouti, Israel Ben-Shaul

Full textDOI 10.1109/kbse.1991.638039dblp

Abstract

Marvel is a rule-based development environment (RBDE) that assists in the development of software projects. Marvel encapsulates each software development activity in a rule that specifies the condition for invoking the activity and its effects on the components of the project under development. These components are abstracted as objects and stored in a persistent object database. Each rule applies to a specific class of objects, which is specified as the parameter of the rule. Firing a rule entails binding its formal parameter to a specific object. If the rule changes the object in such a way that the conditions of other rules become satisfied, these other rules are automatically fired. A problem arises in this forward chaining model when the classes of the objects manipulated by the rules are different. Marvel has to determine which object to bind to the parameter of each rule in the chain, based on the object manipulated by the original rule that initiated the chain. We describe a heuristic approach for solving this problem in the current MARVEL implementation and introduce an algorithm approach that does better.

BibTeX
@inproceedings{Heineman-al:ASE91,
  author    = {George T. Heineman and
               Gail E. Kaiser and
               Naser S. Barghouti and
               Israel Ben{-}Shaul},
  title     = {Rule Chaining in {MARVEL:} Dynamic Binding of Parameters},
  booktitle = {ASE},
  pages     = {215--222},
  publisher = {{IEEE} Computer Society},
  year      = {1991},
}

Related papers