Theoretical Foundation, Semantics, and Capabilities of System Requirements Modeling Methods

A cross-section of requirements modeling languages and their associated models and methods are evaluated and compared. They are investigated with respect to the robustness of their semantics, their  mathematical foundations, and their capability for analysis and verification, as well as support for model construction, comprehension, reuse, and modification.