Integrating semi-formal and formal requirements

Roelf J. Wieringa; Antoni Olivé; Eric Dubois; Joan Antoni Pastor; Sander Huyts

doi:10.1007/3-540-63107-0_2

Integrating semi-formal and formal requirements

Roelf J. Wieringa
, Antoni Olivé (Editor)
, Eric Dubois
, Joan Antoni Pastor (Editor)
, Sander Huyts

Research output: Contribution to conference › Paper › peer-review

9 Citations (Scopus)

102 Downloads (Pure)

Abstract

In this paper, we report on the integration of informal, semiformal and formal requirements specification techniques. We present a framework for requirements specification called TRADE, within which several well-known semiformal specification techniques are placed. TRADE is based on an analysis of structured and object-oriented requirements specification methods. In this paper, we combine TRADE with the logic-based specification language Albert II and show that this leads to a coherent formal and semiformal requirements specification. We illustrate our approach with examples taken from a large distributed telecommunication application case study performed in the context of the Esprit project 2RARE.

Original language	Undefined
Pages	19-32
Number of pages	14
DOIs	https://doi.org/10.1007/3-540-63107-0_2
Publication status	Published - 1997
Event	9th International Conference on Advanced Information Systems Engineering, CAiSE 1997 - Barcelona, Spain Duration: 16 Jun 1997 → 20 Jun 1997 Conference number: 9

Conference

Conference	9th International Conference on Advanced Information Systems Engineering, CAiSE 1997
Abbreviated title	CAiSE
Country/Territory	Spain
City	Barcelona
Period	16/06/97 → 20/06/97

Keywords

SCS-Services
IR-67606
EWI-10642

Access to Document

10.1007/3-540-63107-0_2

wieringa97integrating

Cite this

@conference{a85c6d75ff1d427085614d69fa7ac5da,

title = "Integrating semi-formal and formal requirements",

abstract = "In this paper, we report on the integration of informal, semiformal and formal requirements specification techniques. We present a framework for requirements specification called TRADE, within which several well-known semiformal specification techniques are placed. TRADE is based on an analysis of structured and object-oriented requirements specification methods. In this paper, we combine TRADE with the logic-based specification language Albert II and show that this leads to a coherent formal and semiformal requirements specification. We illustrate our approach with examples taken from a large distributed telecommunication application case study performed in the context of the Esprit project 2RARE.",

keywords = "SCS-Services, IR-67606, EWI-10642",

author = "Wieringa, \{Roelf J.\} and Antoni Oliv{\'e} and Eric Dubois and Pastor, \{Joan Antoni\} and Sander Huyts",

year = "1997",

doi = "10.1007/3-540-63107-0\_2",

language = "Undefined",

pages = "19--32",

note = "9th International Conference on Advanced Information Systems Engineering, CAiSE 1997 ; Conference date: 16-06-1997 Through 20-06-1997",

}

TY - CONF

T1 - Integrating semi-formal and formal requirements

AU - Wieringa, Roelf J.

AU - Dubois, Eric

AU - Huyts, Sander

A2 - Olivé, Antoni

A2 - Pastor, Joan Antoni

N1 - Conference code: 9

PY - 1997

Y1 - 1997

N2 - In this paper, we report on the integration of informal, semiformal and formal requirements specification techniques. We present a framework for requirements specification called TRADE, within which several well-known semiformal specification techniques are placed. TRADE is based on an analysis of structured and object-oriented requirements specification methods. In this paper, we combine TRADE with the logic-based specification language Albert II and show that this leads to a coherent formal and semiformal requirements specification. We illustrate our approach with examples taken from a large distributed telecommunication application case study performed in the context of the Esprit project 2RARE.

AB - In this paper, we report on the integration of informal, semiformal and formal requirements specification techniques. We present a framework for requirements specification called TRADE, within which several well-known semiformal specification techniques are placed. TRADE is based on an analysis of structured and object-oriented requirements specification methods. In this paper, we combine TRADE with the logic-based specification language Albert II and show that this leads to a coherent formal and semiformal requirements specification. We illustrate our approach with examples taken from a large distributed telecommunication application case study performed in the context of the Esprit project 2RARE.

KW - SCS-Services

KW - IR-67606

KW - EWI-10642

U2 - 10.1007/3-540-63107-0_2

DO - 10.1007/3-540-63107-0_2

M3 - Paper

SP - 19

EP - 32

T2 - 9th International Conference on Advanced Information Systems Engineering, CAiSE 1997

Y2 - 16 June 1997 through 20 June 1997

ER -