The Observer Pattern Research Based on rCOS-Reference-Cited by-同舟云学术

The Observer Pattern Research Based on rCOS

Published:2014-02-06 Issue: Volume:513-517 Page:936-940
ISSN:1662-7482
Container-title:Applied Mechanics and Materials
language:
Short-container-title:AMM

Author:

Xiang Yan¹,Yang Jing¹,Zhu Hao¹,Dong Ding Xiang¹

Affiliation:

1. Guizhou University

Abstract

Design patterns is a good method to solve software crisis and realize the software reuse. It is usually combined with the Unified Modeling Language (UML) to establish the system framework. And Observer pattern is high frequently used in actual modeling. So this paper presents formalization of the Observer pattern based on refinement Calculus of Object Systems (rCOS), this research describes formal semantics of the patterns UML class diagram and sequence diagram and guarantee the characteristics and properties of the pattern at the same time in order to use system model accurately which involved Observer pattern.

Publisher

Trans Tech Publications, Ltd.

Link

https://www.scientific.net/AMM.513-517.936.pdf

Reference11 articles.

1. Gmma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Addison-Wesley. (1995)37-78.

2. Leilei, D.,: JAVA design patterns for detection of research and tool development. Huazhong University of Science and Technology Master's degree thesis (May 2004).

3. Hoare, C.A.R., Jifeng,H.: Unifying Theories of Programming [M]. Prentice-Hall, (1998).

4. J, He., Z, liu., X, Li.: Towards a refinement calculus for object-oriented system (invited talk ). Proc. ICCI02. Alberta. Canada. IEEE computer Society. (2002).

5. J, He., X, Li., Z, Liu.: rCOS: A refinement calculus of object systems. Theoretical Computer Science, Vol. 365(2). (2006)109−142.