Enhancing UML models: A domain analysis approach

被引:24
|
作者
Reinhartz-Berger, Iris [1 ]
Sturm, Arnon
机构
[1] Univ Haifa, Dept Mangement Informat Syst, IL-31999 Haifa, Israel
[2] Ben Gurion Univ Negev, Dept Informat Syst Engn, IL-84105 Beer Sheva, Israel
关键词
domain analysis; model completeness; model correctness; object-oriented analysis; object-oriented design; software development methodologies; UML;
D O I
10.4018/jdm.2008010104
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
UML has been largely adopted as a standard modeling language. The emergence of UML,from different modeling languages that refer to various system aspects causes a wide variety of completeness and correctness problems in UML models. Several methods have been proposed for dealing with correctness issues, mainly. providing internal consistency rules but ignoring correctness and completeness with respect to the system requirements and the domain constraints. In this article, we propose addressing both completeness and correctness problems of UML models by adopting a domain analysis approach called application-based domain modeling (ADOM). We present experimental results from our study which checks the quality of application models when utilizing ADOM on UML. The results advocate that the availability of the domain model helps achieve more complete models without reducing the comprehension of these models.
引用
收藏
页码:74 / 94
页数:21
相关论文
共 50 条
  • [41] Representing and reasoning on fuzzy UML models: A description logic approach
    Ma, Z. M.
    Zhang, Fu
    Yan, Li
    Cheng, Jingwei
    [J]. EXPERT SYSTEMS WITH APPLICATIONS, 2011, 38 (03) : 2536 - 2549
  • [42] A systematic approach to generate inputs to test UML design models
    Dinh-Trong, Trung T.
    Ghosh, Sudipto
    France, Robert B.
    [J]. ISSRE 2006:17TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2006, : 95 - +
  • [43] A systematic approach to domain-specific language design using UML
    Selic, Bran
    [J]. 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, Proceedings, 2007, : 2 - 9
  • [44] Towards a Hybrid Approach to Measure Similarity Between UML Models
    Goncales, Lucian Jose
    Farias, Kleinner
    Bischoff, Vinicius
    [J]. PROCEEDINGS OF THE XV BRAZILIAN SYMPOSIUM ON INFORMATION SYSTEMS, SBSI 2019: Complexity on Modern Information Systems, 2019,
  • [45] A Logic-Based Approach for the Verification of UML Timed Models
    Baresi, Luciano
    Morzenti, Angelo
    Motta, Alfredo
    Pourhashem, Mohammad Mehdi K.
    Rossi, Andmatteo
    [J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2017, 26 (02)
  • [46] Validation and automatic test generation on UML models: the AGATHA approach
    David Lugato
    Céline Bigot
    Yannick Valot
    Jean-Pierre Gallois
    Sébastien Gérard
    François Terrier
    [J]. International Journal on Software Tools for Technology Transfer, 2004, 5 (2-3) : 124 - 139
  • [47] Aspectual templates in UML Enhancing the semantics of UML templates in OCL
    Vanwormhoudt, Gilles
    Caron, Olivier
    Carre, Bernard
    [J]. SOFTWARE AND SYSTEMS MODELING, 2017, 16 (02): : 469 - 497
  • [48] Compositional hazard analysis of UML component and deployment models
    Giese, H
    Tichy, M
    Schilling, D
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2004, 3219 : 166 - 179
  • [49] Performance Analysis of System Models with UML and Generalized Nets
    Koycheva, Evelina
    Janschek, Klaus
    [J]. ATP EDITION, 2009, (08): : 62 - 68
  • [50] Performance analysis of aspect-oriented UML models
    Petriu, Dorina C.
    Shen, Hui
    Sabetta, Antonino
    [J]. SOFTWARE AND SYSTEMS MODELING, 2007, 6 (04): : 453 - 471