al progess in thedevelopment of tools that help us withsynchronizing the more abstract models with themore detailed models and tracing the mapping andrefinements between them.I believe there is a need for at least threedifferent kinds of languages, but languages ofeach of these kinds should be standardized as faras possible.