Requirements analysis of the VoD application using the tools in TRADE

Roelf J. Wieringa, Sander Huyts

Research output: Book/ReportReportOther research output

27 Downloads (Pure)

Abstract

This report contains a specification of requirements for a video-on-demand (VoD) application developed at Belgacom, used as a trial application in the 2RARE project. The specification contains three parts: an informal specification in natural language; a semiformal specification consisting of a number of diagrams intended to illustrate the informal specification; and a formal specification that makes the requiremants on the desired software system precise. The informal specification is structured in such a way that it resembles official specification documents conforming to standards such as that of IEEE or ESA. The semiformal specification uses some of the tools in from a requirements engineering toolkit called TRADE (Toolkit for Requirements And Design Engineering). The purpose of TRADE is to combine the best ideas in current structured and object-oriented analysis and design methods within a traditional systems engineering framework. In the case of the VoD system, the systems engineering framework is useful because it provides techniques for allocation and flowdown of system functions to components. TRADE consists of semiformal techniques taken from structured and object-oriented analysis as well as a formal specification langyage, which provides constructs that correspond to the semiformal constructs. The formal specification used in TRADE is LCM (Language for Conceptual Modeling), which is a syntactically sugared version of order-sorted dynamic logic with equality. The purpose of this report is to illustrate and validate the TRADE/LCM approach in the specification of distributed, communication-intensive systems.
Original languageUndefined
Place of PublicationAmsterdam
PublisherFree University, Faculty of Mathematics and Computer Science
Number of pages41
Publication statusPublished - Oct 1996

Publication series

Name
PublisherFree University, Faculty of Mathematics and Computer Science

Keywords

  • IR-80182
  • SCS-Services
  • EWI-10702

Cite this

Wieringa, R. J., & Huyts, S. (1996). Requirements analysis of the VoD application using the tools in TRADE. Amsterdam: Free University, Faculty of Mathematics and Computer Science.
Wieringa, Roelf J. ; Huyts, Sander. / Requirements analysis of the VoD application using the tools in TRADE. Amsterdam : Free University, Faculty of Mathematics and Computer Science, 1996. 41 p.
@book{285ddd5e15f24875a4402de6ed236208,
title = "Requirements analysis of the VoD application using the tools in TRADE",
abstract = "This report contains a specification of requirements for a video-on-demand (VoD) application developed at Belgacom, used as a trial application in the 2RARE project. The specification contains three parts: an informal specification in natural language; a semiformal specification consisting of a number of diagrams intended to illustrate the informal specification; and a formal specification that makes the requiremants on the desired software system precise. The informal specification is structured in such a way that it resembles official specification documents conforming to standards such as that of IEEE or ESA. The semiformal specification uses some of the tools in from a requirements engineering toolkit called TRADE (Toolkit for Requirements And Design Engineering). The purpose of TRADE is to combine the best ideas in current structured and object-oriented analysis and design methods within a traditional systems engineering framework. In the case of the VoD system, the systems engineering framework is useful because it provides techniques for allocation and flowdown of system functions to components. TRADE consists of semiformal techniques taken from structured and object-oriented analysis as well as a formal specification langyage, which provides constructs that correspond to the semiformal constructs. The formal specification used in TRADE is LCM (Language for Conceptual Modeling), which is a syntactically sugared version of order-sorted dynamic logic with equality. The purpose of this report is to illustrate and validate the TRADE/LCM approach in the specification of distributed, communication-intensive systems.",
keywords = "IR-80182, SCS-Services, EWI-10702",
author = "Wieringa, {Roelf J.} and Sander Huyts",
year = "1996",
month = "10",
language = "Undefined",
publisher = "Free University, Faculty of Mathematics and Computer Science",

}

Wieringa, RJ & Huyts, S 1996, Requirements analysis of the VoD application using the tools in TRADE. Free University, Faculty of Mathematics and Computer Science, Amsterdam.

Requirements analysis of the VoD application using the tools in TRADE. / Wieringa, Roelf J.; Huyts, Sander.

Amsterdam : Free University, Faculty of Mathematics and Computer Science, 1996. 41 p.

Research output: Book/ReportReportOther research output

TY - BOOK

T1 - Requirements analysis of the VoD application using the tools in TRADE

AU - Wieringa, Roelf J.

AU - Huyts, Sander

PY - 1996/10

Y1 - 1996/10

N2 - This report contains a specification of requirements for a video-on-demand (VoD) application developed at Belgacom, used as a trial application in the 2RARE project. The specification contains three parts: an informal specification in natural language; a semiformal specification consisting of a number of diagrams intended to illustrate the informal specification; and a formal specification that makes the requiremants on the desired software system precise. The informal specification is structured in such a way that it resembles official specification documents conforming to standards such as that of IEEE or ESA. The semiformal specification uses some of the tools in from a requirements engineering toolkit called TRADE (Toolkit for Requirements And Design Engineering). The purpose of TRADE is to combine the best ideas in current structured and object-oriented analysis and design methods within a traditional systems engineering framework. In the case of the VoD system, the systems engineering framework is useful because it provides techniques for allocation and flowdown of system functions to components. TRADE consists of semiformal techniques taken from structured and object-oriented analysis as well as a formal specification langyage, which provides constructs that correspond to the semiformal constructs. The formal specification used in TRADE is LCM (Language for Conceptual Modeling), which is a syntactically sugared version of order-sorted dynamic logic with equality. The purpose of this report is to illustrate and validate the TRADE/LCM approach in the specification of distributed, communication-intensive systems.

AB - This report contains a specification of requirements for a video-on-demand (VoD) application developed at Belgacom, used as a trial application in the 2RARE project. The specification contains three parts: an informal specification in natural language; a semiformal specification consisting of a number of diagrams intended to illustrate the informal specification; and a formal specification that makes the requiremants on the desired software system precise. The informal specification is structured in such a way that it resembles official specification documents conforming to standards such as that of IEEE or ESA. The semiformal specification uses some of the tools in from a requirements engineering toolkit called TRADE (Toolkit for Requirements And Design Engineering). The purpose of TRADE is to combine the best ideas in current structured and object-oriented analysis and design methods within a traditional systems engineering framework. In the case of the VoD system, the systems engineering framework is useful because it provides techniques for allocation and flowdown of system functions to components. TRADE consists of semiformal techniques taken from structured and object-oriented analysis as well as a formal specification langyage, which provides constructs that correspond to the semiformal constructs. The formal specification used in TRADE is LCM (Language for Conceptual Modeling), which is a syntactically sugared version of order-sorted dynamic logic with equality. The purpose of this report is to illustrate and validate the TRADE/LCM approach in the specification of distributed, communication-intensive systems.

KW - IR-80182

KW - SCS-Services

KW - EWI-10702

M3 - Report

BT - Requirements analysis of the VoD application using the tools in TRADE

PB - Free University, Faculty of Mathematics and Computer Science

CY - Amsterdam

ER -

Wieringa RJ, Huyts S. Requirements analysis of the VoD application using the tools in TRADE. Amsterdam: Free University, Faculty of Mathematics and Computer Science, 1996. 41 p.