目前针对软件即服务SaaS(Software as a Service)的可配置策略还没有完全形成成熟的理论。借鉴已有技术,提出和描述基于组件组装定制服务的一种配置模型。该配置模型允许用户对服务进行建模,根据自己特定的业务流程,基于相同的服务组件...目前针对软件即服务SaaS(Software as a Service)的可配置策略还没有完全形成成熟的理论。借鉴已有技术,提出和描述基于组件组装定制服务的一种配置模型。该配置模型允许用户对服务进行建模,根据自己特定的业务流程,基于相同的服务组件,通过定义不同的数据关联和约束规则实现服务流程定制。最后通过两个业务需求不同的服务的配置实例,证明所描述方法的灵活性和可行性。展开更多
结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL,Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务...结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL,Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.展开更多
基金the National Natural Science Foundation of Chinaunder Grant Nos.6060302560503018(国家自然科学基金)+2 种基金the National High-Tech Research and Development Plan of Chinaunder Grant No.2006AA01Z171(国家高技术研究发展计划(863))the National Key Technology R&D Program of Chinaunder Grant No.2006BAH02A01(国家科技支撑计划)the Natural Science Foundation of Zhejiang Province of Chinaunder GrantNo.Y105463(浙江省自然科学基金)
文摘目前针对软件即服务SaaS(Software as a Service)的可配置策略还没有完全形成成熟的理论。借鉴已有技术,提出和描述基于组件组装定制服务的一种配置模型。该配置模型允许用户对服务进行建模,根据自己特定的业务流程,基于相同的服务组件,通过定义不同的数据关联和约束规则实现服务流程定制。最后通过两个业务需求不同的服务的配置实例,证明所描述方法的灵活性和可行性。
文摘结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL,Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.
