Modelling with Relational Calculus of Object and Component Systems - rCOS

Authors:
Zhenbang Chen;Abdel Hakim Hannousse;Dang Hung;Istvan Knoll;Xiaoshan Li;Zhiming Liu;Yang Liu;Qu Nan;Joseph C. Okika;Anders P. Ravn;Volker Stolz;Lu Yang;Naijun Zhan
Affiliations:
International Institute for Software Technology, United Nations University, Macao, and National Laboratory for Parallel and Distributed Processing, , China;International Institute for Software Technology, United Nations University, Macao,;International Institute for Software Technology, United Nations University, Macao,;Department of Computer Science, Aalborg University, Denmark;Faculty of Science and Technology, The University of Macau,;International Institute for Software Technology, United Nations University, Macao,;International Institute for Software Technology, United Nations University, Macao,;Lab. of Computer Science, Institute of Software, CAS, China;International Institute for Software Technology, United Nations University, Macao, and Department of Computer Science, Aalborg University, Denmark;Department of Computer Science, Aalborg University, Denmark;International Institute for Software Technology, United Nations University, Macao,;International Institute for Software Technology, United Nations University, Macao,;International Institute for Software Technology, United Nations University, Macao, and Lab. of Computer Science, Institute of Software, CAS, China
Venue:
The Common Component Modeling Example
Year:
2007

Citing 15
Cited 5

Parallel program design: a foundation

Parallel program design: a foundation
Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
The Theory and Practice of Concurrency

The Theory and Practice of Concurrency
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Behavior Protocols for Software Components

IEEE Transactions on Software Engineering
Adding trace matching with free variables to AspectJ

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Series on Component-Based Software Development)

Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Series on Component-Based Software Development)
rCOS: a refinement calculus of object systems

Theoretical Computer Science - Components and objects
Object-Oriented Structure Refinement -- A Graph Transformational Approach

Electronic Notes in Theoretical Computer Science (ENTCS)
Harnessing Theories for Tool Support

ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Separation of Concerns and Consistent Integration in Requirements Modelling

SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Beyond assertions: advanced specification and verification with JML and ESC/Java2

FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
JML’s rich, inherited specifications for behavioral subtypes

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Verifying statemate statecharts using CSP and FDR

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Tracechecks: defining semantic interfaces with temporal logic

SC'06 Proceedings of the 5th international conference on Software Composition

CoCoTA --- Common Component Task

The Common Component Modeling Example
Refinement and verification in component-based model-driven design

Science of Computer Programming
rCOS: a formal model-driven engineering method for component-based software

Frontiers of Computer Science in China
rCOS: theory and tool for component-based model driven development

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Specification and validation of behavioural protocols in the rCOS modeler

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.