Processing Xml with Java
A component-based simulation layer for JAMES
Proceedings of the eighteenth workshop on Parallel and distributed simulation
XML-based modeling and simulation: using XML for simulation modeling
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Processing Dynamic PDEVS Models
MASCOTS '04 Proceedings of the The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
XML mediation services utilizing model based data management
WSC '04 Proceedings of the 36th conference on Winter simulation
The Petri net markup language: concepts, technology, and tools
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Composing simulations from XML-specified model components
Proceedings of the 38th conference on Winter simulation
Simulation-based early warning systems as a practical approach for the automotive industry
Proceedings of the 38th conference on Winter simulation
Automating the development of shipyard manufacturing models
Proceedings of the 40th Conference on Winter Simulation
XML-based DEVS modeling and interpretation
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
A mark-up language for the storage, retrieval, sharing and interoperability of DEVS models
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Hi-index | 0.00 |
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 and, 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.