An experiment in eliminating the separation between data, functional, and behavioral models during requirements specification.