技术简介： 本发明为一种基于约束求解和描述逻辑的Web服务组合方法首先基于领域知识库的目标任务分解，设计各细粒度任务的优化目标，并提取任务接口的约束条件，然后通过约束求解得到细粒度任务的组合，再…… 查看详细 >
技术简介： 本发明公开了一种基于对象实例的行为变体的JCOP扩展实现方法。上下文敏感软件中引入多线程编程使得上下文触发的跨线程行为变化成为常态，其中常见的是同一个类型的多个实例在应对相同上下文时，…… 查看详细 >
技术简介： 本发明公开了一种基于逆向工程的模型库构造方法。该方法包括如下步骤：通过网络爬虫从互联网上抓取开源项目的源代码；清理抓取的源代码获取有效的源代码文件；对有效的源代码文件逆向工程分析构…… 查看详细 >
技术简介： 本发明公开了一种面向上下文编程中避免行为层组合时行为变体重复编织的处理方法。例如，JCOP声明式行为层组合，虽然支持对程序中多个方法编织行为层激活语句，但现有的编织方法通常采用向每个指…… 查看详细 >
技术简介： 一种基于IFML的Android开发建模方法，包括如下步骤：1)当IFML针对移动平台进行扩展，基于移动平台的扩展需要首先针对Android平台进行扩展，确定并抽象出Android平台应用的整体运行流程；2)使用…… 查看详细 >
技术简介： 本发明公开了一种智能家居物联网系统验证与修复的方法和装置。本发明通过智能家居设备描述信息和IFTTT规则构建混成自动机模型，然后通过对混成自动机模型的路径分析，找出可能到达系统不安全的…… 查看详细 >
技术简介： 本发明公开了一种多触发机制CPS在线建模与检验的方法和装置。本发明通过指令变更指令执行时，总是在执行前指令变更提前时间A时间内发出指令变更预告信息，然后在执行在线验证时按时间周期D执行…… 查看详细 >
技术简介： 一种用PVFS替代HADOOP存储模块的方法，使用并行虚拟文件系统PVFS代替HADOOP的分布式文件系统HDFS模块，本发明实现了从HADOOP到PVFS的连接，主要包括三个模块：PVFS程序接口、HADOOP-PVFS模块与J…… 查看详细 >
技术简介： 本发明公开了一种基于API文档的约束自动生成方法，包括如下步骤首先输入一个URL；提取网页中类和函数的文字描述；对提取的句子进行一定的分析；然后使用NLP技术为每个句子生成一个树结构；识别…… 查看详细 >
技术简介： 本发明公开了一种中断驱动系统程序生成和分析方法，包括以下步骤获取中断驱动系统设计数据；根据中断驱动系统设计数据建立中断驱动系统模型；根据中断驱动系统模型导出代码框架，所述代码框架包…… 查看详细 >
技术简介： 本发明公开了一种由转换原语生成Spark代码的方法，包括步骤步骤10设计表示数据模型变换的转换原语语法；步骤11输入一个数据模型变换的原语文件，作为代码转换器的输入文件；步骤12利用Xtext实现…… 查看详细 >
技术简介： 本发明的基于文档的库函数的代码模型的自动合成方法，包括步骤1.从文档中抽取有用信息；2.使用自然语言处理工具生成句子的语法树；3.对步骤2中生成的语法树进行结构上的变换生成多个语法树的变…… 查看详细 >