The Observer Pattern Research Based on rCOS

Yan Xiang; Jing Yang; Hao Zhu; Ding Xiang Dong

doi:10.4028/www.scientific.net/AMM.513-517.936

Paper Titles

Large Capacity Cache Design Based on Emerging Non-Volatile Memory
p.918

New Delay-Dependent Stability Criteria for Recurrent Neural Networks with Time-Varying Delays
p.922

Extending Linear Temporal Logic with Clocks to Object-Z
p.927

On the Potential of Web Services in Network Management
p.931

The Observer Pattern Research Based on rCOS
p.936

A Cross-Domain Access Control Method for Large Organizations
p.941

Cap Detection Algorithm Based on Pixel Measurement
p.947

Application of Multi-Computer Communication among Single-Chip Microcomputers on Distributed Data Acquisition
p.951

Design of Tunnel Personnel Positioning System Based on Android
p.956

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 513-517The Observer Pattern Research Based on rCOS

The Observer Pattern Research Based on rCOS

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.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 513-517)

Pages:

936-940

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.513-517.936

Citation:

Cite this paper

Online since:

February 2014

Authors:

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

Keywords:

Class Diagram, Observer Pattern, Refinement Calculus of Object Systems, Sequence Diagram, Unified Modeling Language (UML)

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

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

Google Scholar

[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).

Google Scholar

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

Google Scholar

[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).

Google Scholar

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

DOI: 10.1016/j.tcs.2006.07.034

Google Scholar

[6] Z., Liu., J, He., X, Li.: rCOS: refinement of component and object systems, Proc. Third In-ternat. Symp. on Formal Methods for Components and Objects (FMCO04), Lecture Notes in Computer Science, Vol. 3657. (2005) 222–250.

DOI: 10.1007/11561163_9

Google Scholar

[7] X, Chen., X, Li.: Design calculus based approach to modeling use case. Journal of Software, Vol. 19(10). (2008) 2539−2549.

DOI: 10.3724/sp.j.1001.2008.02791

Google Scholar

[8] J, Yang., Q, Long., Z, Liu., X. Li.: A predicative semantic model for integrating UML mod-els, Proc. First Internat. Colloq. on Theoretical Aspects of Computing (ICTAC04), Lecture Notes in Computer Science, Vol. 3407, (2005) 170–186.

DOI: 10.1007/978-3-540-31862-0_14

Google Scholar

[9] J, Yang., M, Zhang., Z. Liu.: Refining UML Models, Lecture Notes in Computer Science, Vol. 34(3), (2007) 250-253.

Google Scholar

[10] J, Yang., M, Zhang.: Consistency check of UML Models[J], Lecture Notes in Computer Science, Vol. 33(9), (2006) 262-265.

Google Scholar

[11] C. Pierik and F.S. de Boer. A syntax-directed hoare logic for object-oriented programming concepts. Technical Report UU-CS-2003-010, Institute of Information and Computing Science, Utrecht University, (2003).

DOI: 10.1007/978-3-540-39958-2_5

Google Scholar