A requirements modeling language and its logic

Sol J. Greenspan, Alex Borgida, John Mylopoulos

Research output: Contribution to journalArticle

46 Citations (Scopus)

Abstract

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
Volume11
Issue number1
DOIs
StatePublished - Jan 1 1986

Fingerprint

Specifications
Software engineering
Semantics
Modeling languages

All Science Journal Classification (ASJC) codes

  • Software
  • Information Systems
  • Hardware and Architecture

Keywords

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

Cite this

Greenspan, Sol J. ; Borgida, Alex ; Mylopoulos, John. / A requirements modeling language and its logic. In: Information Systems. 1986 ; Vol. 11, No. 1. pp. 9-23.
@article{2ef669fb3e114904bac2d4bcdde215c3,
title = "A requirements modeling language and its logic",
abstract = "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.",
keywords = "Requirements, conceptual model, logical semantics, modeling time, specification languages",
author = "Greenspan, {Sol J.} and Alex Borgida and John Mylopoulos",
year = "1986",
month = "1",
day = "1",
doi = "10.1016/0306-4379(86)90020-7",
language = "English (US)",
volume = "11",
pages = "9--23",
journal = "Information Systems",
issn = "0306-4379",
publisher = "Elsevier Limited",
number = "1",

}

A requirements modeling language and its logic. / Greenspan, Sol J.; Borgida, Alex; Mylopoulos, John.

In: Information Systems, Vol. 11, No. 1, 01.01.1986, p. 9-23.

Research output: Contribution to journalArticle

TY - JOUR

T1 - A requirements modeling language and its logic

AU - Greenspan, Sol J.

AU - Borgida, Alex

AU - Mylopoulos, John

PY - 1986/1/1

Y1 - 1986/1/1

N2 - 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.

AB - 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.

KW - Requirements

KW - conceptual model

KW - logical semantics

KW - modeling time

KW - specification languages

UR - http://www.scopus.com/inward/record.url?scp=0022546351&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0022546351&partnerID=8YFLogxK

U2 - 10.1016/0306-4379(86)90020-7

DO - 10.1016/0306-4379(86)90020-7

M3 - Article

AN - SCOPUS:0022546351

VL - 11

SP - 9

EP - 23

JO - Information Systems

JF - Information Systems

SN - 0306-4379

IS - 1

ER -