Title :
Expressing the relationships between multiple views in requirements specification
Author :
Nuseibeh, Bashar ; Kramer, Jeff ; Finkelstein, Anthony
Author_Institution :
Dept. of Comput., Imperial Coll., London, UK
Abstract :
The authors generalize and formalize the definition of a ViewPoint to facilitate its manipulation for composite system development. A ViewPoint is defined to be a loosely-coupled, locally managed object encapsulating representation knowledge, development process knowledge and partial specification knowledge about a system and its domain. In attempting to integrate multiple requirements specification ViewPoints, overlaps must be identified and expressed, complementary participants made to interact and cooperate, and contradictions resolved. The notion of inter-ViewPoint communication is addressed as a vehicle for ViewPoint integration. The communication model presented straddles both the method construction stage during which inter-ViewPoint relationships are expressed, and the method application stage during which these relationships are enacted
Keywords :
configuration management; formal specification; knowledge representation; object-oriented programming; ViewPoint integration; complementary participants; composite system development; development process knowledge; inter-ViewPoint communication; locally managed object; method application stage; method construction stage; multiple views; partial specification knowledge; representation knowledge; requirements specification; Context modeling; Educational institutions; History; Interconnected systems; Knowledge management; Programming; Software engineering; Vehicles;
Conference_Titel :
Software Engineering, 1993. Proceedings., 15th International Conference on
Conference_Location :
Baltimore, MD
Print_ISBN :
0-8186-3700-5
DOI :
10.1109/ICSE.1993.346045