排序方式: 共有12条查询结果,搜索用时 0 毫秒
1.
This paper presents a concurrent object-oriented modeling language based on Petri nets:OMNets,which hepls greatly to avoid the inheritance anomaly problem appeared in concurrent OO languages.OMNets separates th functional part and the synchroniztion part of objects and uses Petri nets to describe the synchronization part.Both parts are reusable through inheritance. 相似文献
2.
一种支持业务用户编程的服务虚拟化技术--VINCA聚合服务机制 总被引:13,自引:0,他引:13
提出一种支持业务用户编程的服务虚拟化技术——VINCA聚合服务机制,其核心是VINCA聚合服务模型.该模型从业务与IT两个层面出发并“中间相遇”来实现服务资源的虚拟化,从而屏蔽具体服务资源的使用复杂性,使得业务用户更易于直接将业务需求映射到虚拟化的服务资源,为业务用户编程提供支持.定义了VINCA聚合服务的生命周期模型及使用方式,以明确地指导VINCA聚合服务的构造及使用过程.介绍了VINCA聚合服务支撑系统架构,并结合奥运综合信息服务系统的应用场景展示了VINCA聚合服务机制的效果. 相似文献
3.
4.
“D_2”药剂浮选氧化铜矿的效果 总被引:4,自引:0,他引:4
本文介绍了“D_2”药剂的制法,性能,并用“D_1”药剂对云南和四川等地不同类型氧化铜矿作了小型选矿实验,取得较好效果。在此基础上,进一步对四川会东小街金铜矿进行了工业试验,亦同样取得好效果。该厂即采用“D_2”药剂在生产上使用至今,获得显著经济效益。 相似文献
5.
6.
7.
8.
9.
10.
A behavior preserving relation between petri-net systems is introduced in this paper,based on the observability of both palces and transitions,which is important in modeling the dynamic behavior of concureent object-oriented systems with Petri nets.Each group of closely related attributes of a concurrent object is modeled by the state of a collection of observable places,and each of its methods by a group of observable transitions.The grouping distinguishes the definition in this paper from others,which makes it easy to work together with the static object models,to reuse the models and to dispel the interference among groups,thus relieving the problem of inheritance anomaly by the possibility of dividing the synchronization code into independent parts.For a formal definition of this behavior subtyping relation,Elementary Net systems,with both S-elements and T-elements labeled,are used.Then it is extended informally to the state based coloured Petri net systems.Finally,the background of the definitions and the future work are presented. 相似文献