A flexible rule-chaining engine for process-based software engineering | IEEE Conference Publication | IEEE Xplore