As the effort towards standardization of formalism representations increases so does the need for verifying whether models do or do not follow a standard. Data binding allows to systematically exploit XML and its associated technologies for modeling and simulation purposes. Based on the schema definition of a formalism, a binding compiler generates model classes that support the user in constructing models according to the formalism. Most constraints can be checked automatically, few require separate efforts by the designer of the simulation system. Although simulators could be build for these declarative model descriptions, they would be hardly efficient. To this end, a separate transformation component is required. In this overall process, both model specifications that are consistent with a formalism definition and models that can be executed efficiently are supported equally
