论文部分内容阅读
在OCL和ECA规则的基础上,通过对业务对象与ECA规则的时态化关系的分析,提出了业务规则与约束的一种时态化扩展建模方法,该方法引入了时态化算子和时间区间等概念来实现对时态化对象和属性的历史信息的引用和时态化建模。
信息系统中业务规则与约束的时态化研究
【摘 要】
：
在OCL和ECA规则的基础上,通过对业务对象与ECA规则的时态化关系的分析,提出了业务规则与约束的一种时态化扩展建模方法,该方法引入了时态化算子和时间区间等概念来实现对时态化对象和属性的历史信息的引用和时态化建模。
【机 构】
：
西安电子科技大学经济管理学院
【出 处】
：
计算机应用
【发表日期】
：
2007年01期
【基金项目】
：
甘肃省科技攻关项目（2GS047-A52-002-04）
其他文献
SIP协议正成为VoIP通信的主流协议之一。面对复杂、开放的Internet应用环境,SIP协议的安全性有待于进一步改进和提高。文中全面分析了SIP协议面临的安全威胁,并通过模拟攻击实验进行验证,最后提出了其认证机制的改进方法,并部署安全SIP解决方案。
浅谈影响中药汤剂疗效的几个因素湖南省长沙市中医院（４１０００２）刘青林主题词汤剂汤剂符合中医随症加减辩证施治的原则，具有独特的治疗效果，特别对于一些疑难杂症的治疗效果更具魅力。当代
期刊
通过论述建设项目投资控制的特点和投资控制的条件,从优化设计方案和限额设计两方面进一步说明了如何进行设计阶段的投资控制,以更好地控制建设成本。
分析了我国收费公路市场融资存在的主要问题，提出了公路建设信托计划融资和公路建设ABS融资方式两种适应我国国内公路建设的新的融资方式，以有效地开展各项公路建设融资活动，从
用离子团束－飞行时间质谱（ICB－TOFMS）系统制备了聚乙烯（PE）晶态薄膜。用透射电子显微镜（TEM）分析了样品结构，得到了结晶完善的晶片和（010）面的晶格结构条纹像。用扫描隧道显微镜（STM）分析
看了《业委会前进的步伐是任何人都无法阻挡的》一文（《现代物业·新业主》2006年第10期．以下简称“《步伐》——文”），让我有一种难以下咽，却又无以言语的感觉——这既包括一
期刊
采用四硼酸锂和硝酸锂作为熔剂熔融制备样品，同时加入Nb和Ta两种元素，分别作为Zr和Hf的内标，通过讨论各种谱线重叠干扰校正效果，分析比较各种内标校正方式，选择了二次干扰曲线法并
本文认为，判断一部物业管理的规范性文件是属于法还是不属于法，其效力是高还是低，一要看文件的制定机关，二是看文件的结构和内容表述，三要看文件的批准，发布方式。
利用免疫进化算法,提出了一种新的模糊控制器优化设计方法。该方法以实数方式对模糊控制规则和隶属函数参数进行独立编码,分步联合优化,有效降低了待寻优参数的维数,提高了寻优的速度和精度。最后,通过对调压铸造压力控制系统的仿真表明了这种方法的有效性。
本文介绍了在低温下运用LEED、AES和UPS研究硝基甲烷在Cu(111)表面的吸附成键和取向。AES和UPS的结果显示了硝基甲烷是以分子形式吸附在Cu(111)表面。随着硝基甲烷暴露量达2L