A proposal for extending UML-B to support a conceptual model

被引：5
|
作者：
de Sousa, Thiago C. [1 ]
Snook, Colin F. [2 ]
Silva, Paulo Sergio Muniz [1 ]
机构：
[1] Univ Sao Paulo, Polytech Sch, Sao Paulo, Brazil
[2] Univ Southampton, Sch Elect & Comp Sci, Southampton, Hants, England
来源：
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING | 2011年 / 7卷 / 04期
关键词：
UML-B; Event-B; Conceptual model;
D O I：
10.1007/s11334-011-0169-9
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
UML-B is a development process framework for Event-B based on a "UML-like" graphical formal notation that provides support for object-oriented modelling concepts, in particular, for class and state machine diagrams. However, this methodology has a gap for mapping requirements to formal specifications. To overcome this issue, we present a proposal for extending UML-B to support a conceptual model to provide an easier starting point for the actual development process. More precisely, we propose two diagrams to facilitate the passing from requirements to the initial formal model: a first one to represent system behavior based on UML 2 interaction overview diagram (IOD) and a second one for system structure based on boundary-control-entity stereotyped class diagram (BCE). We show how to translate the former into an Event-B specification and explain how to link the latter to the original UML-B using a simple ATM example as proof of concept.
引用
收藏
页码：293 / 301
页数：9
相关论文
共 50 条
  • [21] DECISION SUPPORT SYSTEMS AND WATER RESOURCES MANAGEMENT: A PROPOSAL FOR A CONCEPTUAL MODEL
    Pinheiro, Marcus Vinicius Chiulle
    Falsarella, Orandi Mina
    Mariosa, Pedro Henrique
    Conti, Diego de Melo
    Mariosa, Duarcides Ferreira
    [J]. PERSPECTIVAS EM CIENCIA DA INFORMACAO, 2024, 29
  • [22] Extending standard UML with model composition semantics
    Clarke, S
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2002, 44 (01) : 71 - 100
  • [23] Extending UML to Model GUI: A New Profile
    Rauf, Abdul
    Ul Rahim, Muhammad Abdul Basit
    Ramzan, Muhammad
    Shahid, Arshad Ali
    [J]. 2010 2ND INTERNATIONAL CONFERENCE ON COMPUTER AND AUTOMATION ENGINEERING (ICCAE 2010), VOL 1, 2010, : 349 - 353
  • [24] A conversion of a DTD to conceptual model by using UML
    Yang, WD
    Zhan, M
    Wang, QM
    Shi, B
    [J]. FOURTH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, PROCEEDINGS, 2004, : 303 - 308
  • [25] Extending UML Sequence Diagrams to Model Trust-dependent Behavior With the Aim to Support Risk Analysis
    Refsdal, Atle
    Stolen, Ketil
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 197 (02) : 15 - 29
  • [26] Extending UML sequence diagrams to model trust-dependent behavior with the aim to support risk analysis
    Refsdal, Atle
    Stolen, Ketil
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2008, 74 (1-2) : 34 - 42
  • [27] Proposal of a method to support testing for Java']Java programs with UML
    Katayama, T
    Yabuya, Y
    [J]. 12TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2005, : 533 - 540
  • [28] Extending the UML Statecharts Notation to Model Security Aspects
    El-Attar, Mohamed
    Luqman, Hamza
    Karpati, Peter
    Sindre, Guttorm
    Opdahl, Andreas L.
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2015, 41 (07) : 661 - 690
  • [29] Extending UML sequence diagrams to model agent mobility
    Kusek, Mario
    Jezic, Gordan
    [J]. AGENT-ORIENTED SOFTWARE ENGINEERING VII, 2007, 4405 : 51 - +
  • [30] OBO to UML: Support for the development of conceptual models in the biomedical domain
    Waldemarin, Ricardo C.
    de Farias, Clever R. G.
    [J]. JOURNAL OF BIOMEDICAL INFORMATICS, 2018, 80 : 14 - 25
12345