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.
Article PDF
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
References
Donald B (2004) UML’s sequence diagram. In: IBM. http://www.ibm.com/developerworks/raration/library/3101.html. Accessed 20 Jun 2008
Object Management Institute (2007) OMG unified modeling language (OMG-UML). Superstructure, v2.1.2 OMG
Rational Software Corporation (2006) DEV470: rational rose realtime (student material)
Larman C (2004) Applying UML and patterns: an introduction to object-oriented analysis and design and iterative development. Prentice-Hall, Englewood Cliffs
Dias LAV (2008) Lecture notes. Aeronautics Institute of Technology. ITA, São José dos Campos, SP, Brazil
Douglass BP (2006) Real time UML. Addison-Wesley, Boston
Turing AM (1936) On computable numbers, with an application to the Entscheidungs problem. Proc Lond Math Soc 42:230, 265 [ibid 43:544–546 (1936)]
Drunsinsky D, Harel D (1994) On the power of bounded concurrency I. ACM 004-5411/94/0500-0517
Pender T (2004) UML Bible. Wiley, Hoboken
Sebesta RW (1999) Concepts of programming languages. Addson Wesley, Boston
Hopcroft JE, Motwani R, Ullman JD (2001) Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Boston
Java Formal Language Application Tool (JFlap) (2007). In: JFlap. http://www.jflap.org. Accessed 24 Nov 2007
Marcondes FS, Colonese E, Vega IS (2008) Dias LAV proposing a formal method to reduce RTS logical model complexity. doi:10.1109/ITNG.2008.202
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Marcondes, F.S., Vega, Í.S. & Dias, L.A.V. An approach for modeling a formal Use Case Type at early development phase without loosing abstraction. Innovations Syst Softw Eng 7, 1–8 (2011). https://doi.org/10.1007/s11334-010-0138-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11334-010-0138-8