expressing the relationships between multiple views in requirements specification