【摘 要】
：
分析了目前服务计算的研究现状和存在的问题，在D Berardi和A Wombacher的基础上提出了一种带条件的有限状态自动机模型cFSA（Finite State Automata with condition），并给出了基于
【基金项目】
：
国家自然科学基金资助项目（60373081）,广东省自然科学重点基金资助项目（04105503）.
论文部分内容阅读
分析了目前服务计算的研究现状和存在的问题，在D Berardi和A Wombacher的基础上提出了一种带条件的有限状态自动机模型cFSA（Finite State Automata with condition），并给出了基于cFSA的服务理论模型．在该服务理论模型的基础上提出了一种基于有限状态自动机的服务组合形式化模型，并给出了该模型的代数性质和实现方法．
其他文献
引入K平空间、K强平的Banach空间,证明了K平的Banach空间X的共轭空间X＊没有K非常光滑点,而S（X＊）的非K光滑点在S（X＊）中稠密,刻画了凸性更差的Banach空间的性质.另外,还引入强平模、K
长白县长白镇不断发展壮大村集体经济，多措并举，大力实施强村富民工程，实现强村富民的目标。 发挥村班子领头雁作用。绿江村委会承包社会保险办公楼工程建设项目，带动１０余户村民从事工程运输业，每户村民年创收两万元以上。解放村委会组织建立育肥牛养殖合作社，投资４７万元发展育肥牛项目，占地１４００平方米，育肥牛４５头。为让存量资产保值增值，带领各村對村集体房产采用承包、租赁等形式，盘活集体资产。同时以
污水里面充满了可以回收利用的化学药品.在污水中,除了显而易见的"有机物"之外,那些医药品和个人护理用品(PPCP)以及它们的代谢产物和合成物、表面活性剂和激素化合物使人们
随着我国经济的快速发展和综合国力的不断提升,我国水利工程施工越来越受到人们的广泛重视。水利工程作为我国重要的一项基础设施建设,对于我国国家的发展起着至关重要的作用
为促进2011年春季工作顺利开展。近日，长白山联社结合工作实际，组织联社中层以上干部及基层信用社主任召开了2011年春季重点工作会议，并对具体工作进行了安排部署。 一是努力开展旺季到期贷款清收工作。要求每位客户经理全力做好去年及今年1-4月份到期贷款清收化解工作，确保最大限度清收到逾期贷款。联社将于4月末按照旺季工作指导方案，奖惩分明，严肃处理清收不力和违规违纪人员。二是做好备春耕生产资金发放工
近年来，以浙、苏、闽、赣、沪为主的黄酒产区已向全国辐射，各地兴办黄酒厂，形成“黄酒热”。为指导办好中小型黄酒厂，作者分９个方面谈怎样办厂：（１）厂址选择及卫生要求；（２）黄酒生产工艺的选
本文结合中国古代历史,阐述中国古代匠人社会身份的逐步转变。从伦理道德和生产目的两个角度,对中国古代“工匠精神”的内涵进行诠释,突出表现文化及经济对“工匠精神”的影
目前关于数字版权的争论基本集中在两个问题上.一是法律如何对其作品采取保护措施(如加密),来实现控制版权所有者;另一个问题是如果制造一种产品使您能逃脱此等控制--但仍是
用普通照相机闪光灯对着碳纳米管拍照时,碳纳米管不但会发出噼噼啪啪的爆炸声,还会突然着起火来.纽约伦斯勒工业大学的帕里克·加维研究小组已经在研究这种现象,起因是一
近日，辉南县农业专家对本县超级稻高产示范田进行田间实收测产，结果令专家们振奋：示范区亩产达723．5公斤，比非示范区每亩平均增产51．9公斤，全县实现水稻增产15829．5吨，按市价计算农民