The Dartling domain modeling framework