Π演算

作品数：95被引量：196H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：梁爱南于振华黄贤明蔡远利李长云更多>>
相关机构：上海交通大学湖南工业大学吉林大学西安交通大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划湖南省教育厅科研基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术—计算机软件与理论x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于混合流策略的按需分布式云信息流控制模型被引量：1
《计算机科学》2017年第10期150-158,共9页杜远志 杜学绘 杨智 
基于多维控制的云计算信息流追责;管控技术(863)(2015AA016006);国家重点研发计划项目:协同精密定位总体架构与服务平台设计(2016FYB0501901)资助
为确保云平台上虚拟机系统用户信息的安全,提出了一种基于混合流策略的按需分布式云信息流控制模型(Mixed Flow Policy Based On-demand Distributed Cloud Information Flow Control Model,MDIFC)。该模型以分布式信息流控制模型为基础...
关键词：云计算 信息流控制 按需污点传播 中国墙策略 Π演算 
采用扩展π演算的测试用例生成方法
《计算机工程与设计》2016年第11期2985-2991,共7页罗玲 
国家自然科学基金项目(61303031)
针对时间相关并发系统的测试问题,提出一种采用扩展π演算p-π的测试用例生成方法。采用p-π为时间相关并发系统建模,由p-π的操作规则构造出系统模型的时间相关标记迁移系统,基于时间相关标记迁移系统和用例规约生成测试用例,测试用例...
关键词：Π演算 进程代数 测试用例 基于模型的测试 形式化模型 
一种递归π演算向Petri网的转换方法被引量：2
《吉林大学学报（工学版）》2014年第1期142-148,共7页康辉 张双双 梅芳 
国家自然科学基金项目(61073164)
针对π演算中的递归结构,本文给出了一种递归π演算向Petri网的转换方法。该转换遵循基本进程转换规则以及组合规则,采用层次化方法,针对递归次数较多时产生的Petri网结点过多的情况,本文给出了一种更简洁的Petri网表示,它保留了系统的...
关键词：计算机软件 递归兀演算转换 层次化方法 Petri网简洁表示 互模拟等价 
业务流程设计与验证的体系结构被引量：1
《电脑知识与技术》2013年第1X期519-521,共3页王赏玉 
2012年度甘肃省社会规划科学项目<甘肃省人口老龄化与养老保障服务体系研究>的阶段性研究成果(项目编号12023SH)
工作流产品中的一个重要组成部分是业务流程的设计和验证。由于WSBPEL是半形式化的描述方法,不易检测与验证,难以保证Web服务组合的正确性,也无法在较抽象的层次上跟踪其业务流程。针对此问题,该文提出了业务流程建模与验证的三层体系结...
关键词：Π演算 WSBPEL 服务组合 
自动信任协商安全性的形式化分析与验证
《华南理工大学学报（自然科学版）》2013年第1期77-82,94,共7页刘欣欣 唐韶华 
广东省自然科学基金团队项目(9351064101000003);广东省高等学校珠江学者岗位计划资助项目(2011);广东省高等学校高层次人才项目(2012);广州市科技计划项目(2011J4300028)
为了对自动信任协商(ATN)的安全性进行形式化分析与验证,文中借鉴安全协议的形式化分析方法,提出一种用进程代数Applied π演算对ATN建模并验证其安全性的方法.该方法将ATN形式化为两个协商者进程的并发执行,其中一个协商者的进程就是...
关键词：自动信任协商 安全性 形式化分析 APPLIED Π演算 观察等价 ProVerif 
基于π演算的智能流程建模
《计算机技术与发展》2012年第9期111-115,共5页冯立元 李德生 李维翠 
山东省自然科学基金(2009ZRB019PF)
为适应当前云计算环境下客户的个性化要求,一种新的智能流程的概念应运而生。首先提出了智能流程平台架构,描述了智能流程生成模块、社区云服务管理模块、智能流程执行模块三大模块。π演算能够描述通信拓扑结构的动态改变,具有强大的...
关键词：Π演算 智能流程 个性化流程 流程建模 
高校学生信息管理系统中工作流的分析被引量：2
《企业科技与发展》2012年第7期28-30,共3页梁爱南 黄贤明 白春燕 
湖南工业大学自然科学研究项目(编号:2011HZX13);湖南省科技厅科学研究项目(编号:2011ZK5010)
根据高校的需求和工作流技术的应用现状,文章提出了一个基于工作流技术的高校学生信息管理系统的解决方案。工作流技术在学生管理系统中的应用包括流程的定义、使用、提示和监控。流程的定义使用π演算实现,流程的使用、提示和监控主要...
关键词：工作流 Π演算 高校学生信息管理系统 工作流引擎 
基于π演算的时序图的建模
《计算机工程与科学》2012年第6期174-177,共4页姜梦稚 赵风景 
UML建模方式广为开发人员使用,但其非形式化的描述方法缺少对所描述内容的形式建模过程,本文通过运用πI演算描述UML中的时序图,能够对UML图形所涉及的数据和操作行为进行建模,为UML的动态描述图形提供一种建模的途径,本文提出用树形结...
关键词：πI演算 树形结构 时序图 形式化建模 
基于逻辑推理的构件行为片段提取与重组研究被引量：1
《计算机科学》2012年第5期120-123,共4页徐俊 肖刚 张元鸣 高飞 方赵林 
国家自然科学基金项目(50705087);浙江省科技厅项目(2010C31002)资助
从构件组装研究背景出发,针对软件应对复杂多变的业务需求时的不足,提出了一种基于逻辑推理的构件行为片段提取与重组算法。其主要思想是在研究构件接口映射、状态变迁的基础上,建立构件行为的结构模型和状态模型,并将其分解为基于π关...
关键词：构件行为片段 Π演算 逻辑推理 构件重组 
基于π网的嵌入式系统软硬件划分方法被引量：4
《计算机应用》2012年第3期855-860,共6页郭荣佐 黄君 王霖 
四川省教育厅自然科学重点项目(10ZA008)
针对嵌入式系统软硬件划分问题,提出一种基于π网的软硬件划分方法。首先介绍π网的定义及其规则;然后,对嵌入式系统目标进行描述和定义,应用π网建立软硬件划分模型——嵌入式系统软硬件划分模型(ESHPM);最后,对模型ESHPM进行一致性、...
关键词：π网 Π演算 嵌入式系统 软硬件划分 优化算法 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部