排序方式: 共有3条查询结果,搜索用时 0 毫秒
1
1.
黄邵 《湖南第一师范学报》2008,8(1):169-172
通过对pi演算进行扩充以形式化描述BPEL4WS程序,给出了扩充pi演算的语法和操作语义,并用pi演算的通讯并发结构表示BPEL4WS规范的link结构。基于对BPEL4WS规范死路排除DPE模式的分析,提出了一个完善的解决DPE问题的pi演算形式化方法。在以上工作的基础上,系统地完成从Web服务组合语言BPEIA.WS规范到扩展pi演算的映射,提出了几种验证程序性质的思路。最后给出了一个完整的案例,说明BPEL4WS程序的pi演算描述。 相似文献
2.
实验室是学生探索自然奥秘 ,建构自身知识 ,培养创新精神和实践能力的主阵地 ,是学生进行科学探究的摇篮。实验室的管理模式及管理水平将直接决定学生的学习品质及学习成绩。本文对实验室的开放式管理谈一些肤浅的认识以期与同行共飨 !1 实验室的管理现况及不足近几年 ,各校加强了实验室的硬件及软件建设 ,但在实验室的管理和实验教学上存在着一些不足 ,没能充分发挥实验资源的作用 ,表现在以下三个方面 :1 1 实验仪器的管理方式过于封闭 ,只有任科教师与实验员之间发生直接的仪器借还关系 ,由于教师及实验员过于强调爱护仪器 ,使学生在思… 相似文献
3.
实验室是学生探索自然奥秘,建构自身知识,培养创新精神和实践能力的主阵地,是学生进行科学探究的摇篮.实验室的管理模式及管理水平将直接决定学生的学习品质及学习成绩.本文对实验室的开放式管理谈一些肤浅的认识以期与同行共飨! 相似文献
1