A synthesis model that provides a framework for special techniques to be plugged in