The dartling domain modeling framework