On Refinement of Generic Software Components

@inproceedings{Meng2003OnRO,
  title={On Refinement of Generic Software Components},
  author={Sun Meng and L. M. S. Barbosa},
  year={2003}
}
This paper characterises refinement of state-based software components modelled as concrete coalgebras for some Set endofunctors. The resulting calculus is parametrized by a specification of the underlying behaviour model introduced as a strong monad. This provides a basis to reason about (and transform) state-based software designs. Sun Meng is a Fellow at UNU/IIST on leave from the School of Mathematical Science of Beijing University, China, where he is a Ph.D candidate. His research interest… CONTINUE READING
Highly Cited
This paper has 20 citations. REVIEW CITATIONS

References

Publications referenced by this paper.
Showing 1-10 of 17 references

A tutorial on ( co ) algebras and ( co ) induction

  • J. Rutten.
  • EATCS Bulletin
  • 2003

Towards a Coalgebraic Semantics for UML: Class Diagrams and Use Cases

  • S. Meng, B. Aichernig
  • Technical Report 272,
  • 2003

Component-based Coalgebraic Specification and Verification in RSL

  • S. Meng, B. Aichernig
  • Technical Report 267,
  • 2002

Comparing rfinements for failure and bisimulation semantics

  • M. Fokkinga, R. Eshuis
  • Technical report, Faculty of Computing Science,
  • 2000

Component-based programming under different paradigms

  • P. Wadler, K. Weihe
  • Technical report, Report on the Dagstuhl Seminar
  • 1999

Similar Papers

Loading similar papers…