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.
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 | |
Publication status | Published - 2008 |
Series | Lecture Notes in Computer Science |
---|---|
Number | 5153 |
ISSN | 0302-9743 |
Keywords
- Requirements Modelling
- Design
- Refinement