Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Inductive modeling of discrete-event systems: a TMS-based non-monotonic reasoning approach
Inductive modeling of discrete-event systems: a TMS-based non-monotonic reasoning approach
DEVS and HLA: complementary paradigms for modeling and simulation?
Transactions of the Society for Computer Simulation International - Ethical issues in modeling and simulation
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Parallel and Distribution Simulation Systems
Parallel and Distribution Simulation Systems
The Design of Intelligent Agents: A Layered Approach
The Design of Intelligent Agents: A Layered Approach
Model-Based Systems Engineering
Model-Based Systems Engineering
Theory of Modeling and Simulation
Theory of Modeling and Simulation
What's Ahead for Embedded Software?
Computer
Guest editorial: Special issue on computer automated multi-paradigm modeling
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Adaptive execution in complex dynamic worlds
Adaptive execution in complex dynamic worlds
Multi-formalism modeling approach for semiconductor supply/demand networks
WSC '04 Proceedings of the 36th conference on Winter simulation
WSC '05 Proceedings of the 37th conference on Winter simulation
Proceedings of the 38th conference on Winter simulation
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Complexities of simulating a hybrid agent-landscape model using multi-formalism composability
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Conceptual simulation modeling: the structure of domain specific simulation environment
Proceedings of the 40th Conference on Winter Simulation
Simulation
On time granularity and event granularity in simulation service composition (WIP)
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Hi-index | 0.00 |
It is common practice to build complex systems from disparate sub-systems. Model composability is concerned with techniques for developing a whole model of a system from the models of its sub-systems. In this paper we present a new kind of Multi-Formalism Modeling Composability Framework which introduces the concept of Knowledge Interchange Broker for composing disparate modeling formalisms. The approach offers separation of concerns between model specifications and execution protocols across multiple modeling formalisms. The framework is exempli- fied via vehicle and agent models described in the Discrete- Event System Specification and Reactive Action Planning formalisms. A high-level software specification that illustrates an implementation of this framework is described. Ongoing and future research directions are also briefly presented.