Specification of Systems
Ralf Jungclaus · 1993
In this chapter, the language constructs for the specification of systems that are constructed from larger parts are presented. At first sight, we may claim that we can just use the constructs for the description of complex objects introduced in the previous chapter since a system can be regarded as a complex object with just the existing objects as components.