Modelling with relational calculus of object and component systems - RCOS

doi:10.1007/978-3-540-85289-6_6

Residential College	false
Status	已發表Published
	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
Conference Name	Dagstuhl Research Seminar for Component Modelling Example
Source Publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5153 LNCS
Pages	116-145
Conference Date	AUG 01-03, 2007
Conference Place	Dagstuhl, GERMANY
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. © 2008 Springer-Verlag Berlin Heidelberg.
Keyword	Design Refinement Requirements Modelling Transformation
DOI	10.1007/978-3-540-85289-6_6
URL	View the original
Language	英語English
WOS ID	WOS:000259297000006
Scopus ID	2-s2.0-54249106883
Fulltext Access	View Full-Text via DOI View Full-Text via Web of Science View Full-Text via Scopus
Citation statistics
Document Type	Conference paper
Collection	University of Macau
Affiliation	1.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.
APA	Chen Z.., Hannousse A.H.., Van Hung D.., Knoll I.., Li X.., Liu Z.., Liu Y.., Nan Q.., Okika J.C.., Ravn A.P.., Stolz V.., Yang L.., & Zhan N. (2008). Modelling with relational calculus of object and component systems - RCOS. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5153 LNCS, 116-145.

Files in This Item:
There are no files associated with this item.

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Affiliation No.
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh