基于π演算的协同商务主体的交互行为描述

来源 :科技资讯 | 被引量 : 0次 | 上传用户:cyscwbr
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对商务主体的协同交互行为的描述是多主体协同电子商务系统模型描述中的重要部分,本文采用π演算的描述方法对商务主体的协同行为(计划)进行形式化描述。
其他文献
摘 要:实训教学对于学生动手能力和创新能力的培养,发挥重要的作用。以就业為导向的高职教育必须强化实训教学,使学生在学习中,熟练掌握所学专业的关键技能,顺利就业。通过对实训教学现状的分析,对实训设计实施、实训教学模式、实训效果评价等进行阐述,促进高职实训教学途径和模式的改革,提高综合实训效果。  关键词:实训 实训教学 实践环节  中图分类号:G421 文献标识码:A 文章编号:1672-3791(
急性有机磷农药中毒是急诊科及ICU常见急症,最常见的有机磷农药中毒并发症是呼吸衰竭,也是中毒致死的最主要的原因。本文就我科15例有机磷农药重症中毒的呼吸衰竭病人建立人
本文从某商业楼与民房住宅之间的防火间距不满足规范规定的现状出发,运用先进的计算机数值模拟,采用性能化的分析方法,对商业楼与住宅之间的火灾最不利情况进行安全性分析,进
<正>最近几个月里,我先后两次读了现任河南焦作师范高等专科学校副校长高闰青教授的新著《河南省农村教育热点问题研究》一书。前次读的是本书的书稿,读它是要为这本即将面世
体育课程是以实践教学为主的独特的综合型学科,本实验方案通过组织开展多维度的教学活动,形成多层次多形式的参与空间,为学生提供立体式参与角色,促进学生积极参与体育,运用
本文首先简单的介绍了一下IPv6的特性和物联网的概念,接着从实例入手,介绍了物联网在实际生活中产品,以及IPv6在技术上的实现。