A requirements modeling language and its logic

Sol J. Greenspan, Alexander Borgida, John Mylopoulos

Research output: Contribution to journalArticle

46 Scopus citations


This paper describes some aspects of a Requirements Modeling Language (RML) which can be used in the initial phases of software development. RML is based on the idea that a requirements specification should embody a conceptual world model and that the language for expressing it should provide facilities for organizing and abstracting details, yet at the same time have qualities such as precision, consistency and clarity. RML has a number of novel features including assertion classes, the treatment of time and various abbreviation techniques, all integrated into one uniform object-oriented framework. The precise semantics of these and other features are provided in this paper by relating RML to a logic involving time. This demonstrates that a language can offer highly structured and convenient mechanisms for requirements specifications while having solid mathematical underpinnings.

Original languageEnglish (US)
Pages (from-to)9-23
Number of pages15
JournalInformation Systems
Issue number1
StatePublished - 1986

All Science Journal Classification (ASJC) codes

  • Software
  • Information Systems
  • Hardware and Architecture


  • Requirements
  • conceptual model
  • logical semantics
  • modeling time
  • specification languages

Fingerprint Dive into the research topics of 'A requirements modeling language and its logic'. Together they form a unique fingerprint.

  • Cite this