Modelling with Relational Calculus of Object and Component Systems - rCOS

@inproceedings{Chen2007ModellingWR,
  title={Modelling with Relational Calculus of Object and Component Systems - rCOS},
  author={Zhenbang Chen and Abdelhakim Hannousse and Dang Van Hung and Istvan Knoll and Xiaoshan Li and Zhiming Liu and Yang Liu and Qu Nan and Joseph C. Okika and Anders P. Ravn and Volker Stolz and Lu Yang and Naijun Zhan},
  booktitle={CoCoME},
  year={2007}
}
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… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 25 references

Similar Papers

Loading similar papers…