• Modelling with Relational Calc...

Treffer: Modelling with Relational Calculus of Object and Component Systems – rCOS. In The Common Component Modeling Example, chapter 3

Title:
Modelling with Relational Calculus of Object and Component Systems – rCOS. In The Common Component Modeling Example, chapter 3
Authors:
Zhenbang Chen, Abdel Hakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu, Yang Liu, Qu Nan, Joseph C. Okika, Anders P, Volker Stolz, Lu Yang, Naijun Zhan
Contributors:
The Pennsylvania State University CiteSeerX Archives
Source:
http://www.iist.unu.edu/~lzm/publications/CoCoME.pdf.
Publisher Information:
Springer
Publication Year:
2008
Collection:
CiteSeerX
Subject Terms:
Requirements Modelling, Design, Refinement, Transformation
Document Type:
Fachzeitschrift text
File Description:
application/pdf
Language:
English
Relation:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.398.4047; http://www.iist.unu.edu/~lzm/publications/CoCoME.pdf
Availability:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.398.4047
http://www.iist.unu.edu/~lzm/publications/CoCoME.pdf
Rights:
Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Accession Number:
edsbas.2D6AEF4B
Database:
BASE

Weitere Informationen

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.