COMPONENT MODELS' SIMULATION IN ContractCML

被引:0
作者
Petrascu, Vladiela [1 ]
Chiorean, Dan [1 ]
Petrascu, Dragos [1 ]
机构
[1] Univ Babes Bolyai, R-3400 Cluj Napoca, Romania
来源
KEPT 2009: KNOWLEDGE ENGINEERING PRINCIPLES AND TECHNIQUES | 2009年
关键词
DSML; XMF; metamodel; software component; simulation;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Through the support offered for simulation, executable modeling provides models with a deeper analytical power. In the software components' domain, simulation is highly valuable, since it allows performing component interoperability checks. In this paper, we propose a simulation method for ContractCML conponent services in the context of the XMF framework.
引用
收藏
页码:231 / 238
页数:8
相关论文
共 4 条
[1]  
Cheesman J., 2000, UML COMPONENTS SIMPL
[2]   Proving Component Interoperability with B Refinement [J].
Chouali, Samir ;
Heisel, Maritta ;
Souquieres, Jeanine .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 160 (157-172) :157-172
[3]  
CLARK T, 2008, APPL METAMODELING FD
[4]  
PETRASCU V, 2008, SYNASC 2008 10 INT S, P273