An approach for modeling a formal Use Case Type at early development phase without loosing abstraction

  • Authors:

  • Francisco Supino Marcondes;Ítalo Santiago Vega;Luiz Alberto Dias

  • Affiliations:

  • Brazilian Aeronautics Institute of Technology, São José dos Campos, Brazil;Pontificia Universidade Católica de São Paulo, São Paulo, Brazil;Brazilian Aeronautics Institute of Technology, São José dos Campos, Brazil

  • Venue:
  • Innovations in Systems and Software Engineering
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

To model formal Use Case Type is useful in using a state machine diagram once it is verifiable through mathematical analysis, and it is very precise. But by the same characteristics, it is very difficult to be modeled in early phases since many definitions are still open and vague. This study presents an approach to obtain a formal Use Case Type definition in early phases without losing the intuitive events searches provided by other heuristic models, usually sequence diagrams.