论文部分内容阅读
虽然Jaguar -CTS提供了组件事务管理机制。但由于应用系统中组件之间的相互关系复杂 ,所以设计开发人员很难在设计阶段恰当地处理组件事务的一致性。文中提出用软件结构描述语言来测试组件事务一致性的方法 ,并通过一个具体实例说明该方法的应用。
Jaguar—CTS组件事务一致性测试
【摘 要】
：
虽然Jaguar -CTS提供了组件事务管理机制。但由于应用系统中组件之间的相互关系复杂 ,所以设计开发人员很难在设计阶段恰当地处理组件事务的一致性。文中提出用软件结构描述语言来测试组件事务一致性的方法 ,并通过一个具体实例说明该方法的应用。
【机 构】
：
东北大学计算机科学与工程系
【出 处】
：
计算机应用
【发表日期】
：
2001年01期
其他文献
南非最近研制出一种新的治疗脱发的药品，经过临床试验，效果明显。目前这种药品已经在市场上销售。这种名叫普罗匹西亚（ＰＲＥＰＥＣＩＡ）的生发新药，与以往的生发药品不同，它是一种内服的片剂，患者只
文中结合工程可视化的特点,着重于对其实现的基础技术──三维数字建模技术,提出了用NURBS进行建模的方法。从实用的角度讨论了几种方法的应用特点,并针对工程实际应用中的各种复杂形体,解决了如何有效地运用这些方法进行三维建模以及实现的若干工程可视化实际应用。
对于功率接口的安全性和可靠性而言,闭环稳定性是首先必须解决的问题。实际应用中,功率接口延时和接口中的直流偏移问题是影响仿真稳定性的2个重要因素。通过采取延时补偿解
提出了一种混合级联型变换器拓扑结构,对混合级联型变换器的工作原理和特性进行了分析。建立了电容电压模型,提出了一种新型运行策略,对系统中的能量进行吸收和释放,实现对电
提出一种模糊目标函数优化方法，并将其应用到电气化铁路综合有源补偿装置输出滤波器的优化配置，致力于解决电气化铁路综合有源补偿装置引起的高次谐波污染问题。根据工程实际情
为帮助客户将符合欧盟Ⅱ—IB阶段／美国4级过渡期排放标准的二手发动机转移到那些燃油品质和硫含量有别于欧美发达国家水平的市场，Perkins特别制定策略，力求为客户提供一个可让二
基于V-支持向量回归机（V-SVRM）算法建立了变压器油中溶解气体变化预测模型，并引入贝叶斯证据框架对预测模型的参数进行了优化选取。同时，结合预测模型的预测正确率及预测模型的简
文中应用面向对象的设计方法 ,针对消除隐藏线算法 ,为由点、直线段、多边形构成的立体图形设计了一种实体模型 ,该实体模型具有封装性和可维护性等面向对象设计方法的优点。同时由于记录了大量的立体图形的点、边、面的拓扑关系 ,使消除隐藏线算法减少了很多已知点、边、面查找相关的点、边、面的运算 ,从而提高了算法的效率 ,使在显示进行平移、放缩、旋转等变换的立体图形时 ,可较好地满足消除隐藏线的实时性的要求
目前存世的《医书汇参辑成》刊本实有嘉庆十二年丁卯（1807年）次知斋本、道光十九年己亥（1839年）崇让堂本、清文奎堂本（年代不详）3种。3种版本中,次知斋本为初刻本,崇让堂本、文奎堂