摘要 |
A method and apparatus for generating a model of a system, in which the system comprises a plurality of physical entities capable of performing interactions between each other. The method comprises receiving an interaction-based specification of the system defining interactions between the plurality of physical entities; dividing the interaction-based specification into a plurality of interaction sections; and generating a model defining each interaction section and its possible continuing interaction sections. An event flow diagram is generated from the model from which an executable model of the system can be automatically obtained.
|