HIQUAL is a component-oriented deep modeling language that supports the modeling of component hierarchies and the representation and analysis of temporal relations. We describe the semantics of a system of components as a set of temporally and causally related temporal intervals that are denoted by dynamic states and events of the components. Thus, we obtain a uniform semantics for single components, for a system of horizontally connected components at the same level, and for a system of vertically connected components at different levels of abstraction. We claim that in our approach parallelism and other temporal aspects including temporal uncertainty are more naturally represented than in other approaches, in particular those using global state semantics.
展开▼