Model-driven product application service modeling method