A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models

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 exemplified via vehicle and agent models described in the DiscreteEvent 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.

• Type: Conference
• Year: 2005
• Where: DSRT
• Authors: Hessam S. Sarjoughian, Dongping Huang
• Keywords: Disparate Modeling Formalisms, DSRT 2005, Modeling Composability Framework, Modeling Formalisms, Modelling And Simulation