A web-based modeling editor with analysis capabilities for the next release problem