updated model to reflect implementations of specifications