期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于进程代数的服务业务流程价值分析
被引量：
1
1
作者
马超
徐晓飞
王忠杰
《计算机学报》
EI
CSCD
北大核心
2010年第11期2177-2189,共13页
服务业务流程模型的质量对服务系统的质量会产生直接影响,而衡量模型质量的标准除了模型本身的一致性、无歧义性等性质外,更为重要的是其能否充分满足顾客的服务需求.在服务工程中,服务价值被认为是各服务参与者期望从服务获取的最终目...
服务业务流程模型的质量对服务系统的质量会产生直接影响,而衡量模型质量的标准除了模型本身的一致性、无歧义性等性质外,更为重要的是其能否充分满足顾客的服务需求.在服务工程中,服务价值被认为是各服务参与者期望从服务获取的最终目标,采用价值模型从功能性和非功能性两方面对顾客需求进行形式化描述.通过对Pi演算扩展动作质量约束和价值实现程度计算函数,提出价值进程代数VPA,用于形式化表达和验证服务业务流程模型.利用语义等价匹配算法和弱互模拟理论,提出验证目标价值的可实现性和实现完整性的模型分析方法,分析目标价值的实现程度,进而定量计算服务业务流程模型对顾客需求的满足情况,为后续面向价值的服务模型优化提供依据.
展开更多
关键词
服务业务流程模型
价值
模型
目标价值
价值进程代数
价值状态图
在线阅读
下载PDF
职称材料
带数据流的面向服务的业务流程模型变化传播Petri网方法
被引量：
1
2
作者
何路路
方欢
《计算机科学》
CSCD
北大核心
2018年第B06期545-548,567,共5页
为了灵活适应不断变化的业务需求,需要对流程模型进行调整。在业务逻辑整合过程中,业务逻辑可能发生变化,因此对业务变化及其传播进行分析是十分关键的。已有的研究方法主要基于控制流结构来分析和研究业务的变化域和变化传播问题,忽略...
为了灵活适应不断变化的业务需求,需要对流程模型进行调整。在业务逻辑整合过程中,业务逻辑可能发生变化,因此对业务变化及其传播进行分析是十分关键的。已有的研究方法主要基于控制流结构来分析和研究业务的变化域和变化传播问题,忽略了模型所含数据和服务结构的信息。文中对带数据信息的面向服务业务流程模型的变化传播方法和变化域定位进行分析和研究,主要关注服务层和流程层之间的变化传播问题。首先,分析流程层(服务层)的变化操作给模型的服务层(流程层)带来的变化影响范围,并分别提出了服务层变化传播算法(Service Layer Change Propagation Algorithm,SLCPA)和流程层变化传播算法(Process Layer Change Propagation Algorithm,PLCPA)。最后,通过一个具体的实例证明了所提方法的可行性和有效性。
展开更多
关键词
变化传播
流程
层
服务
层
面向
服务
的
业务流程
模型
PETRI网
在线阅读
下载PDF
职称材料
题名
基于进程代数的服务业务流程价值分析
被引量：
1
1
作者
马超
徐晓飞
王忠杰
机构
哈尔滨工业大学计算机科学与技术学院
出处
《计算机学报》
EI
CSCD
北大核心
2010年第11期2177-2189,共13页
基金
国家自然科学基金(61033005
60803091
+1 种基金
70971029)
国家"八六三"高技术研究发展计划项目基金(2009AA04Z151)资助~~
文摘
服务业务流程模型的质量对服务系统的质量会产生直接影响,而衡量模型质量的标准除了模型本身的一致性、无歧义性等性质外,更为重要的是其能否充分满足顾客的服务需求.在服务工程中,服务价值被认为是各服务参与者期望从服务获取的最终目标,采用价值模型从功能性和非功能性两方面对顾客需求进行形式化描述.通过对Pi演算扩展动作质量约束和价值实现程度计算函数,提出价值进程代数VPA,用于形式化表达和验证服务业务流程模型.利用语义等价匹配算法和弱互模拟理论,提出验证目标价值的可实现性和实现完整性的模型分析方法,分析目标价值的实现程度,进而定量计算服务业务流程模型对顾客需求的满足情况,为后续面向价值的服务模型优化提供依据.
关键词
服务业务流程模型
价值
模型
目标价值
价值进程代数
价值状态图
Keywords
service business process model
value model
goal value
VPA
value state graph
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
带数据流的面向服务的业务流程模型变化传播Petri网方法
被引量：
1
2
作者
何路路
方欢
机构
安徽理工大学数学与大数据学院
出处
《计算机科学》
CSCD
北大核心
2018年第B06期545-548,567,共5页
基金
国家自然科学基金项目(61472003
61272153
+5 种基金
61340003
61402011
61572035)
安徽省自然科学基金项目(1608085QF149)
安徽省教育厅高等学校自然科学研究重点项目(KJ2014A067
KJ2016A208)资助
文摘
为了灵活适应不断变化的业务需求,需要对流程模型进行调整。在业务逻辑整合过程中,业务逻辑可能发生变化,因此对业务变化及其传播进行分析是十分关键的。已有的研究方法主要基于控制流结构来分析和研究业务的变化域和变化传播问题,忽略了模型所含数据和服务结构的信息。文中对带数据信息的面向服务业务流程模型的变化传播方法和变化域定位进行分析和研究,主要关注服务层和流程层之间的变化传播问题。首先,分析流程层(服务层)的变化操作给模型的服务层(流程层)带来的变化影响范围,并分别提出了服务层变化传播算法(Service Layer Change Propagation Algorithm,SLCPA)和流程层变化传播算法(Process Layer Change Propagation Algorithm,PLCPA)。最后,通过一个具体的实例证明了所提方法的可行性和有效性。
关键词
变化传播
流程
层
服务
层
面向
服务
的
业务流程
模型
PETRI网
Keywords
Change propagation
Process layer
Service layer
Service oriented business process model
Petri nets
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于进程代数的服务业务流程价值分析
马超
徐晓飞
王忠杰
《计算机学报》
EI
CSCD
北大核心
2010
1
在线阅读
下载PDF
职称材料
2
带数据流的面向服务的业务流程模型变化传播Petri网方法
何路路
方欢
《计算机科学》
CSCD
北大核心
2018
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
