A Formal Basis for Aspect-Oriented Specification with Superposition
Pertti Kellomäki · 2002
We present a formalization of how specifications are constructed using superposition and composition in the Ocsid specification language. The formalization covers stepwise refinement using superposition and composition of independent refinements. Independent views of a refinement hierarchy (subclassing and operation refinement) are reconciled in composition in a formally well founded way. The formalization also defines how classes and operations are constructed from fragments given in separate syntactical units.