进程代数论文

论文摘要近年来,随着SOA架构和Web服务的广泛深入,如何将Web服务组合按照不同的目标、方式进行组合成为了人们关注的热点。虽然人们对Web服务以及Web服务组合已经有比较充分...

论文摘要随着数字逻辑设计的规模越来越大,复杂度越来越高,功能验证已成为设计过程中的首要瓶颈。在过去几十年中,人们对于数字电路顺序行为的验证进行了深入而广泛的研究并提出了许多行之...

论文摘要随着计算机技术、网络技术和通信技术的发展和应用,企业信息化已成为持续化发展和提高市场竞争力的重要前提。指导推进信息化建设,才能深化电子政务应用。针对当前我国信息化系统实...

论文摘要随着软件技术的发展,一种被称为面向服务软件体系结构SOA的软件系统开发方法被提出并得到迅速发展。今天的SOA是基于已经广泛接受的Web服务标准,被誉为下一代Web服务的...

论文摘要并发性（Concurrency）在现实生活中普遍存在,包括并行性（Parallel）和分布性（Distribution）。并发系统是指运行在多机或支持多进程的单机体系结...

论文摘要自顶向下逐步细化的层次化设计方法，是人们广泛接受的设计计算机硬件系统和软件系统的最主要方法之一，动作细化是系统层次化刻画方法的核心操作。具体应用到软件的模块设计中，有时...

论文摘要深亚微米工艺下IC规模和复杂度的日益增加，向SoC测试提出了严峻的挑战。现有的外部测试设备ATE在存储容量、测试通道数等测试资源方面满足不了测试需求，因而有必要研究So...

论文摘要工作流技术是实现企业业务过程建模、仿真分析、管理与集成,从而实现业务过程的自动化的核心技术。工作流技术的实施是企业完善经营过程、提高自身竞争力的一种重要手段。目前,工作...

论文摘要随着Web服务数量的急剧增多,用户面临大量的服务选择。因此如何从众多功能相似的Web服务中高效地发现满足条件的服务,如何判定服务组合的正确性等问题,已成为业界研究的热点...

论文摘要面向服务的体系结构（Service-OrientedArchitecture，SOA）是一种新的分布式应用程序体系结构，它是构件重用技术和分布式技术发展的结果，业界提出...

论文摘要形式化方法中的模型检测技术是近三十年来最为成功的自动验证技术之一。对并发传值系统进行模型检测需要建立相应的抽象模型,带赋值的符号迁移图是一种广为使用的抽象模型。对于并发...

论文摘要进程代数作为描述和分析并发与分布式系统的重要工具之一是并发理论的主流研究方向。互模拟是进程代数中刻画行为等价的核心概念,而模态逻辑特征是它的一个重要性质。随着进程代数的...

论文题目:传值进程与移动进程的模型检测方法论文类型:博士论文论文专业:计算机软件与理论作者:刘剑导师:林惠民关键词:传值系统,移动计算,进程代数,模型检测,传值,移动界程,状态...

本文主要研究内容作者曹雪岳,曹子宁,卜星晨（2019）在《面向CPS的混成AADL建模与模型转换》一文中研究指出：信息物理融合系统(CPS)是将物理过程和计算过程紧密结合的混成...