位置：成果数据库 > 期刊 > 期刊详情页
组合E-服务的活动链行为模式设计及验证
  • ISSN号：0253-374X
  • 期刊名称：同济大学学报(自然科学版)
  • 时间：0
  • 页码：427-433
  • 分类：TP309[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]同济大学计算机科学与技术系,上海201804, [2]广西工学院计算机工程系,广西柳州545006
  • 相关基金：国家“八六三”高技术研究发展计划项目（2007AA01Z425 2009AA012201）; 国家“九七三”重点基础研究发展计划项目（2007CB316502）; 国家自然基金项目（90718015）; NSFC-微软亚洲研究院联合资助项目（60970155）; 教育部高等学校博士学科点专项科研基金项目（20090072110035）; 高效能服务器和存储技术国家重点实验室开放基金项目（2009HSSA06）
  • 相关项目：WEB智能搜索中的文本内容信任判定方法研究
作者： 陈波|曾国荪|李莉|鲍宇|CHEN Bo1,2,ZENG Guosun1,LI Li1,BAO Yu1(1.Departmen|2.Department of Computer Engineering,Guangxi Unive|
关键词： 活动链, 行为模式, 组合E-服务, 可满足性验证, 标记迁移系统, activity chain, behavior mode, composite E-service, compliance verification, labeled transition system
中文摘要：

提出一种新颖的活动链的行为规范概念,该概念的粒度介于活动和场景概念之间,并根据基于活动链的行为刻画需求,设计＂链存在、链缺失、链前提和链因果＂四个行为模式,并给出这些模式到标记迁移系统LTS的映射规则,精确刻画了行为模式的操作语义,通过定义组合E-服务满足活动链模式的内涵,给出可满足性验证的充要条件和判定算法,最后给出实例分析.

英文摘要：

The paper presents a novel concept of behavior specifications based on activity chain in which granularity is between activity and scenario.Four behavioral modes,such as chain existence mode,chain absence mode,chain precondition mode and chain response mode,are designed to express usual behavioral requirements based on activity chain and encoded on labeled transition system（LTS） with exact operation semantics.Compliance of composite E-service against activity chain modes is fitly defined to check whether composite E-services based on LTS correspond with activity chain modes.Finally,the paper presents the sufficient,necessary condition and algorithm for checking.

同期刊论文项目
　支持自验证自演化的可信网络软件机理研究
期刊论文 21
WEB智能搜索中的文本内容信任判定方法研究
期刊论文 59 会议论文 11 专利 1
支持自验证自演化的可信网络软件体系结构及其机理
期刊论文 42 会议论文 14
同项目期刊论文
绿色评价模型的互模拟等价及逻辑保持
异构重构计算系统应用任务调度的性能分析
软件体系结构动态演化的条件超图文法及分析
基于随机Petri网的可重构核心单元分析
基于超图文法的软件体系结构动态演化
信息文档结构信任模式的提取及逻辑描述
Interest-driven reasoning based on commitment alternating temporal logic in the P2P reputation syste
基于动态阈值的陌生网络实体间信任建立方法
计算任务与体系结构匹配的异构计算可扩展性分析
Specification and verification of dynamic evolution of software architectures
Bayesian cognitive trust model based self-clustering algorithm for MANETs
一种基于非功能属性决策的可信Web服务发现模型
一种刻画功能和时间空间性能的统一验证模型atsFPM
An evidence-based iterative content trust algorithm for the credibility of online news
基于Delta-Grammar的软件体系结构演化的描述
P2P环境下文件共享的信任建立博弈模型及稳态分析
N体问题的FPGA求解和设计方法
一种基于温度感知的多核调度方法
基于模型检测的时间空间性能验证方法
Using evidence based content trust model for spam detection
一种面向方面软件体系结构模型
Description and verification of dynamic software architectures for distributed systems
基于Bayes认知信任模型的MANETs自聚集算法
基于自组织演化的多Agent可信联盟研究
A general data dependence analysis for parallelizing compilers(Journal of Supercomputing DOI:10.1007
属性委托授权逻辑系统中的主观信任控制
P2P网络中防止欺骗行为的一种信任度计算方法
一种基于四叉树的空间数据缓存策略
基于向量空间模型的网页文本可信性分类方法
Additional service security of e-commerce in mine enterprises
基于开放网络环境下信任建立的博弈模型
基于标签树的自动信任协商策略分析
A mechanism for grid service composition behavior specification and verification
基于安全多方计算的可信防共谋协议模型
基于模型检测的数据流异常测试技术研究
跳频技术在高频地波雷达中的应用
群体随机运动下可信联盟的约束演化方程及其概率计算
一种新的智能公交出行建模方法及其实现
绿色评价模型的互模拟等价及逻辑保持
一种满足任务主/次需求的云计算资源划分算法
一种基于条件Pi演算的组合服务柔性演化模型
基于神经网络的独立程序在单机上运行功耗的预测
异构重构计算系统应用任务调度的性能分析
Dynamic trust evaluation and scheduling framework for cloud computing
云计算中TSP问题求解服务的定价机制
软件体系结构动态演化的条件超图文法及分析
A method for certifying code in trust-by-policy-adherence
基于随机Petri网的可重构核心单元分析
Adding branching temporal dimension to Qualitative Coalitional Games with preference
基于超图文法的软件体系结构动态演化
基于信任模式验证的论述性Web文本可信性判定方法
并行时空处理模型下的快速N-body算法
信息文档结构信任模式的提取及逻辑描述
基于动态阈值的陌生网络实体间信任建立方法
计算任务与体系结构匹配的异构计算可扩展性分析
P2P环境下文件共享的信任建立博弈模型及稳态分析
一种基于温度感知的多核调度方法
基于模型检测的时间空间性能验证方法
一种面向方面软件体系结构模型
基于自组织演化的多Agent可信联盟研究
Cloud-DLS: Dynamic trusted scheduling for Cloud computing
随机任务在云计算平台中能耗的优化管理方法
云计算环境下聚合服务的随机模型检测
可追踪并撤销叛徒的属性基加密方案
云计算环境下调度算法的趋势分析
大规模稀疏矩阵的主特征向量计算优化方法
一种基于贝叶斯理论的软件可靠度评估方法
适应性安全的可追踪叛徒的基于属性加密方案
基于安全多方计算的可信防共谋协议模型
基于模型检测的数据流异常测试技术研究
群体随机运动下可信联盟的约束演化方程及其概率计算
一种基于DAG图的异构可重构任务划分方法
基于检索特征的科技论文可信等级的评估方法
一种等性能面积的并行计算可扩展性度量方法
绿色评价模型的互模拟等价及逻辑保持
一种满足任务主/次需求的云计算资源划分算法
异构重构计算系统应用任务调度的性能分析
软件体系结构动态演化的条件超图文法及分析
基于随机Petri网的可重构核心单元分析
基于超图文法的软件体系结构动态演化
基于动态阈值的陌生网络实体间信任建立方法
计算任务与体系结构匹配的异构计算可扩展性分析
P2P环境下文件共享的信任建立博弈模型及稳态分析
一种基于温度感知的多核调度方法
基于模型检测的时间空间性能验证方法
一种面向方面软件体系结构模型
可追踪并撤销叛徒的属性基加密方案
一种基于贝叶斯理论的软件可靠度评估方法
适应性安全的可追踪叛徒的基于属性加密方案
同构DVS集群中基于自适应阈值的并行任务节能调度算法
基于模型检测的数据流异常测试技术研究
一种基于DAG图的异构可重构任务划分方法
基于检索特征的科技论文可信等级的评估方法
一种基于时分复用的云资源管理方法
期刊信息
  • 《同济大学学报：自然科学版》
  • 北大核心期刊（2011版）
  • 主管单位:教育部
  • 主办单位:同济大学
  • 主编：李杰
  • 地址：上海四平路1239号
  • 邮编：200092
  • 邮箱：zrxb@tongji.edu.cn
  • 电话：021-65982344
  • 国际标准刊号：ISSN：0253-374X
  • 国内统一刊号：ISSN：31-1267/N
  • 邮发代号:4-260
  • 获奖情况:
  • 国家双百期刊,第二届国家期刊奖重点科技期刊奖,1999年全国优秀高校自然科学学报一等奖
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘（网络版）,美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:34557