UML semantics representation of enterprise modelling constructs

被引：0
|
作者：
Panetto, H [1 ]
机构：
[1] CNRS, CRAN, UMR 7039, F-75700 Paris, France
来源：
ENTERPRISE INTER- AND INTRA-ORGANIZATIONAL INTEGRATION: BUILDING INTERNATIONAL CONSENSUS | 2003年 / 108卷
关键词：
D O I：
暂无
中图分类号：
F [经济];
学科分类号：
02 ;
摘要：
Enterprise modelling contributes to understand enterprise structure by providing an explicit description of enterprise processes. Among many key issues in an engineering project, formalisation appears to be a suitable technique to check the global consistency between all the various specifications a system is intended to cover. This paper deals with the use of UML semantics representation by means of stereotypes and OCL invariant formalisation to cope with a global consistency of the UML definition.
引用
收藏
页码：381 / 387
页数：7
相关论文
共 50 条
  • [31] Argumentation for explicit representation of control within enterprise modelling and integration
    Vallespir, B
    Chen, D
    Doumeingts, G
    ENTERPRISE INTER- AND INTRA-ORGANIZATIONAL INTEGRATION: BUILDING INTERNATIONAL CONSENSUS, 2003, 108 : 417 - 424
  • [32] Aspectual templates in UML Enhancing the semantics of UML templates in OCL
    Vanwormhoudt, Gilles
    Caron, Olivier
    Carre, Bernard
    SOFTWARE AND SYSTEMS MODELING, 2017, 16 (02): : 469 - 497
  • [33] Modelling a process repository for Enterprise Application Integration based on business knowledge and semantics
    Paheerathan, SJ
    INFORMATION MODELLING AND KNOWLEDGE BASES XV, 2004, 105 : 130 - 142
  • [34] UML formal semantics: lessons learned
    Broy, Manfred
    Cengarle, Maria Victoria
    SOFTWARE AND SYSTEMS MODELING, 2011, 10 (04): : 441 - 446
  • [35] Reactive Semantics for Distributed UML Activities
    Kraemer, Frank Alexander
    Herrmann, Peter
    FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, PROCEEDINGS, 2010, 6117 : 17 - 31
  • [36] A formal semantics of UML-RT
    von der Beeck, Michael
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2006, 4199 : 768 - 782
  • [37] UML Statecharts Compositional Semantics in LOTOS
    Mrowka, Rafal
    Szmuc, Tomasz
    PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED COMPUTING, 2008, : 459 - 463
  • [38] Enhancing the semantics of UML association redefinition
    Nieto, Pilar
    Costal, Dolors
    Gomez, Cristina
    DATA & KNOWLEDGE ENGINEERING, 2011, 70 (02) : 182 - 207
  • [39] Formal semantics for interacting UML subsystems
    Jürjens, Jan
    IFIP Advances in Information and Communication Technology, 2002, 81 : 29 - 43
  • [40] Formalizing the semantics of UML statecharts with Z
    Zhan, XD
    Miao, HK
    Liu, L
    FOURTH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, PROCEEDINGS, 2004, : 1116 - 1121
12345