Modelling with Relational Calculus of Object and Component Systems - rCOS

Zhenbang Chen; Abdel Hakim Hannousse; Dang Van Hung; Istvan Knoll; Xiaoshan LI; Zhiming Liu; Yang Liu; Qu Nan; Joseph C. Okika; Anders Peter Ravn; Volker Stolz; Lu Yang; Naijun Zhan

doi:10.1007/978-3-540-85289-6_6

Modelling with Relational Calculus of Object and Component Systems - rCOS

Zhenbang Chen, Abdel Hakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan LI, Zhiming Liu, Yang Liu, Qu Nan, Joseph C. Okika, Anders Peter Ravn, Volker Stolz, Lu Yang, Naijun Zhan

Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

11 Citations (Scopus)

Abstract

This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus of Object and Component Systems (rCOS). We give a model of requirements based on an abstraction of the use cases described in Chapter 3.2. Then the refinement calculus
of rCOS is used to derive design models corresponding to the top level designs of Chapter 3.4. We demonstrate how rCOS supports modelling different views and their relationships of the system and the separation of concerns in the development.

Original language	English
Title of host publication	The Common Component Modeling Example : Comparing Software Component Models
Editors	Andreas Rausch, Ralf Reussner, Raffaela Mirandola, Frantisek Plasil
Place of Publication	Berlin/Heidelberg
Publisher	Springer
Publication date	2008
Pages	116-145
ISBN (Print)	3-540-85288-3
DOIs	https://doi.org/10.1007/978-3-540-85289-6_6
Publication status	Published - 2008

Series	Lecture Notes in Computer Science
Number	5153
ISSN	0302-9743

Keywords

Requirements Modelling
Design
Refinement

Access to Document

10.1007/978-3-540-85289-6_6

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Chen, Z., Hannousse, A. H., Hung, D. V., Knoll, I., LI, X., Liu, Z., Liu, Y., Nan, Q., Okika, J. C., Ravn, A. P., Stolz, V., Yang, L., & Zhan, N. (2008). Modelling with Relational Calculus of Object and Component Systems - rCOS. In A. Rausch, R. Reussner, R. Mirandola, & F. Plasil (Eds.), The Common Component Modeling Example: Comparing Software Component Models (pp. 116-145). Springer. https://doi.org/10.1007/978-3-540-85289-6_6

Chen, Zhenbang ; Hannousse, Abdel Hakim ; Hung, Dang Van et al. / Modelling with Relational Calculus of Object and Component Systems - rCOS. The Common Component Modeling Example: Comparing Software Component Models. editor / Andreas Rausch ; Ralf Reussner ; Raffaela Mirandola ; Frantisek Plasil. Berlin/Heidelberg : Springer, 2008. pp. 116-145 (Lecture Notes in Computer Science; No. 5153).

@inbook{3f156180099011de82e6000ea68e967b,

title = "Modelling with Relational Calculus of Object and Component Systems - rCOS",

abstract = "This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus of Object and Component Systems (rCOS). We give a model of requirements based on an abstraction of the use cases described in Chapter 3.2. Then the refinement calculusof rCOS is used to derive design models corresponding to the top level designs of Chapter 3.4. We demonstrate how rCOS supports modelling different views and their relationships of the system and the separation of concerns in the development.",

keywords = "Requirements Modelling, Design, Refinement",

author = "Zhenbang Chen and Hannousse, {Abdel Hakim} and Hung, {Dang Van} and Istvan Knoll and Xiaoshan LI and Zhiming Liu and Yang Liu and Qu Nan and Okika, {Joseph C.} and Ravn, {Anders Peter} and Volker Stolz and Lu Yang and Naijun Zhan",

year = "2008",

doi = "10.1007/978-3-540-85289-6_6",

language = "English",

isbn = "3-540-85288-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "5153",

pages = "116--145",

editor = "Andreas Rausch and Ralf Reussner and Raffaela Mirandola and Frantisek Plasil",

booktitle = "The Common Component Modeling Example",

address = "Germany",

}

Chen, Z, Hannousse, AH, Hung, DV, Knoll, I, LI, X, Liu, Z, Liu, Y, Nan, Q, Okika, JC, Ravn, AP, Stolz, V, Yang, L & Zhan, N 2008, Modelling with Relational Calculus of Object and Component Systems - rCOS. in A Rausch, R Reussner, R Mirandola & F Plasil (eds), The Common Component Modeling Example: Comparing Software Component Models. Springer, Berlin/Heidelberg, Lecture Notes in Computer Science, no. 5153, pp. 116-145. https://doi.org/10.1007/978-3-540-85289-6_6

Modelling with Relational Calculus of Object and Component Systems - rCOS. / Chen, Zhenbang; Hannousse, Abdel Hakim; Hung, Dang Van et al.
The Common Component Modeling Example: Comparing Software Component Models. ed. / Andreas Rausch; Ralf Reussner; Raffaela Mirandola; Frantisek Plasil. Berlin/Heidelberg: Springer, 2008. p. 116-145 (Lecture Notes in Computer Science; No. 5153).

Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

TY - CHAP

T1 - Modelling with Relational Calculus of Object and Component Systems - rCOS

AU - Chen, Zhenbang

AU - Hannousse, Abdel Hakim

AU - Hung, Dang Van

AU - Knoll, Istvan

AU - LI, Xiaoshan

AU - Liu, Zhiming

AU - Liu, Yang

AU - Nan, Qu

AU - Okika, Joseph C.

AU - Ravn, Anders Peter

AU - Stolz, Volker

AU - Yang, Lu

AU - Zhan, Naijun

PY - 2008

Y1 - 2008

N2 - This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus of Object and Component Systems (rCOS). We give a model of requirements based on an abstraction of the use cases described in Chapter 3.2. Then the refinement calculusof rCOS is used to derive design models corresponding to the top level designs of Chapter 3.4. We demonstrate how rCOS supports modelling different views and their relationships of the system and the separation of concerns in the development.

AB - This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus of Object and Component Systems (rCOS). We give a model of requirements based on an abstraction of the use cases described in Chapter 3.2. Then the refinement calculusof rCOS is used to derive design models corresponding to the top level designs of Chapter 3.4. We demonstrate how rCOS supports modelling different views and their relationships of the system and the separation of concerns in the development.

KW - Requirements Modelling

KW - Design

KW - Refinement

U2 - 10.1007/978-3-540-85289-6_6

DO - 10.1007/978-3-540-85289-6_6

M3 - Book chapter

SN - 3-540-85288-3

T3 - Lecture Notes in Computer Science

SP - 116

EP - 145

BT - The Common Component Modeling Example

A2 - Rausch, Andreas

A2 - Reussner, Ralf

A2 - Mirandola, Raffaela

A2 - Plasil, Frantisek

PB - Springer

CY - Berlin/Heidelberg

ER -

Chen Z, Hannousse AH, Hung DV, Knoll I, LI X, Liu Z et al. Modelling with Relational Calculus of Object and Component Systems - rCOS. In Rausch A, Reussner R, Mirandola R, Plasil F, editors, The Common Component Modeling Example: Comparing Software Component Models. Berlin/Heidelberg: Springer. 2008. p. 116-145. (Lecture Notes in Computer Science; No. 5153). doi: 10.1007/978-3-540-85289-6_6

Modelling with Relational Calculus of Object and Component Systems - rCOS

Abstract

Keywords

Access to Document

AUB Link

Fingerprint

Cite this