Requirements Modeling Language (RML) offers a notation for requirements modeling which combines object-orientation and organization, with an assertional sublanguage used to specify constraints and deductive rules. RML provides both an object-centered modeling framework and an ontology for requirements modeling.
This article highlights key ideas and research issues that have driven RML and its peers, evaluates them
retrospectively in the context of experience and more recent developments, and points out significant remaining problems and directions for requirements modeling research.
Read the full article on http://www.cs.toronto.edu/~jm/2507S/Readings/RMLRev.pdf