【摘 要】
：
为解决服务系统描述和构建过程中服务的组合和验证等方面的问题,以范畴理论为基础,引入进程代数,为服务系统的架构模型提出了一种形式化的语义描述方法.整个服务结构模型通过
【机 构】
：
潍坊学院计算机工程学院,山东潍坊261061
【出 处】
：
2013年第四届中国计算机学会服务计算学术会议
论文部分内容阅读
为解决服务系统描述和构建过程中服务的组合和验证等方面的问题,以范畴理论为基础,引入进程代数,为服务系统的架构模型提出了一种形式化的语义描述方法.整个服务结构模型通过由服务标志和标志态射构成的范畴图表来描述,态射用来表示服务规范之间的关系,余极限用来描述服务的层次组合.以此为基础,进一步从服务端口、结构和行为等方面对服务的组合、分解以及精化过程所中应保持的语义特性进行了分析.实例研究表明:该框架不仅能在抽象层次上支持服务系统的建模和分析,而且还可通过映射抽象模型到实现技术来支持服务组合,可以很好地分析需求分解和服务组合的正确性,可用于指导服务系统的描述和构建.
其他文献
今年1～5月我国电子信息全行业继续保持平稳发展,总量规模进一步扩大,经济效益有所回升.1～5月全行业实现主营业务收入17375.6亿元,同比增长18.1%,其中制造业实现主营业务收入155
企业知识产权工作关乎企业转型和经济发展大局,缺乏经费保障自然难以有所作为,有了经费保障才能打开企业知识产权工作的新局面,尽快提升企业市场竞争力.企业应根据不同发展阶
由广州市建筑科学研究院主编的广东省标准《建筑地基基础设计规范》 (送审稿)于2002年12月27～29日顺利通过由广州市建设委员会组织、广东省建设厅主持的专家审查,审查组由来
摘 要：文章介绍电厂热工自动化在电厂应用中的发展历史和现状，并简述了DCS等热工自动化系统在电力行业的应用及热工自动化技术带来的效益。 关键词：热工自动化；电力行业；现状；发展 随着我国社会经济的快速发展，电力事业的进步，电厂热工自动化水平不断提高，电厂热工自动化技术在电力系统和经济运行中的作用越来越重要。目前，我国已经加快了技术革新，电厂热工自动化已经取得了很大的发展。 1 热工自动化技术
期一页 综述展望我国建设行业科技发展应对WrO的机遇与挑战企业的技术素质及广州市施工企业的相关调查分析二盾构技术创新与企业构建核心竞争力及竞争战略实施大型油罐地基充
在新世纪到来之际 ,贵州乌江水电开发有限责任公司提出了论证构皮滩水电站装机容量的课题 ,是非常有远见的 ,是真正根据党中央国务院西部大开发的战略布署———“西电东送”
2003-2004 2年新植和1年宿根的结果表明,12个参试品种中,粤糖91-1102和桂糖94-119增产增糖幅度大,农艺性状及宿根性能良好,分别居第1和第2位;粤农91-600和云蔗94-375增产幅度
Stress corrosion cracking (SCC) behavior of P110 tubing steel in simulated CO2 injection well annulus environments was investigated through three-point bent tes
一、主要指标发展情况rn(一)业务总量和业务收入rn1～5月份,全国通信业务总量完成7482.0亿元,比去年同期增长26.1%.其中,电信业务总量7150.5亿元,增长26.8%;邮政业务总量331.5
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.