UML semantics representation of enterprise modelling constructs

被引:0
|
作者
Panetto, H [1 ]
机构
[1] CNRS, CRAN, UMR 7039, F-75700 Paris, France
关键词
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 条
  • [21] Variability in UML language and semantics
    Bernhard Rumpe
    Robert France
    Software & Systems Modeling , 2011, 10
  • [22] Semantics of interactions in UML 2.0
    Störrle, H
    200S IEEE SYMPOSIUM ON HUMAN CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, 2003, : 129 - 136
  • [23] Semantics of UML statecharts in PVS
    Aredo, DB
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL IX, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: II, 2003, : 77 - 82
  • [24] A Formal Descriptive Semantics of UML
    Shan, Lijun
    Zhu, Hong
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5256 : 375 - +
  • [25] A formal semantics for UML interactions
    Knapp, A
    UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 116 - 130
  • [26] An Approach to Semantics for UML Activities
    Gall, Dariusz
    Walkowiak, Anita
    INFORMATION SYSTEMS ARCHITECTURE AND TECHNOLOGY, PT II, 2018, 656 : 252 - 262
  • [27] A heterogeneous approach to UML semantics
    Cengarle, Maria Victoria
    Knapp, Alexander
    Tarlecki, Andrzej
    Wirsing, Martin
    CONCURRENCY, GRAPHS AND MODELS: ESSAYS DEDICATED TO UGO MONTANARI ON THE OCCASION OF HIS 65TH BIRTHDAY, 2008, 5065 : 383 - +
  • [28] Variability in UML language and semantics
    Rumpe, Bernhard
    France, Robert
    SOFTWARE AND SYSTEMS MODELING, 2011, 10 (04): : 439 - 440
  • [29] Defining precise semantics for UML
    Bruel, JM
    Lilius, J
    Moreira, A
    France, RB
    OBJECT-ORIENTED TECHNOLOGY, PROCEEDINGS, 2000, 1964 : 113 - 122
  • [30] Semantics and transformations for UML models
    Lano, K
    Bicarregui, J
    UNIFIED MODELING LANGUAGE: UML'98: BEYOND THE NOTATION, 1999, 1618 : 107 - 119