A Coalgebraic Semantic Framework for Component-based Development in UML

被引：6
作者：
Meng, Sun [1 ]
Aichernig, Bernhard K. [2 ]
Barbosa, Luis S. [3 ]
Zhang Naixiao [1 ]
机构：
[1] Peking Univ, Sch Math Sci, LMAM, Beijing, Peoples R China
[2] United Nations Univ, Int Inst Software Technol, Macau, Peoples R China
[3] Minho Univ, Dept Informat, Braga, Portugal
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2005年 / 122卷
基金：
中国国家自然科学基金;
关键词：
Unified modeling language; refinement; UML; coalgebras;
D O I：
10.1016/j.entcs.2004.06.051
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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 refinement steps in the development process based upon a suitable notion of behavior refinement. In this way, a formal basis for component-based development in UML is studied, which allows the construction of more complex and specific systems from independent components.
引用
收藏
页码：229 / 245
页数：17
相关论文
共 23 条
[1]  
Barbosa LS, 2003, J UNIVERS COMPUT SCI, V9, P891
[2]  
Barbosa Luis S., 2003, EL NOT THER COMP SCI, V82
[3]  
Barbosa Luis S., 2003, P FIRST APPS 2 WORKS
[4]  
Broy Manfred, 2001, SPECIFICATION DEV IN, V62
[5]  
de Roever W.P., 1998, DATA REFINEMENT MODE
[6]  
Hoare C. A. R., 1972, Acta Informatica, V1, P271, DOI 10.1007/BF00289507
[7]  
Jacobs B., 1996, Object orientation with parallelism and persistence, P83
[8]  
Jacobs B, 2002, LECT NOTES COMPUT SC, V2297, P237
[9]  
Jacobs B., 1996, ECOOP '96 - Object-Oriented Programming. 10th European Conference. Proceedings, P210, DOI 10.1007/BFb0053063
[10]  
Jacobs B., 1997, Bulletin of the European Association for Theoretical Computer Science, P222
123