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 条
  • [41] An Executable Semantics of the SystemC UML Profile
    Riccobene, Elvinia
    Scandurra, Patrizia
    ABSTRACT STATE MACHINES, ALLOY, B AND Z, PROCEEDINGS, 2010, 5977 : 75 - +
  • [42] On the semantics of associations and association ends in UML
    Milicev, Dragan
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2007, 33 (04) : 238 - 251
  • [43] UML formal semantics: lessons learned
    Manfred Broy
    María Victoria Cengarle
    Software & Systems Modeling , 2011, 10 : 441 - 446
  • [44] The Formal Semantics of an UML Activity Diagram
    梁义芝
    王延章
    刘云飞
    Journal of Shanghai University, 2004, (03) : 322 - 327
  • [45] A compositional semantics of UML-RSDS
    K. Lano
    Software & Systems Modeling, 2009, 8 : 85 - 116
  • [46] A compositional semantics of UML-RSDS
    Lano, K.
    SOFTWARE AND SYSTEMS MODELING, 2009, 8 (01): : 85 - 116
  • [47] An ASM semantics for UML activity diagrams
    Börger, E
    Cavarra, A
    Riccobene, E
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2000, 1816 : 293 - 308
  • [48] On the semantics of UML/MARTE Clock Constraints
    Mallet, Frederic
    Andre, Charles
    PROCEEDINGS OF THE 12TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, 2009, : 305 - 312
  • [49] A fully abstract semantics for UML components
    deBoer, FS
    Bonsangue, MM
    Steffen, M
    Abraham, E
    FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2005, 3657 : 49 - 69
  • [50] Dynamic logic semantics for UML consistency
    O'Keefe, Greg
    MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2006, 4066 : 113 - 127
12345