切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于Pi演算的软件过程形式化描述
基于Pi演算的软件过程形式化描述
来源 :计算机与现代化 | 被引量 : 0次 | 上传用户:nilly
【摘 要】
:
软件过程技术已成为软件工程领域的一个研究热点。本文借鉴Pi演算的移动进程代数表达能力,提出一种基于活动交互的软件过程形式化描述方法,以分析为例,对活动交互行为作出Pi
【作 者】
:
冷家锋
张晓春
陈中育
【机 构】
:
浙江师范大学数理与信息工程学院
【出 处】
:
计算机与现代化
【发表日期】
:
2007年10期
【关键词】
:
PI演算
软件过程
活动交互
移动进程
形式化
Pi-calcalus
software process
action interactions
m
【基金项目】
:
浙江省自然科学基金资助项目(Y105092),中科院金华科技园专项资金重点资助项目(20061010)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件过程技术已成为软件工程领域的一个研究热点。本文借鉴Pi演算的移动进程代数表达能力,提出一种基于活动交互的软件过程形式化描述方法,以分析为例,对活动交互行为作出Pi描述,并验证过程描述的正确性。
其他文献
ASP.NET安全策略的研究
通过对ASP.NET安全体系结构的剖析。深入研究IIs和ASP.NET的身份验证和授权方式,给出了在Intranet和Internet应用中的安全策略。
期刊
ASP.NET
安全策略
身份验证
授权
ASP. NET
security strategy
authentication
authorization
基于OpenGL的三维地下管线信息系统的研究
在利用OpenGL技术的基础上,提出了三维可视化管线系统的设计与实现,达到了一定的效果,并为三维管线系统的研究提供了一个实例。
期刊
OPENGL
三维
信息系统
OpenGL
3D
information system
基于"客户/服务"模型的测试驱动的设计与实现
软件测试是提高软件质量和可靠性的重要手段,软件测试自动化的关键技术之一是要设计一种好的测试驱动,测试驱动设计得好坏直接决定了整个测试的效率,Binder曾提出了多种测试
期刊
CLIENT/SERVER
测试驱动
软件测试
测试用例
动态数据交换
Client/Server
testing driver
software tesi
大型数据库中图像数据的存储方法研究
主要研究图像数据在数据库中的处理方法。先将图像数据分段存放到一个缓冲区中,然后将图像数据保存到数据库中。其次是从数据库中读取图像数据,最后是将图像显示到屏幕上。本文
期刊
多媒体
数据库
图像数据
multimedia
database
image data
扩充的频繁模式挖掘算法在拒绝服务攻击入侵检测中的应用
提出了一种可直接用于快速频繁模式挖掘的频繁项目表的概念,并实现了具体的频繁模式增量挖掘方法。在对拒绝服务攻击的入侵检测中证明:与类Apri耐方法不同,该方法无需再生成候选
期刊
入侵检测
数据挖掘
频繁模式树
频繁项目表
拒绝服务攻击
intrusion detection
data mining
frequent-mode-tre
多出口城域网建设的技术解析
介绍了多出口城域网建设中必须考虑的多方面的技术实现方案。
期刊
城域网
地址映射
策略路由
OSPF
域名多IP解析
land network of city
network address translation
po
一种基于快照管理的非一致性分析法
从数据库的观点看,在执行单一查询前进行复制数据集是容易实现的,但查询处理器指派一次查询给那些没有充分操作和存储合适副本的结点时,从而引起在同步机制中副本快照经常过时和
期刊
副本快照
数据网格
关键切点
非一致性
快照管理
replica snapshot
data grids
historic cut
inconsisten
远程用户拨号上网计费的实现
在描述ISP提供拨号上网的接入方式及网络拓扑结构的基础上,重点阐述基于客户机/服务器模式的拨号上网计费原理,探讨了在拨号上网中RADIUS协议的实现过程,及RADIUS服务器与计费数
期刊
RADIUS
计费
ISP
Internet
RADIUS
accounting
ISP
Iuternet
一种基于移动对象的动态反向最近邻的算法
随着无线通讯技术的发展,移动对象的查询有广阔的应用空间。针对现有反向最近邻算法很多都是基于静态对象的情况,提出了一种新的基于移动对象的反向最近邻的算法——以TPR-tree
期刊
空间数据库
反向最近邻
移动对象
半平面修剪
spatial database
reverse nearest neighbor
moving object
对等网络中应用“最大聚集度优先”算法查询信息及其优化
对等网络(P2P)是消除了服务器客户端的一种网络,它在信息共事、网络资源利用方面有明显的优势,但是其传统的以广播扩散的形式发送信息的方式存在导致网络拥塞的可能性。本文利用
期刊
对等网络
聚集度
可扩展性
搜索性能
扩散路由
P2P(peer-to-peer)
connectivity
extensibility
search p
与本文相关的学术论文