Search

Your search keyword '"Li, Xiaoshan"' showing total 27 results
Start Over Author "Li, Xiaoshan" Publication Type Books
27 results on '"Li, Xiaoshan"'

8. Modelling with Relational Calculus of Object and Component Systems - rCOS

Author

Chen, Zhenbang, primary, Hannousse, Abdel Hakim, additional, Van Hung, Dang, additional, Knoll, Istvan, additional, Li, Xiaoshan, additional, Liu, Zhiming, additional, Liu, Yang, additional, Nan, Qu, additional, Okika, Joseph C., additional, Ravn, Anders P., additional, Stolz, Volker, additional, Yang, Lu, additional, and Zhan, Naijun, additional

Published
2008
Full Text
View/download PDF

25. Modelling with Relational Calculus of Object and Component Systems - rCOS.

Author

Chen, Zhenbang, Hannousse, Abdel Hakim, Van Hung, Dang, Knoll, Istvan, Li, Xiaoshan, Liu, Zhiming, Liu, Yang, Nan, Qu, Okika, Joseph C., Ravn, Anders P., Stolz, Volker, Yang, Lu, and Zhan, Naijun

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. [ABSTRACT FROM AUTHOR]

Published
2008
Full Text
View/download PDF

26. rCOS: Refinement of Component and Object Systems.

Author

Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, Roever, Willem-Paul, Liu, Zhiming, Jifeng, He, and Li, Xiaoshan

Abstract

We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the structure, methods of classes and the main program, rather than changes in the behaviour of individual objects. This allows us to prove refinement laws for both high level design patterns and low level refactoring. For component-based development, we focus on the separation of concerns of interface and functional contracts, leaving refinement of interaction protocols in future work. The model supports the specification of these aspects at different levels of abstractions and their consistency. Based on the semantics, we also provide a general definitional approach to defining different relational semantic models with different features and constraints. Keywords: Object-Orientation, Component-Based Development, Refinement,Specification, Consistency. [ABSTRACT FROM AUTHOR]

Published
2005
Full Text
View/download PDF

27. Component-Based Software Engineering.

Author

Hung, Dang, Wirsing, Martin, Jifeng, He, Li, Xiaoshan, and Liu, Zhiming

Abstract

We discuss some of the difficulties and significant issues that we need to consider when developing a formal method for component-based software engineering. We argue that to deal with the challenges, there is a need in research to link existing theories and methods of programming for effective support to component-based software engineering. We then present our initiative on a unified multi-view approach to modelling, design and analysis of component systems, emphasising the integration of models for different views. Keywords: Components, Interfaces, Contracts, Protocols, Functionality, Consistency, Composition, Refinement, Simulation. [ABSTRACT FROM AUTHOR]

Published
2005
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results