【摘 要】
：
通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the arc
【机 构】
：
南京大学计算机科学与技术系; 南京大学计算机软件新技术国家重点实验室; ATLAS Team,INRLA & LINA,Nantes University; ATLAS
【基金项目】
：
国家自然科学基金;国家重点基础研究发展计划(973);国家高技术研究发展计划(863);江苏省自然科学基金~~
论文部分内容阅读
通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的转换实例,探讨了异构模型之间在语义和语法层的相互转换问题.在语义层,通过模型转换技术构造语义映射规则,实现元语言之间的转换;在语法层,通过构造元模型的具体语法,反映元语言的语法规则,从而产生目标模型的程序实体.基于此实例研究,探讨了通用转换途径的相关框架和关键技术,并讨论了转换工作的优缺点和实用性.
其他文献
垦东-埕岛构造带是济阳坳陷东北部重要的富油气带,通过对该区古近纪应力场和断层活动特征进行分析,明确了各个断层的形成机制,从而理清了各个凸起的形成原因和彼此之间的关系
我国建筑业的不断发展在一定程度上推动了建筑施工技术的进步。在建筑工程建设中大体积混凝土浇铸技术是整个施工环节不可或缺的组成部分。文章从大体积混凝土浇筑技术的概况
夏东元在中国近代史研究领域,尤其是在洋务运动史研究领域作出了突出贡献,在学术界占有重要地位。他提出两个基本观点,即从洋务运动进呈是否符合社会发展需要出发予以客观评
唯品会在电子商务市场的极大成功,吸引了众多的效仿者和竞争者,如果想要继续保持市场竞争优势,就必须以消费者为中心,加大对顾客满意度的研究,发现潜在的市场和需求,提升服务
目的研究中西医结合疗法在治疗急性乳腺炎中的效果。方法在我院收治的急性乳腺炎患者中随机选出98例作为观察对象,将其随机分成观察组和对照组,其中对照组患者常规抗感染治疗
张力控制在冷轧机轧制过程中对最终的带钢表面质量和精度起着至关重要的作用。本文对可逆轧机中应用交流同步电机的张力控制原理进行了探讨,分析转矩的影响因素,并在实际系统
在各种环境污染中,尤属水体环境中的污染,其危害最大、最广泛。镉、铅等重金属元素它们可通过多种途径,如采矿、冶炼、燃煤、汽车尾气排放、电镀工业等释放到环境中。此外,大
目的通过对人工釉质龋进行不同方法处理,观察Icon的渗透效果。方法选取正畸拔除完好的第一前磨牙和第一磨牙32颗,置于人工脱矿液中14 d形成早期人工釉质龋。再随机分成4组,各
沾化凹陷三合村地区油源条件复杂,油气分布规律尚不明确,制约了该区的勘探进展。根据原油物性、生物标志物、碳同位素和成熟度参数等对三合村地区油气来源及运移方向进行了系
随着环境问题在中国的日益凸显,对公民环境权益和公共环境权益的妥善保护已经成为法律面临的一大课题。由传统的行政法发展而来的环境行政诉讼,在保护公民的环境私权益方面发