...
首页> 外文期刊>Data & Knowledge Engineering >Generating operation specifications from UML class diagrams: A model transformation approach
【24h】

Generating operation specifications from UML class diagrams: A model transformation approach

机译:从UML类图生成操作规范:一种模型转换方法

获取原文
获取原文并翻译 | 示例
           

摘要

One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simplify this task by providing a method that automatically generates a set of basic operations that complement the static aspects of the CS and suffice to perform all typical life-cycle create/update/delete changes on the population of the elements of the CS. Our method guarantees that the generated operations are executable, i.e. their executions produce a consistent state wrt the most typical structural constraints that can be defined in CSs (e.g. multiplicity constraints). In particular, our method takes as input a CS expressed as a Unified Modeling Language (UML) class diagram (optionally defined using a profile to enrich the specification of associations) and generates an extended version of the CS that includes all necessary operations to start operating the system. If desired, these basic operations can be later used as building blocks for creating more complex ones. We show the formalization and implementation of our method by means of model-to-model transformations. Our approach is particularly relevant in the context of Model Driven Development approaches.
机译:在规范概念模式(CS)期间,较繁琐和复杂的任务之一是对定义系统行为的操作进行建模。本文旨在通过提供一种方法来简化此任务,该方法可自动生成一组基本操作,以补充CS的静态方面,并足以执行所有典型的生命周期创建/更新/删除对象元素的更改。 CS。我们的方法保证了所生成的操作是可执行的,即它们的执行产生了一致的状态,而该状态具有可以在CS中定义的最典型的结构约束(例如多重约束)。特别是,我们的方法将表示为统一建模语言(UML)类图的CS作为输入(可选地使用配置文件定义以丰富关联规范),并生成CS的扩展版本,其中包括开始运行所需的所有必要操作系统。如果需要,这些基本操作可以稍后用作创建更复杂操作的构建块。我们通过模型到模型的转换展示了我们方法的形式化和实现。在模型驱动开发方法的上下文中,我们的方法特别重要。

著录项

  • 来源
    《Data & Knowledge Engineering》 |2011年第4期|p.365-389|共25页
  • 作者单位

    Departmento de Sistemas Informaticos y Computation, Universidad Politecnica de Valencia, Camino de Vera s 46022 Valencia, Spain;

    INRlA-Ecole des Mines de Nantes, 4, rue Alfred Kastler, B.P. 20722 - F-44307 NANTES Cedex 3, France;

    Departament d'Enginyeria de Serveis I Sistemes d'lnformacio, Universitat Politecnica de Catalunya, Campus Nord, Edif. Omega, jordi Cirona 1-3, 08034 Barcelona, Spain;

    Departmento de Sistemas Informaticos y Computation, Universidad Politecnica de Valencia, Camino de Vera s 46022 Valencia, Spain;

  • 收录信息 美国《科学引文索引》(SCI);美国《工程索引》(EI);
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

    Bbehavior schema; Action; Operation; Class diagram; UML; Model-to-model transformation;

    机译:行为模式;动作;操作;类图;UML;模型到模型的转换;

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号