A Theory of Reactive Components

Electronic Notes in Theoretical Computer Science

Volumn 160, Issue 1, 2006, Pages 173-195

  He, Jifeng ^a   Li, Xiaoshan ^b   Liu, Zhiming ^c  

^a EAST CHINA NORMAL UNIVERSITY   (China)

^b UNIVERSITY OF MACAU   (Macao)

^c UNITED NATIONS UNIVERSITY   (Macao)

Author keywords

Components; Composition; Contracts; Interfaces; Protocols

Indexed keywords

ALGEBRA; COMPOSITION; COMPUTER SIMULATION; CONTRACTS; INTERFACES (COMPUTER); LOGIC DESIGN; NETWORK PROTOCOLS;

ALGEBRAIC PROPERTIES; COMPONENT COMBINATORS; REACTIVE COMPONENTS; SUBSTITUTIVITY;

NETWORK COMPONENTS;

EID: 33746769772     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.05.022     Document Type: Article

References (29)

1. Back R., and von Wright L.J. Refinement Calculus (1998), Springer
2. Back R., et al. Class refinement as semantics of correct object substitutability. Formal Aspect of Computing 2 (2000) 18-40
3. Borba P., Sampaio A., and Cornelio M. A refinement algebra for object-oriented programming. Proc of ECOP'2003. Lecture Notes in Computer Science 2743 (2003) 457-482
4. Cavalcanti A., and Naumann D. A weakest precondition semantics for an object-oriented language. Lecture Notes in Computer Science 1709 (1999) 1439-1460
5. Cheesman J., and Danies J. UML Components - A Simple Process for Specifying Component-Based Software (2000), Addison-Wesley, Reading, MA
6. D'Souza, and Wills A.C. Objects, Components and Frameworks: The Catalysis Approach (1998), Addison-Wesley, MA
7. Fowler M. Refactoring, Improving the Design of Existing Code (2000), Addison-Wesley
8. Gamma E., et al. Design Patterns, Elements of Reusable Object-Oriented Software (1994), Addison-Wesley
9. Gudgin M. Essential IDL: Interface Design for COM (2001), Addison-Wesley, Reading, MA
10. He J. Simulation and Process Refinement. Formal Aspect of Computing (1989) 229-241
11. He J. Linking simulation with refinement. Proc of the 25th Anniversary of CSP. Lecture Notes in Computer Science 3525 (2005) 61-75
12. J. He and C.A.R. Hoare. Unifying theories of concurrency, in Proc of ICTAC'2005, 2005
13. He J., Liu Z., Li X., and Qin S. A relational model of object oriented programs. Proc of APLAS'2004. Lecture Notes in Computer Science 3302 (2004) 415-437
14. Hoare C.A.R., et al. Laws of Programming. Communications of the ACM 30 (1987) 672-686
15. Hoare C.A.R., and He J. Unifying Theories of Programming (1998), Prentice Hall
16. Jones C.B. Systematic Software Development Using VDM (1990), Prentice Hall, Upper Saddle River, NJ
17. Larman C. Applying UML and Patterns (2001), Prentice-Hall International
18. Li X., Liu Z., He J., and Long Q. Generating prototypes from a UML model of requirements. Proc of ICDIT'2004. Lecture Notes in Computer Science 3347 (2004) 255-265
19. Z. Liu, J. He and X. Li. Contract-oriented development of component systems. In Proc of IFIP WCCTCS'2004, 349-366, 2004
20. Liu Z., He J., Li X., and Chen Y. A relational model for object-oriented requirements in UML. Proc of ICFEM'2003. Lecture Notes in Computer Science 2885 (2003) 641-665
21. Meyer B. Object-Oriented Software Construction (1997), Prentice Hall, Upper Saddle River, NJ
22. Microsoft, "The Component Object Model Specification," Report v0.99, Microsoft Standards, Redmond, WA: Microsoft, 1996
23. OMG, "The Common Object Request Broker: Architecture and Specification," Report v2.5, OMG Standards Collection, OMG, 2000
24. Sun Microsystems. JavaBeans 1.01 Specification. http://java.sun.com/beans
25. D.B. Roberts. Practical Analysis for Refactoring. PhD thesis, University of Illinois at Urbana Champain, 1999
26. Rustan K., and Leino M. Recursive object types in a logic of object-oriented programming. Lecture Notes in Computer Science 1381 (1998)
27. Szyperski C. Component Software - Beyond Object-Oriented Programming (1998), Addison-Wesley, Reading, MA
28. L.A. Tokuda. Evolving Object-Oriented Designs with Refactoring. PhD thesis, University of Texas at Austin, 1999
29. Warmer J., and Kleppe A. The Object Constraint Language (1999), Addison-Wesley, Reading, MA