福建省自然科学基金(2012J05112)

作品数：3被引量：6H指数：1
导出分析报告
相关作者：龚平冯在文蒋建明张仕更多>>
相关机构：福建师范大学武汉大学更多>>
相关期刊：《小型微型计算机系统》《Science China(Information Sciences)》《计算机应用》更多>>
相关主题：MIXEDCOMMUNICATIONSANALYZINGSERVICE_COMPOSITIONORIENTED更多>>
相关领域：自动化与计算机技术电气工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于标注的业务过程合规性验证方法被引量：1
《计算机应用》2014年第7期2115-2123,共9页龚平 冯在文 
国家自然科学基金资助项目(61100017);福建省自然基金资助项目(2012J05112)
当前,企业的业务活动受到越来越多的来自政府法律法规、行业标准及自身内控制度的规范约束。如何确保支撑企业业务活动的过程感知系统是合规的已成为信息系统(IS)研究领域的热点问题。确保过程模型的合规性是实现过程感知系统的合规性...
关键词：业务过程管理 合规性验证 标注表达式 过程模型 满足性求解 
语义标识的过程模型的可执行性分析
《小型微型计算机系统》2012年第12期2618-2624,共7页龚平 蒋建明 张仕 
国家自然科学基金项目(61100017)资助;福建省自然基金项目(2012J05112)资助;福建省教育厅A类项目(JA10080;JA11069)资助
语义标识的过程模型是基于领域本体对过程模型中活动的前置条件&效果进行标识后所产生的模型.语义过程模型的可执行性问题是确保语义过程模型质量的核心问题,同时已被证明是一个co-NP难问题.基于关联变量集模型定义了语义过程模型的动...
关键词：语义标注过程模型 可执行性 有界模型检查 可满足性求解器 
Modeling and analyzing mixed communications in service-oriented trustworthy software被引量：5
《Science China(Information Sciences)》2012年第12期2738-2756,共19页JIANG JianMin ZHANG Shi GONG Ping HONG Zhong YUE HouGuang 
supported by National Science Foundation of China(Grant No.61175123);a Key Project of Fujian Provincial Universities-Information Technology Research Based on Mathematics(Grant No.1240104- 201007);Natural Science Foundation of Fujian Province(Grant No.2012J05112);Shandong Provincial Natural Science Foundation of China(Grant No.Y2008G33)
Communication is an essential part of service^oriented trustworthy software. The actual communica- tion mechanism among services adopts asynchronous communications and supports broadcast communications. However, in or...
关键词：communication service composition message dependency DEADLOCK 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部