Designers need methodologies, not new models. In system design and user interaction, small is beautiful. Thus we need high-level models. We need a notion of equivalence or conformance that really considers what we need at the high level, and that deals with concurrency. Events are not instantaneous.
Designers also are quite happy with only statistical correctness.
They are generally worried by a mismatch between model and reality. Return to ACiD-WG Home Page. Return to CCSV Home Page. Return to SBU Home Page.