【摘 要】
：
提出了一个场景驱动的服务行为调控途径.首先,用UML顺序图模型作为场景规约以描述用户对服务行为的需求,并且基于目标服务的BPEL行为规约,构造表示服务行为的BPEL-Petri网模
【机 构】
：
计算机软件新技术国家重点实验室（南京大学）,南京大学计算机科学与技术系,苏州大学计算机科学与技术学院
论文部分内容阅读
提出了一个场景驱动的服务行为调控途径.首先,用UML顺序图模型作为场景规约以描述用户对服务行为的需求,并且基于目标服务的BPEL行为规约,构造表示服务行为的BPEL-Petri网模型（简称BPN模型）;其次,基于并发变迁分析BPN模型上表示服务行为的路径,并通过遍历BPN模型获取包含UML顺序图描绘场景的服务行为集合;最后,根据行为分析的结果构建了调控服务,通过在运行时监听、检查并过滤用户与目标服务的消息交互,从目标服务中抽取或过滤顺序图描绘的场景.在此基础上,开发了原型工具BASIS,以支撑场景驱动的服
其他文献
依托和利用武汉1＋8城市圈图书馆联盟，建立突出地域特色及学科特色的圈内党校地域性的专业图书馆联盟是非常必要的，也是可行的。武汉城市圈党校图书馆联盟的建立，可以开展协调整合
对分级存储系统的性能测试，需要提供真实的系统状态和有代表性的访问负载．已有的分级存储系统测试方法通过播放一段时间的文件访问请求来生成系统状态因为彻底忽略了近期未被访
不少职业男性刚刚跨入不惑之年，便出现早衰迹象，如鬓角白发丝丝，额头爬满皱纹，视力明显减退，健忘失眠，反应迟钝，工作效率低下，许多老年病过早光临等等。这是什么原因呢？日本曾报道过企
数学课堂看似只是单一的数字、乏味的算理、枯燥的图形的组合，但其中蕴含着博大的数学思想、丰富的数学知识、精巧的数学方法、美妙的数学思维……这众多元素的变化组合，让数学不仅拥有丰富感性的人文美，更具理性的智慧美。课堂教学是教师睿智与学生聪慧交融的最直接的载体。教师应积极为学生营造轻松、和谐、自然的课堂氛围，充分调动学生的各种感官，让数学课堂闪耀智慧的火花。 一位教师教完苏教版二下《有余数的除法》一课
新旧传染病对人类的威胁张习坦军事医学科学院微生物流行病研究所研究员传染病一直严重危害人类生命与健康。天花、鼠疫、霍乱、流感、肺结核等传染病曾致千百万甚至数亿人死
轮船招商局是在西方在华洋行的示范、刺激以及洋务官僚的极力倡导下产生的近代企业。它仿行西法，采用西方股份制，但由于当时社会历史条件的制约，在采用西方股份制及实际运作过程
为了提高挖掘结果的准确性，提出基于样例学习和项集同步随机化的隐私保护频繁模式挖掘方法（learning and synchronized privacy preserving frequent pattern mining，简称LS-PPF
当下高职英语教学十分重视语言知识和技能的学习，但忽视了学生学习策略的培养。文章指出，学习策略的构建有利于培养学生自主学习的能力，提高英语教学质量。