排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
为了形式化地定义BPEL和BPEL4People的语义,提出了一个π演算的变种——πit演算。相对于传统的π演算,πit演算可以描述中断事件和时间事件,从而拥有更好的建模表达能力。介绍了πit演算的语法和语义,定义了一类强互模拟关系来判定πit演算进程间的行为等价,然后使用πit演算对BPEL和BPEL4People的活动进行了建模。该形式化模型有助于在BPEL和BPEL4People程序的设计阶段对其可靠性和一致性进行验证。 相似文献
2.
二十一世纪将临,有识之士将创业能力视为在下世纪获得成功的人的基本条件之一。本文从创业教育对推进贫圉地区、边远地区社套经济发展的现实意义,阐逑在新疆开展创业教育的必要性和紧迫性,并进而提出开展创业教育的几点构想。 相似文献
1