A coalgebraic semantic framework for component-based development in UML

This paper introduces a generic semantic framework for component-based development, expressed in the unified modelling language UML. The principles of a coalgebraic semantics for class, object and statechart diagrams as well as for use cases, are developed. It is also discussed how to formalize the...

Full description

Bibliographic Details
Main Author: Sun Meng (author)
Other Authors: Aichernig, Bernhard K. (author), Barbosa, L. S. (author), Zhang Naixiao (author)
Format: article
Language:eng
Published: 2005
Subjects:
Unified modeling language
Refinement
UML
Coalgebras
Science & Technology
Online Access:http://hdl.handle.net/1822/33860
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/33860

Internet

http://hdl.handle.net/1822/33860

Similar Items