执行语言

作品数：131被引量：348H指数：9
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：鲍亮陈平黄志球胡圣明刘晓玲更多>>
相关机构：北京邮电大学西安电子科技大学清华大学国防科学技术大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家科技支撑计划国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Antlr的函数式动态解释执行语言Effect设计与实现
《信息系统工程》2022年第10期70-74,共5页郑晓东 顿梦军 栾国森 
宜昌市2019年应用基础研究项目(A19-302-14)。
Effect语言是一门风格上类似JavaScript的函数式编程语言,它使用Java实现并可以在JVM上跨平台动态解释执行。为了简化代码编写和程序调试,Effect语言的实现严格遵守函数式编程语言的五大特性。Effect语言通过Antlr实现语法和词法分析,...
关键词：编程语言 动态解释执行 ANTLR JAVA 基于原型 
采用函数式语言的BPEL模型形式化验证方法被引量：5
《计算机科学与探索》2018年第2期185-196,共12页祝义 黄志球 周航 
国家自然科学基金No.61502212;江苏省博士后基金No.1501055B~~
通信顺序进程(communicating sequential process,CSP)是一种经典的形式化方法,CSP_M是在CSP基础上提出的一种函数式语言。目前Web服务组合中BPEL(business process execution language)模型缺乏可执行的形式化编程语言,通过CSP_M提出...
关键词：函数式语言 通信顺序进程(CSP) 业务流程执行语言(BPEL) 形式化验证 模型检测 
面向服务的分析方法
《计算机工程与设计》2017年第6期1673-1680,共8页董文莉 
国家自然科学基金面上基金项目(61071077)
在分析OOAD方法的基础上,通过改进OOAD,提出适用于面向服务软件的系统的分析流程。基于SOA的结构特征,研究服务流程分析和服务组件分析过程,基于所提3个视点分析Web服务组合的数据流,利用XML和HPN的描述方法、成熟技术和分析工具,采用XM...
关键词：面向对象的分析和设计 面向服务体系架构 面向服务分析 高级PETRI网 业务流程执行语言 
基于BPEL的一致性声明文稿设计实现的研究
《计算机应用与软件》2017年第5期12-18,23,共8页董文莉 赵懿 
国家自然科学基金面上项目(61071077);国家科技支撑项目(2013BAK06B03)
基于BPEL(Business Process Execution Language)的服务组合是Web服务的发展方向。基于BPEL的一致性声明文稿是基于BPEL的服务组合系统一致性测试内容和构造基于BPEL的服务组合系统测试用例的主要依据。基于一致性测试理论和BPEL/WSDL...
关键词：服务组合 业务流程执行语言 WEB服务描述语言 实现一致性声明 逻辑结构树 
BPEL文档基于DAG自动生成框架的研究与实现被引量：1
《计算机应用与软件》2016年第5期87-89,143,共4页陈龙 苏厚勤 
针对目前服务之间组合的复杂性,提出一种基于有向无环图的业务流程执行语言文档生成框架。通过对框架模型的解析,提出一种能够自动生成服务组合所需各种文档的改进框架及其算法,有效地隐藏了专业的业务流程执行语言知识和繁琐的服务组...
关键词：业务流程执行语言 WEB服务 服务组合 有向非循环图 
基于ECA规则的GIS服务链异常恢复策略被引量：1
《计算机工程与设计》2016年第2期396-400,共5页易雄鹰 任应超 伍胜 董鹏 
国家863高技术研究发展计划基金项目(2012AA12A401);中央高校基本业务费专项基金项目(XDJK2014C144)
为降低因GIS服务链异常导致的人工重规划机率,提高GIS服务链的鲁棒性,提出一种基于ECA规则的GIS服务链异常恢复策略。以保证GIS服务链事务正确性和完整性为目标,分析服务组合及工作流异常处理的常见策略,设计GIS服务链异常处理的基本模...
关键词：异常处理 恢复 服务链 业务流程执行语言 事务 
层次化服务流程向可执行BPEL转换的方法被引量：1
《计算机科学与探索》2015年第7期781-792,共12页王朔 王忠杰 于梦 徐晓飞 
国家自然科学基金~~
基于人工智能规划的服务组合算法得到的组合方案是一种层次化服务流程(layered service process,LSP),由服务之间的数据流(而非传统块结构流程中的控制结构)加以驱动执行。为使该类服务流程能在业务过程执行语言(business process execu...
关键词：层次化服务流程(LSP) 结构化服务流程 业务过程执行语言(BPEL) 模型转换 执行效率 
基于BPEL的Web服务组合应用研究
《电子制作》2014年第17期173-173,共1页蒋黎明 司亚彪 
论文对基于BPEL的Web服务组合机制进行了深入研究,通过一个开发实例,给出了基于Active BPEL Designer设计实现Web服务组合的过程,并对部署和测试该BPEL流程的方法进行了讨论。
关键词：业务流程执行语言 WEB服务 WEB服务组合 
BPEL下的业务流程集成分析
《中小企业管理与科技》2014年第25期196-196,共1页苟曦 饶锡如 
本文分析了BPEL下的业务流程集成,并用实例描述了具体流程。
关键词：BPEL 业务流程执行语言 业务流程 集成 
基于Agent的BPEL服务组合技术被引量：3
《指挥信息系统与技术》2014年第4期70-74,共5页刘祥 姜虎 丁峰 郭成昊 
总装"十二五"预研课题资助项目
业务流程执行语言(BPEL)利用服务间执行顺序、交互关系及工作流方式组合,形成具有一定业务功能的大粒度服务。在服务质量(QoS)及非功能属性变化很快的网络环境中,传统BPEL服务组合方式的灵活性和自适应性均显得不足。鉴于此,利用智能体(...
关键词：业务流程执行语言 智能体 服务协商 服务组合 服务质量 
全选清除导出
共13页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部