Components as coalgebras: The refinement dimension

Theoretical Computer Science

Volumn 351, Issue 2, 2006, Pages 276-294

  Meng, Sun ^a   Barbosa, Luís S ^b  

^a PEKING UNIVERSITY   (China)

^b UNIVERSITY OF MINHO   (Portugal)

Author keywords

Coalgebra; Refinement; Software components

Indexed keywords

ALGEBRA; COMPONENTS; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; SET THEORY;

COALGEBRA; GENERIC SOFTWARE; REFINEMENT; SOFTWARE COMPONENTS;

COMPUTER SOFTWARE;

EID: 31544449115     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2005.09.072     Document Type: Conference Paper

References (25)

1. M. Abadi, and L. Lamport The existence of refinement mappings Theoret. Comput. Sci. 82 2 1991 253 284
2. J.R. Abrial, The B Book: Assigning Programs to Meanings, Cambridge University Press, Cambridge, 1996.
3. R.C. Backhouse, P.F. Hoogendijk, Elements of a relational theory of datatypes, in: B. Möller, H. Partsch, S. Schuman (Eds.), Formal Program Development, Springer Lecture Notes in Computer Science, Vol. 755, 1993, pp. 7-42.
4. L.S. Barbosa Towards a calculus of state-based software components J. Universal Comput. Sci. 9 8 2003 891 909
5. L.S. Barbosa, J.N. Oliveira, State-based components made generic, in: H.P. Gumm (Ed.), CMCS'03, Electronic Notes in Theoretical Computer Science, Vol. 82.1, 2003.
6. R. Bird, O. Moor, The Algebra of Programming, Series in Computer Science, Prentice-Hall International, Englewood Cliffs, NJ, 1997.
7. C. Bolton, J. Davies, Using relational and behavioural semantics in the verification of object models, in: S.F. Smith, C.L. Talcott (Eds.), FMOODS'2000, Kluwer Academic Publishers, Stanford, 2000, pp. 163-182.
8. J. Derrick, E. Boiten, Refinement in Z and Object-Z: Foundations and Advanced Applications, FACIT, Springer, Berlin, 2001.
9. M. Fokkinga, R. Eshuis, Comparing refinements for failure and bisimulation semantics, Technical Report, Faculty of Computing Science, Enschede, 2000.
10. C.A.R. Hoare Proof of correctness of data representations Acta Inform. 1 1972 271 281
11. P.F. Hoogendijk, A generic theory of datatypes, Ph.D. Thesis, Department of Computing Science, Eindhoven University of Technology, 1996.
12. B. Jacobs, J. Hughes, Simulations in coalgebra, in: H.P. Gumm (Ed.), CMCS'03, Electronic Notes in Theoretical Computer Science, Vol. 82.1, Warsaw, 2003.
13. C.B. Jones, Systematic Software Development Using VDM, Series in Computer Science, Prentice-Hall International, Englewood Cliffs, NJ, 1986.
14. B. Liskov, Data abstraction and hierarchy, SIGPLAN Notices 23 (5) 1988.
15. M. Sun, B.K. Aichernig, L.S. Barbosa, Z. Naixiao, A coalgebraic semantic framework for component based development in UML, in: L. Birkedal (Ed.), Proc. Int. Conf. on Category Theory and Computer Science (CTCS'04), ENTCS, Elsevier, Vol. 122, 2005, pp. 229-245.
16. A. Mikhajlova, E. Sekerinski, Class refinement and interface refinement in object-oriented program, in: Proc. Fourth Internat. Formal Methods Europe Symposium, Springer Lecture Notes in Computer Science, Vol. 1313, 1997, pp. 82-101.
17. R. Milner, Communication and Concurrency, Series in Computer Science, Prentice-Hall International, Englewood Cliffs, NJ, 1989.
18. J.N. Oliveira, C.J. Rodrigues, Transposing relations: from Maybe functions to hash tables, in: D. Kozen (Ed.), Seventh Internat. Conf. on Mathematics of Program Construction, Springer Lecture Notes in Computer Science, Vol. 3125, 2004, pp. 334-356.
19. E. Poll A coalgebraic semantics of subtyping Theoret. Inform. Appl. 35 1 2001 61 82
20. W.-P.d. Roever, K. Engelhardt, Data Refinement: Model-Oriented Proof Methods and their Comparison, Cambridge Tracts in Theoretical Computer Science, Vol. 47, Cambridge University Press, Cambridge, 1998.
21. J. Rutten, Universal coalgebra: a theory of systems, Theoret. Comput. Sci. 249 (1) (2000) 3-80.
22. Revised version of CWI Technical Report CS-R9652, 1996.
23. J.M. Spivey, The Z Notation: A Reference Manual, second ed., Series in Computer Science, Prentice-Hall International, Englewood Cliffs, NJ, 1992.
24. C. Szyperski, Component Software, Beyond Object-Oriented Programming, Addison-Wesley, Reading, MA, 1998.
25. P. Wadler, K. Weihe, Component-based programming under different paradigms, Technical Report, Dagstuhl Seminar 99081, February 1999.