What is it about?
This chapter presents a formalization of functional and behavioral 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.
Featured Image
Photo by Marcello Gennari on Unsplash
Why is it important?
Demonstrate how rCOS supports modeling different views and their relationships of the system and the separation of concerns in the development.
Perspectives
We point out ongoing work and research on automating the different parts of the development process.
Pr. Abdelhakim Hannousse
Universite 8 Mai 1945 Guelma
Read the Original
This page is a summary of: Modelling with Relational Calculus of Object and Component Systems - rCOS, January 2008, Springer Science + Business Media,
DOI: 10.1007/978-3-540-85289-6_6.
You can read the full text:
Contributors
The following have contributed to this page
