Volume 12 Number 3 (Mar. 2017)
Home > Archive > 2017 > Volume 12 Number 3 (Mar. 2017) >
JSW 2017 Vol.12(3): 189-200 ISSN: 1796-217X
doi: 10.17706/jsw.12.3.189-200

A Formal Semantics for Use Case Diagram Via Event-B

Thiago C. de Sousa1*, Luciano Kelvin2, Constantino Dias Neto1, Carlos Giovanni N. de Carvalho1

1Technology and Urbanism Center, State University of Piauí, Teresina, 64003-750, Brazil.
2Institute of Mathematics and Statistics, University of São Paulo, São Paulo, 05508-090, Brazil.


Abstract—UML has become the "de facto" standard for modeling object-oriented software. However, the UML notation suffers from an imprecise and incomplete semantics definition, which makes difficult to automated analysis and is errors-prone. Formal methods have been used largely in order to deal with this problem. This paper proposes an approach to formally describe Use Case Diagram using the Event-B language. More specifically, it is presented a set of transformation rules that maps the elements of this diagram to elements of Event-B, both expressed via meta-models. The approach is illustrated by showing an example about how to make automatic verification in this diagram.

Index Terms—Formal semantics, use case diagram, event-B, formal verification.

[PDF]

Cite: Thiago C. de Sousa, Luciano Kelvin, Constantino Dias Neto, Carlos Giovanni N. de Carvalho, "A Formal Semantics for Use Case Diagram Via Event-B," Journal of Software vol. 12, no. 3, pp. 189-200, 2017.

General Information

  • ISSN: 1796-217X (Online)

  • Abbreviated Title: J. Softw.

  • Frequency:  Quarterly

  • APC: 500USD

  • DOI: 10.17706/JSW

  • Editor-in-Chief: Prof. Antanas Verikas

  • Executive Editor: Ms. Cecilia Xie

  • Abstracting/ Indexing: DBLP, EBSCO,
           CNKIGoogle Scholar, ProQuest,
           INSPEC(IET), ULRICH's Periodicals
           Directory, WorldCat, etc

  • E-mail: jsweditorialoffice@gmail.com

  • Oct 22, 2024 News!

    Vol 19, No 3 has been published with online version   [Click]

  • Jan 04, 2024 News!

    JSW will adopt Article-by-Article Work Flow

  • Apr 01, 2024 News!

    Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec)     [Click]

  • Apr 01, 2024 News!

    Papers published in JSW Vol 18, No 1- Vol 18, No 6 have been indexed by DBLP   [Click]

  • Jun 12, 2024 News!

    Vol 19, No 2 has been published with online version   [Click]