Capturing more world knowledge in the requirements specification

Sol J. Greenspan, John Mylopoulos, Alex Borgida

Research output: Contribution to journalConference articlepeer-review

55 Scopus citations


The view is adopted that software requirements involve the representation (modeling) of considerable real-world knowledge, not just functional specifications. A framework (RMF) for requirements models is presented and its main features are illustrated. RMF allows information about three types of conceptual entities (objects, activities, and assertions) to be recorded uniformly using the notion of properties. By grouping all entities into classes or metaclasses, and by organizing classes into generalization (specialization) hierarchies, RMF supports three abstraction principles (classification, aggregation, and generalization) which appear to be of universal importance in the development and organization of complex descriptions. Finally, by providing a mathematical model underlying our terminology, we achieve both unambiguity and the potential to verify consistency of the model.

Original languageEnglish (US)
Pages (from-to)225-235
Number of pages11
JournalProceedings - International Conference on Software Engineering
StatePublished - Sep 13 1982
Event6th International Conference on Software Engineering, ICSE 1982 - Tokyo, Japan
Duration: Sep 13 1982Sep 16 1982

All Science Journal Classification (ASJC) codes

  • Software

Fingerprint Dive into the research topics of 'Capturing more world knowledge in the requirements specification'. Together they form a unique fingerprint.

Cite this