计算理论第一章绪论.pptVIP

1.7 构件计算与服务计算 描述逻辑在计算机软件设计中的应用，包括软件工程中的构件和服务的语义说明、构件组装与服务集成和基于本体的领域知识库与基于Web的信息系统和数据库管理等。 1.7 构件计算与服务计算 在构件计算系统中，构件模型是构件分类、检索、适应和组装等关键任务的理论基础，构件模型中的语义表示方法是研究难点。 在学术界和产业界出现了多种构件模型。代表性的实现级产业标准构件模型有CORBA，COM/DCOM和Enterprise JavaBean构件模型。产业界构件基本上使用的分布式面向对象技术，不能完全满足构件计算的要求，同时缺乏对语义的支持。 1.7 构件计算与服务计算 服务计算 (SOC): 将分布式计算、面向对象方法、构件计算等 结合起来的一种网络环境下的计算模式。 实现互联互通、资源共享和协同工作。 1.7 构件计算与服务计算 服务流: 在服务计算系统里，将基本服务看作原子单位。多个服务组合后形成一个服务流。一个应用表示为一个服务流（组合服务）。 主要研究: 如何描述组合服务 如何控制服务组合的运行 1.7 构件计算与服务计算 描述组合服务: 组合服务是由多个基本服务组成的，它们之间有相互的执行和制约关系以及各个服务之间的数据流动关系，应该描述基本服务之间的控制流和数据流的方式。 控制服务组合的运行: 系统能够在组合服务运行时控制和监视服