The state of the art in this model of programming is Pegasystems, which is often called a BPM system but is really a declarative application development environment.

FORBES: A New Open-Source Model For SaaS