2011
EMSS 2011 Proceeding
Object-oriented modelling and verification aided by model simplification techniques
Authors: Anton Sodja, Borut Zupancic
Abstract
Object-oriented modeling approach brought efficient model reuse and thus possibility to create rich model li- braries which enable rapid development of large hetero- geneous models. However, verification and debugging of large complex models is becoming and increasingly challenging task.Furthermore, model should not be more complicated as needed for a given purpose. A suitable component describing a subsystem in sufficient detail should be selected from a library which might contain several components describing the same system but with different level of detail. Benefits of model simplification techniques for object- oriented model development are discussed in this pa- per. A modeler may help himself with them in a deci- sion making process of how detailed components should be used (e.g., how complicated model should be) and also as an assistance for verifying model by some in- formal verification methods. Simplified model should be represented in the same way as original, therefore, two simplification techniques are discussed, simplifica- tion of object-diagrams and simplification of equations, which are the usual representation of models in Model- ica, one of the commonly used object-oriented modeling language today.
I3M Scientific Sponsors
I3M Industrial Sponsors
I3M Media Sponsors
