基于Pi演算的软件过程形式化描述

来源 :计算机与现代化 | 被引量 : 0次 | 上传用户:nilly
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件过程技术已成为软件工程领域的一个研究热点。本文借鉴Pi演算的移动进程代数表达能力,提出一种基于活动交互的软件过程形式化描述方法,以分析为例,对活动交互行为作出Pi描述,并验证过程描述的正确性。
其他文献
通过对ASP.NET安全体系结构的剖析。深入研究IIs和ASP.NET的身份验证和授权方式,给出了在Intranet和Internet应用中的安全策略。
在利用OpenGL技术的基础上,提出了三维可视化管线系统的设计与实现,达到了一定的效果,并为三维管线系统的研究提供了一个实例。
软件测试是提高软件质量和可靠性的重要手段,软件测试自动化的关键技术之一是要设计一种好的测试驱动,测试驱动设计得好坏直接决定了整个测试的效率,Binder曾提出了多种测试
主要研究图像数据在数据库中的处理方法。先将图像数据分段存放到一个缓冲区中,然后将图像数据保存到数据库中。其次是从数据库中读取图像数据,最后是将图像显示到屏幕上。本文
提出了一种可直接用于快速频繁模式挖掘的频繁项目表的概念,并实现了具体的频繁模式增量挖掘方法。在对拒绝服务攻击的入侵检测中证明:与类Apri耐方法不同,该方法无需再生成候选
介绍了多出口城域网建设中必须考虑的多方面的技术实现方案。
从数据库的观点看,在执行单一查询前进行复制数据集是容易实现的,但查询处理器指派一次查询给那些没有充分操作和存储合适副本的结点时,从而引起在同步机制中副本快照经常过时和
在描述ISP提供拨号上网的接入方式及网络拓扑结构的基础上,重点阐述基于客户机/服务器模式的拨号上网计费原理,探讨了在拨号上网中RADIUS协议的实现过程,及RADIUS服务器与计费数
随着无线通讯技术的发展,移动对象的查询有广阔的应用空间。针对现有反向最近邻算法很多都是基于静态对象的情况,提出了一种新的基于移动对象的反向最近邻的算法——以TPR-tree
对等网络(P2P)是消除了服务器客户端的一种网络,它在信息共事、网络资源利用方面有明显的优势,但是其传统的以广播扩散的形式发送信息的方式存在导致网络拥塞的可能性。本文利用