• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>RSTI >Kmelia, un modèle abstrait et formel pour la description et la composition de composants et de services
【24h】

Kmelia, un modèle abstrait et formel pour la description et la composition de composants et de services

机译：Kmelia，一个抽象的正式模型，用于描述和组成组件和服务

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Kmelia is both a language and a multi-services component-based model. The Kmelia components are abstract and formal to permit the description and the verification of properties. Within Kmelia a service may interact with its caller; it can encapsulate other services to which it gives access and it can also require services. These services are parameterised with data and they are equipped with assertions (pre-post-/conditions). In this article we introduce the main features of Kmelia through the provided means for service composition and component composition. The composition of components and services determines the feasible interactions which influence the dynamic property verification. We present the formal analysis methods and the COSTO toolbox that accompany the Kmelia approach. The article is illustrated with a case study which deals with the management of a trading system.%RÉSUMÉ. Kmelia est un langage et un modèle à composants multiservices où les composants sont abstraits et formels de façon à pouvoir y exprimer des propriétés et à les vérifier. Dans Kmelia un service peut interagir avec son appelant, encapsuler des services auxquels il donne accès et aussi requérir d'autres services. Ces services sont paramétrés par des données et dotés d'assertions (pré/post-conditions). Dans cet article nous présentons les principales caractéristiques de Kmelia à travers les moyens de composition de services et de composants qui sont offerts. Pour chaque cas nous détaillons les compositions horizontale et verticale, nous abordons aussi le cas des compositions multiparties. Nous discutons en particulier des interactions, déterminées par le mode de composition des composants et services, qui influent sur les propriétés dynamiques à vérifier. Nous présentons ensuite les méthodes d'analyse formelle et l'outil support COSTO. Nous illustrons l'article par l'étude d'une application de commerce informatisée.
机译：Kmelia既是一种语言，又是一种基于组件的多服务模型。 Kmelia组件是抽象的和形式化的，以允许描述和验证属性。在Kmelia中，服务可以与其调用者进行交互；它可以封装它可以访问的其他服务，也可以需要服务。这些服务通过数据进行参数化，并且配备了断言（发布后/条件）。在本文中，我们通过提供的服务组合和组件组合的方法介绍Kmelia的主要功能。组件和服务的组成决定了影响动态属性验证的可行交互。我们介绍了伴随Kmelia方法的形式化分析方法和COSTO工具箱。本文以案例研究为例进行说明，该案例研究交易系统的管理。％RÉSUMÉ。多种语言的综合服务，包括基础知识和专有知识以及专家证明等。 Dans Kmelia和peut interagir avec子公司上诉人，服务包囊性服务员il donneaccèset aussirequérird'autres服务员。声明和断言的条件服务（前提条件/后置条件）。丹麦《宪法》第十九次修订本《服务业和作曲家原则》。倒入水平和垂直组成的中式火锅，多方倒入中性火锅。互动关系特别畅通无阻，构图和服务水平得到最终确定，动力学研究得到了积极的发展。法国分析与研究组织随员支持COSTO。商业情报应用说明。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号