排序方式: 共有9条查询结果,搜索用时 0 毫秒
1
1.
2.
3.
基于活动网络图的工作流过程定义工具的研究 总被引:6,自引:0,他引:6
该文基于工作流管理联盟(WFMC)制定的工作流过程定义元数据模型,提出了一个独立通用的基于活动网络图的工作流过程定义工具,它遵从WFMC制定的XPDL规范,可以输出一个标准通用的过程定义并能被不同的工作流运行系统解释执行,从而实现完全的过程定义的分离存储。 相似文献
4.
5.
利用电子束蒸镀方法及重掺杂p型硅为蒸发源在K8玻璃衬底上沉积非晶硅薄膜,采用镍诱导晶化法在氮气氛围下进行退火处理制备出p型多晶硅薄膜.研究了不同温度热处理条件对p型多晶硅薄膜的光电性能的影响,通过霍尔测量、拉曼光谱、原子力显微镜、紫外-可见光吸收光谱等测试手段对薄膜进行分析.结果表明,随着晶化温度的提高晶化程度先增强后... 相似文献
6.
当数据源的查询和访问受到限制时,网页包装器的设计与实现有一些新的特点。分析了维普网页的结构,描述了网页元素的标记与内容特征,给出了一组匹配维普网页内容的正则式,并用VisualC#实现了一个包装器,同时指出了实现技术中的要点与难点。实际应用表明,该文实现的全自动包装器可以精确抽取维普网页的全部检索内容。 相似文献
8.
基于CCS的软件规范描述及实例研究 总被引:3,自引:0,他引:3
软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。论文主要给出了基于CCS的软件规范描述,首先根据系统需求画出进程派生树和迁移图,再根据操作语义和系统约束条件得到进程表达式,并用Java语言实现了系统原型代码。笔者的工作证明了CCS具有细节化地描述系统内部状态,便于系统软件实现的能力;在手工转换进程迁移图到进程表达式的基础上,提出了自动转换的进一步研究思路。 相似文献
9.
1