Object-oriented modeling of multi-domain systems