【摘 要】
：
工作流模型技术是当前的一个研究热点,工作流模型必须支持动态可适应性并且能够模型大规模的复杂系统才能被广泛应用.作者首次提出用进程代数--通信顺序进程(Communication S
【基金项目】
：
国家自然科学基金，国家高技术研究发展计划(863计划)，国家重点基础研究发展计划(973计划)
论文部分内容阅读
工作流模型技术是当前的一个研究热点,工作流模型必须支持动态可适应性并且能够模型大规模的复杂系统才能被广泛应用.作者首次提出用进程代数--通信顺序进程(Communication Sequential Process,CSP)描述工作流的方法,并给出了模型可适应问题的解决方法.进程代数的合并(composition)特点可以将简单的工作流模型组合成复杂的工作流模型,从而解决复杂系统的模型问题,并为工作流模型的可重用性提供有力的支持.
其他文献
当今高职院校改革风生水起，以学生实践技能培养为本位的教学成为了高职院校课堂教学核心点。但是目前高职院校英语教师的专业知识和教学都是在传统学科教育基础上构建的。为了
随着职业规划教育的推广与普及,大学生职业生涯规划教育已成为高等教育的重要组成部分,职业生涯规划对学生未来的职业发展至关重要。职业生涯规划教师只有在教学实践中不断探
2007年底、2008年初，我两次代叶嘉莹先生去北京怀柔给新版《红楼梦》剧组的小演员们讲诗河。当时是“红楼梦中人”海选结束不久，发生了换导演的事件。导演换了李少红。所以很多
我国的区域发展存在二元结构,本文首先分析了我国区域发展的二元结构差异,在此基础上分析了它的成因。最后对未来的区域发展提出了几点政策建议。
Kanerva的衡疏分布存储器模型（SDM），由于其读写规则采用外积法，因此限制了它的应用，本文对该模型进行改进，改变了原来的读写规则，保留其衡疏分布式存储的特点，得到一个与小脑模型（CMAC
昨日黄昏出门，路过一小书店，便走进去，无意中竞见到一本新编的汪曾祺散文集，名《五味》的汪集，编法别致精美，将汪曾祺谈吃的32篇散文编为一辑。书不厚，只有八万余字，可精美俊逸，内文捅
我的很多朋友，几乎清一水是60后，我们以前总喜欢评论我们的50后的哥哥辈们，说他们如何如何生活节俭（换言之．不太懂得生活），说他们如何如何小心谨慎，循规蹈矩地生活着（换言之，碌碌无为胸
回家喽!是啊，春节马上就要到了，春节一到，家就近了。年轻的小伙子姑娘们，都露出最温暖的笑脸，心里满是兴奋和激动，比发工资那几天还高兴。这是2007年的深冬，一个非同寻常的冬天。
科尔沁沙地出现了水源危机。最近五年自然降水枯期是导致水源危机的重要原因，但不是根本原因；根本原因是长期以来水源利用、建设改造、保护不合理不科学，诱使水源生育特征及运动
两站多目标纯方位跟踪中的虚假定位点识别问题是被动定位中尚待解决的一个重要问题,本文对此问题进行了研究,并给出了一种排除两站虚假定位点的新方法.该方法首先根据两个观