Use Case Analysis Based on Formal Methods: An Empirical Study

Oliveira, Marcos de; Ribeiro, Leila; Cota, Érika; Duarte, Lucio Mauro; Nunes, Ingrid; Reis, Filipe Abdalla dos

doi:10.1007/978-3-319-28114-8_7

Cited by 9 publications

(7 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The first is to propose techniques and tools to transform use case diagrams into different formalisms. For example, Junior et al [11] propose a formalization of use cases using graph transformation models with the goal of running tool supported analyses on them and revealing possible errors. Sinnig et al [12] propose an integrated development methodology based on non deterministic finite state machine formalism which defines a common semantics for use cases and task models.…”

Section: Related Workmentioning

confidence: 99%

A Multiview Formal Model of Use Case Diagrams Using Z Notation: Towards Improving Functional Requirements Quality

Miloudi

Ettouhami

2018

Journal of Engineering

View full text Add to dashboard Cite

We propose a new formal model of UML use case diagram using Z notation to address some of its shortcomings. UML use case diagram has therefore become commonly used to structure functional requirements and the greatest challenge facing the software developer nowadays is to deliver a high quality product meeting customers’ requirements. However, the major disadvantage of UML models is their imprecision. In addition, they are basically in a form of semiformal modelling representations and associated natural language requirements and lack any mechanism to rigorously check consistency which results in its models being subject to ambiguity. This paper reports on the first formal modelling approach of use case diagrams in a multiview context. The approach is divided into two steps. In the first step, a formal model of UML use case diagram is proposed using Z notation. Then, a multiview consistency checking is presented. This approach guarantees software consistency, improving requirements quality.

show abstract

Section: Related Workmentioning

confidence: 99%

A Multiview Formal Model of Use Case Diagrams Using Z Notation: Towards Improving Functional Requirements Quality

Miloudi

Ettouhami

2018

Journal of Engineering

View full text Add to dashboard Cite

show abstract

“…Some articles indicate that Use Cases facilitate the use of formal verification techniques [SP40], improve the process of problems/errors identification [SP44] and facilitates the review process [SP47].…”

Section: Resultsmentioning

confidence: 99%

“…The effectiveness of Use Cases in improving the comprehension and the quality of the produced requirements specification is reported by [SP16]. The formalization of UCs as Graph Transformation models (GTs) help improve the quality of the Use Cases themselves [SP44]. In [SP47], the authors describe experiences for creating system test cases using Use Case models.…”

Section: 1mentioning

confidence: 99%

The impact of Use Cases in real-world software development projects: A systematic mapping study

Barros-Justo

Benitti

Tiwari

2019

Computer Standards & Interfaces

View full text Add to dashboard Cite

Context: There is abundant literature on the application of UML Use Cases. However, the impact that these applications have had on real projects (in industry) is not well known. It is necessary to know what the impact of the Use Cases really is, so that both, researchers and professionals can make the most pertinent decisions.Objective: To identify and classify the positive and negative impacts of using Use Cases in real-world settings. Method:We conducted a systematic mapping study. The search strategies retrieved a set of 4,431 papers out of which 47 were selected as primary studies. We defined four facets to classify these studies: 1) the positive impact (advantages), 2) the negative impact (disadvantages), 3) the industry's domain and 4) the type of research reported. Results:Our study identified eight categories of advantages related to the application of Use Cases. The most mentioned were estimation, analysis and automation. These advantages had a heterogeneous distribution along the years. On the other hand, the granularity of the scenarios described in the Use Cases, the lack of a standardized format for specifying requirements, and the lack of appropriate guidelines for analysing them were the most mentioned disadvantages. We identified a variety of industry domains, grouped into seven categories. As we can expect most of the papers report experiences in the Information Technology domain, followed by financials applications. Almost half the papers applied evaluation research, including an empirical validation. Only one third of the analysed papers reported threats to validity, the most mentioned being generalizability (38%). Conclusions:Use Cases have proven to be a useful tool in software development, particularly during the early stages. The positive effects far outweigh the few negative effects reported, although this may be due to the researchers' tendency of not reporting negative results.

show abstract

“…We used the average 7-day recall to assess the accuracy of typical weekly bicycling, but we did not assess the accuracy of the average 7-day recall itself. The GPAQ has been validated against direct measures of physical activity (Bull et al, 2009;Laeremans et al, 2017) but the bicycling-specific questions have not been validated. In estimating participation bias, we only compared changes after the first follow-up and a higher threshold may result in different patterns.…”

Section: Discussionmentioning

confidence: 99%

Impacts of study design on sample size, participation bias, and outcome measurement: A case study from bicycling research

Branion-Calles

Winters

Nelson

et al. 2019

Journal of Transport & Health

View full text Add to dashboard Cite

Use Case Analysis Based on Formal Methods: An Empirical Study

Cited by 9 publications

References 12 publications

A Multiview Formal Model of Use Case Diagrams Using Z Notation: Towards Improving Functional Requirements Quality

A Multiview Formal Model of Use Case Diagrams Using Z Notation: Towards Improving Functional Requirements Quality

The impact of Use Cases in real-world software development projects: A systematic mapping study

Impacts of study design on sample size, participation bias, and outcome measurement: A case study from bicycling research

Contact Info

Product

Resources

About