论文部分内容阅读
基于在MDA中PIM到PSM的模型转换实现,提出了用UML描述PIM的一种有效性补充(E-)LOTOS,试图达到在模型映射前实现对模型的有效逻辑验证;对模型转换的基础理论进行了探索,分析了目前在MDA中实现从PIM到PSM模型转换的主要途径和困难;最后展望了模型转换的实现前景.
MDA中从PIM到PSM的模型转换
【摘 要】
：
基于在MDA中PIM到PSM的模型转换实现,提出了用UML描述PIM的一种有效性补充(E-)LOTOS,试图达到在模型映射前实现对模型的有效逻辑验证;对模型转换的基础理论进行了探索,分析了
【机 构】
：
武汉大学软件工程国家重点实验室
【出 处】
：
计算机工程
【发表日期】
：
2004年3期
其他文献
The sea surface temperature (SST) of the East China Sea (ECS) increased in the past decades,which may have a great impact on the ecosystem of the ECS,including
宁都县一黄鸡扩繁种鸡场业主反映，该场种鸡表现惊恐、精神沉郁，一周后粪便变稀，死亡数量上升，造成了较大的经济损失。笔者接报后，立即到现场进行诊疗，现将诊疗情况总结如下： 一、鸡场基本情况 该种鸡场座落在宁都县长胜镇，占地面积10亩，种鸡舍3栋，存笼种母鸡5800套、种公鸡466只。正常情况下，这些母鸡能年供优质种蛋72.5万枚或宁都黄鸡母苗60万羽（按入孵蛋出壳率82.75%计算）。 二、现场
混流装配线实现在一条流水线上装配多种不同类型的产品.该文在总结混流装配线排序问题的基础上建立了二种排序的目标函数:最小化工作站的闲置与超载时间和保持均匀的零部件消
在2013年即将过去的时候，重庆市巫山县庙宇镇天地农机合作社负责人回望一年来的耕耘与收获兴致勃勃：“我们今年采取土地流转、托管或入股的方式，承包了2100亩土地，并实行水稻、油菜轮作方式，有效提高了土地利用率。为抢时播种、收割，我们在生产过程中实施全程机械化生产，几十台农机同时在田地里轰轰作响，场面很是壮观，不仅合作社的社员乐，其他农户也跟着乐。” 天地农机合作社只是重庆市众多农机合作社发展的一
用Tait方法证明了Heawood反例是四色的；用Kempe链方法证明了Tutte反例也是四色的。讨论了民航空域覆盖的四色模型。
介绍了相空间重构和基于支持向量机的时间序列预测建模技术,提出了复杂时间序列的多尺度分解方法,对支持向量机回归与预测的各项参数设置进行了试验分析.对股票数据进行建模