期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
业务协同中组织需求的建模与一致性验证 认领
1
作者 笪建 莫启 +2 位作者 程耀坤 张毅 李彤 《计算机集成制造系统》 EI CSCD 北大核心 2018年第9期2186-2200,共15页
验证协同业务过程与参与组织期望需求的一致性是协同业务过程设计阶段需要解决的一个关键问题。基于模型检测技术提出一种需求一致性检测方法。通过扩展经典目标模型,提出需求依赖图来建模参与组织需求;引入并发操作符来提供一种通过... 验证协同业务过程与参与组织期望需求的一致性是协同业务过程设计阶段需要解决的一个关键问题。基于模型检测技术提出一种需求一致性检测方法。通过扩展经典目标模型,提出需求依赖图来建模参与组织需求;引入并发操作符来提供一种通过组合业务过程构建协同业务过程方法,并定义了其执行语义以支持需求一致性验证;基于模型检测技术提出需求一致性验证框架。对协同制造中采购订单进行建模,并与现有典型方法进行对比分析,结果表明相对已有工作,所提方法能够更有效地对跨组织环境下需求一致性检测进行建模和分析。 展开更多
关键词 组织需求 协同业务过程 一致性 模型检测 迹等价
在线阅读 下载PDF
结合Petri网与进程代数的业务过程协同模型研究 认领 被引量:1
2
作者 笪建 程耀坤 +2 位作者 莫启 孙华 吕永华 《软件导刊》 2017年第12期49-52,共4页
业务过程协同允许组织之间彼此进行通信、交互与协作以完成特定业务目标。为了完整地描述出一个参与组织的协同,提出进程标号迁移系统PLTS(Process Labeled Transition System),对单个参与组织的模型视图和通信行为视图序列进行集成,... 业务过程协同允许组织之间彼此进行通信、交互与协作以完成特定业务目标。为了完整地描述出一个参与组织的协同,提出进程标号迁移系统PLTS(Process Labeled Transition System),对单个参与组织的模型视图和通信行为视图序列进行集成,进而使整个跨组织业务过程协同可以通过各个参与组织的PLTS并行组合而成。该建模方法充分结合了Petri网与CCS各自的优势,避免了单一运用Petri网与进程代数建模业务过程时面临的问题,有效支持了业务过程协同的形式验证。同时为了避免模型状态空间过大而无法进行有效验证的问题,提出了6条约简规则,并证明了这些规则是满足协同正确性的充分条件,从而使行为验证方式由模型推导变为代数推导。 展开更多
关键词 PETRI网 进程代数 跨组织业务过程 进程标号迁移系统 约简
在线阅读 免费下载
一种基于Bigraph的规则驱动动态模型研究 认领
3
作者 笪建 莫启 +3 位作者 程耀坤 汪培芬 张毅 吕永华 《软件导刊》 2016年第11期18-22,共5页
作为业务过程中的一个重要组成方面,业务规则驱动业务逻辑的运行,业务规则的变化导致业务逻辑实现功能的变化。基于关注点分离的思想,将业务规则作为一个方面从业务逻辑中分离出来,并从更宏观的层面实现业务规则对业务逻辑的组织及驱动... 作为业务过程中的一个重要组成方面,业务规则驱动业务逻辑的运行,业务规则的变化导致业务逻辑实现功能的变化。基于关注点分离的思想,将业务规则作为一个方面从业务逻辑中分离出来,并从更宏观的层面实现业务规则对业务逻辑的组织及驱动。业务规则不仅可以对单个业务逻辑构件内部的运行流程进行驱动,还可以对涉及多个业务逻辑构件的运行过程进行控制,并允许施加在业务逻辑构件上的规则构件可以同时为多个。同时,考虑到软件系统所处环境的日益复杂化,引入自适应机制,建立了三层的面向方面动态模型体系结构,设计出面向方面动态模型体系结构描述语言,基于Bigraph理论,建立了面向方面动态模型体系结构的语义模型,通过定义Bigraph反应系统来描述模型的动态变化,最后对模型动态变化后的完整性进行了验证。 展开更多
关键词 业务规则 Bigraph Bigraph反应系统 面向方面动态模型体系结构
在线阅读 免费下载
跨组织业务过程协同多视图模型 认领
4
作者 笪建 莫启 +5 位作者 李彤 代飞 朱锐 骆霄 林雷蕾 程耀坤 《计算机应用研究》 CSCD 北大核心 2015年第9期2687-2692,共6页
为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合Petri网和pi演算各自的优势,提出了一种多视图的建模方法。基于Petri网建模跨组织业务过程模型的内部视图,将通信接口抽取出来并通过映射将其与... 为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合Petri网和pi演算各自的优势,提出了一种多视图的建模方法。基于Petri网建模跨组织业务过程模型的内部视图,将通信接口抽取出来并通过映射将其与内部变迁关联起来得到公共视图,并对异步通信机制进行研究,运用pi演算对其通信过程进行建模得到通信行为视图,进而使得跨组织业务过程协同的验证转换成pi演算的推演;通过对通信机制的分析,给出了两个活动进行调整时所要满足的条件并证明了满足该条件的调整是上下文无关的,通过建模实例阐述了该方法的有效性。 展开更多
关键词 跨组织业务过程 协同 异步通信 上下文无关 PI演算
在线阅读 下载PDF
刍议计算机软件开发与用户体验策略 认领 被引量:1
5
作者 程耀坤 《软件工程师》 2012年第12期41-42,共2页
随着经济社会的不断发展,计算机网络逐渐走入各个学科领域中,计算机软件的开发也受到越来越多的关注,在计算机软件的设计开发中,用户的体验设计是非常重要的,只有开发者在软件设计中有效的加强用户体验的设计,才能促进用户去使用... 随着经济社会的不断发展,计算机网络逐渐走入各个学科领域中,计算机软件的开发也受到越来越多的关注,在计算机软件的设计开发中,用户的体验设计是非常重要的,只有开发者在软件设计中有效的加强用户体验的设计,才能促进用户去使用软件、肯定软件,才能提高自身的市场地位。 展开更多
关键词 计算机软件开发 用户体验 策略
在线阅读 下载PDF
弘扬艰苦创业精神必须抓好“四个结合” 认领
6
作者 程耀坤 《学习与实践》 1997年第4期29-30,共2页
【正】 党的十四届六中全会《决议》指出“在全民族树立艰苦创业精神,是实现社会主义现代化的重要思想保证。”艰苦创业精神事关社会主义现代化建设事业的命运。保持和发扬艰苦奋斗的创业精神,推进社会主义精神文明建设,是促进企业健康... 【正】 党的十四届六中全会《决议》指出“在全民族树立艰苦创业精神,是实现社会主义现代化的重要思想保证。”艰苦创业精神事关社会主义现代化建设事业的命运。保持和发扬艰苦奋斗的创业精神,推进社会主义精神文明建设,是促进企业健康发展的一大法宝。如何用好这一法宝,我认为关键是要结 展开更多
关键词 艰苦创业精神 四个结合 社会主义现代化建设 艰苦奋斗 奋斗目标 社会主义精神文明建设 反腐倡廉 新时期 企业精神文明建设 健康发展
遗传性进行性肾炎1例报告 认领
7
作者 程耀坤 《陕西医学杂志》 CAS 1989年第7期55-57,共3页
遗传性进行性肾炎又称遗传性肾炎、遗传性慢性肾炎,或Alport 综合征,是家族性肾炎中最常见的,也是预后最差的一种类型。临床特征有血尿、神经性耳聋及慢性肾功能衰竭。1972年Alport 首先作了一个家族性肾炎伴神经性耳聋的家系报告,以后... 遗传性进行性肾炎又称遗传性肾炎、遗传性慢性肾炎,或Alport 综合征,是家族性肾炎中最常见的,也是预后最差的一种类型。临床特征有血尿、神经性耳聋及慢性肾功能衰竭。1972年Alport 首先作了一个家族性肾炎伴神经性耳聋的家系报告,以后才引起人们的注意。本症在国外已有百余例家系检查报告,1981年中华儿科杂志曾综合报告我国16个家系材料。现将我院收治的1例及其家系调查报告如下。患儿谢某某,女,11岁。1985年以面黄、乏力、纳差5个月之主诉入院。患儿于3月前始常于进食后恶心呕吐,每日4~5次,吐出物为胃内容物,量不多,有时带少许血丝;同时尿量减少,面部浮肿。2月前四肢发现青斑,全身酸困疼痛。近半月病情加重而不能下 展开更多
关键词 遗传性 肾炎 病因
在线阅读 免费下载
基于职业能力的中职学生综合素质评价体系构建研究 认领 被引量:3
8
作者 程耀坤 《湖北农机化》 2020年第6期112-112,共1页
从某种层面上看,评价体系是提升中职学校教育能力的支撑点,也是实现全面教育改革的路标.基于此,中职学校需要转变培养人才的方式方法,构建中职学生综合素质评价体系,不断提升学生的职业能力.
关键词 职业能力 综合素质 评价体系
在线阅读 下载PDF
亲历武汉航空公司的创建和发展 认领
9
作者 程耀坤(口述) 张国祥(整理) 《武汉文史资料》 2008年第11期 76-83,共8页
武汉航空公司是我国改革开放大潮中诞生的首批地方航空公司.从1986年5月13日飞机上天,到2002年8月18日与东航、均瑶、东湖高科四家联合重组,完成了武航筹办、成立、发展的历史任务。武航整整跨越了16个春秋。作为公司的创始人,我不... 武汉航空公司是我国改革开放大潮中诞生的首批地方航空公司.从1986年5月13日飞机上天,到2002年8月18日与东航、均瑶、东湖高科四家联合重组,完成了武航筹办、成立、发展的历史任务。武航整整跨越了16个春秋。作为公司的创始人,我不仅亲历了武航的艰苦创业历程,也见证了武航的振兴、腾飞。 展开更多
关键词 地方航空公司 武汉 改革开放 联合重组 历史任务 艰苦创业 创始人
在线阅读 免费下载
上一页 1 下一页 到第
使用帮助 返回顶部 意见反馈