UM
Modelling with relational calculus of object and component systems - RCOS
Chen Z.2; Hannousse A.H.2; Van Hung D.2; Knoll I.4; Li X.5; Liu Z.2; Liu Y.2; Nan Q.3; Okika J.C.2; Ravn A.P.4; Stolz V.2; Yang L.2; Zhan N.2
2008-10-27
Source PublicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5153 LNCS
Pages116-145
AbstractThis 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. © 2008 Springer-Verlag Berlin Heidelberg.
KeywordDesign Refinement Requirements modelling Transformation
DOI10.1007/978-3-540-85289-6_6
URLView the original
Language英語
Fulltext Access
Citation statistics
Document TypeConference paper
CollectionUniversity of Macau
Affiliation1.National Key Laboratory for Parallel and Distributed Processing
2.United Nations University International Institute for Software Technology
3.Chinese Academy of Sciences
4.Aalborg Universitet
5.Universidade de Macau
Recommended Citation
GB/T 7714
Chen Z.,Hannousse A.H.,Van Hung D.,et al. Modelling with relational calculus of object and component systems - RCOS[C],2008:116-145.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Chen Z.]'s Articles
[Hannousse A.H.]'s Articles
[Van Hung D.]'s Articles
Baidu academic
Similar articles in Baidu academic
[Chen Z.]'s Articles
[Hannousse A.H.]'s Articles
[Van Hung D.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Chen Z.]'s Articles
[Hannousse A.H.]'s Articles
[Van Hung D.]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.