语境判定树建模与工作流设计验证

来源 :现代电子技术 | 被引量 : 0次 | 上传用户:hzfeng163
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对多角色协同交互式工作流系统中多重语境约束交互操作导致冗余操作和错误操作的问题,提出语境判定树CDT模型。采用元模型建模方法给出CDT建模规范,利用令牌建立动态计算规则,并讨论比较CDT和其他模型的特点,分析语境判定树模型的优势。实例分析表明,该模型能够满足安全性验证需求,具有良好的规范性、适用性和可扩展性。
其他文献
【正】 针对目前一些地方农村中小学违背国家规定巧立名目、不顾农民承受能力擅自提高收费标准,为了小集体或个人利益变相扩大范围或强制学生参加保险防疫等多收费、不按规定
【正】 现简要介绍科学收藏农膜的七点知识: 收。育苗后应及时收集薄膜,小心轻揭,以免扯破。 洗。把薄膜集中放在冷水里浸泡,及时清洗,忌用手揉搓和用棒捶打。 晾。洗净后,应
为了适应现代无线通信对高增益宽频带天线的要求,改善微带天线增益低、带宽窄的缺陷,基于皮亚诺分形结构.设计研究一款工作在x波段的高增益、宽频带微带阵列是线。该天线由64个
【正】国务院办公厅发出紧急通知,要求要尊重和保障外出务工农民的土地承包权和经营自主权。通知指出:按照《农村土地承包法》的规定,承包期内,除承包方全家迁入该区的市转为
一直以来,课堂活跃与否,常常是衡量一堂公开课成与败的重要因素之一。笔者自工作以来,参加公开课教研活动可谓不计其数,师生似乎都陶醉于成功的课堂教学氛围中,听课者也似乎沉浸于
湖北省竹山县宝丰镇红卫小学五年级学生正在快乐的上泥塑课、孩子们通过擀、搓、压、挤、捏、按等基本技法进行泥塑造型,在课堂上表现出极高的兴致通过感受泥土的特性,体会动手
党的十九大报告提出实施乡村振兴战略,这一战略关乎全局、关乎根本、关乎长远,社会各界都必须积极参与、大力支持。职业教育特别是高职院校在服务乡村振兴战略中大有可为、任
3月23日,中国农村教育杂志社主编谢重在来湖州考察期间,应邀走访调研了煤山成校,对当地政府对成校的校园文化建设的重视给予高度评价。一直以来,学校发展一直得到当地委员、政府
慈溪市周巷镇成人中等文化技术学校97年成为浙江省示范性成校,也是浙江省中小企业职工培训示范基地,又是宁波市万名农民培训示范基地。2011年率先进入宁波市高标准成校行列,2002
利用思维导图把线性代数的抽象概念形象化。分别从行列式、向量组、零向量、秩及线性方程组出发,串联出线性代数各个章节的知识点,加深同学对线性代数抽象概念的理解并认识前