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 条
  • [21] From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL
    Abdelouahed Gherbi
    Ferhat Khendek
    [J]. Automated Software Engineering, 2009, 16 : 387 - 414
  • [22] From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL
    Gherbi, Abdelouahed
    Khendek, Ferhat
    [J]. AUTOMATED SOFTWARE ENGINEERING, 2009, 16 (3-4) : 387 - 414
  • [23] UMLCollab: A Hybrid Approach for Collaborative Modeling of UML Models
    Xavier, McLyndon S. de L.
    Farias, Kleinner
    Barbosa, Jorge
    Goncales, Lucian
    Bishoff, Vinicius
    [J]. PROCEEDINGS OF THE XV BRAZILIAN SYMPOSIUM ON INFORMATION SYSTEMS, SBSI 2019: Complexity on Modern Information Systems, 2019,
  • [24] An Approach to Verifying Security and Timing Properties in UML Models
    Thapa, Vidhi
    Song, Eunjee
    Kim, Hanil
    [J]. 2010 15TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2010), 2010, : 193 - 202
  • [25] An Approach to Evaluating Structural Pattern Conformance of UML Models
    Kim, Dae-Kyoo
    Shen, Wuwei
    [J]. APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 1404 - +
  • [26] MAPPING FEATURE DIAGRAMS TO UML MODELS A Transformational Approach
    Laguna, Miguel A.
    Gonzalez-Baixauli, Bruno
    Fernandez, Ruben
    [J]. ICSOFT 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 1, 2009, : 295 - 298
  • [27] A UML Approach for the Design of Reconfigurable Manufacturing Simulation Models
    Ismail, Hossam S.
    Tey, Voon S.
    Wang, Lina
    Poolton, Jenny
    [J]. 2011 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEM), 2011, : 1690 - 1694
  • [28] A SOFTWARE TESTING APPROACH BASED ON BEHAVIORAL UML MODELS
    Barisas, Dominykas
    Bareisa, Eduardas
    [J]. INFORMATION TECHNOLOGY AND CONTROL, 2009, 38 (02): : 119 - 124
  • [29] Automated Measurement of UML Models: an open toolset approach
    Lavazza, Luigi
    Agostini, Alberto
    [J]. JOURNAL OF OBJECT TECHNOLOGY, 2005, 4 (04): : 115 - 134
  • [30] QuantUM: Quantitative Safety Analysis of UML Models
    Leitner-Fischer, Florian
    Leue, Stefan
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (57): : 16 - 30