Corpus ID: 43136155

A Formal Model of Use-Cases and Its Application in Generating A Hierarchical Class-Structure

  title={A Formal Model of Use-Cases and Its Application in Generating A Hierarchical Class-Structure},
  author={S. Kundu},
  • S. Kundu
  • Published 2014
  • Creating an object-oriented design from user requirements, given as a set of use-cases, means deriving a detailed class structure that can support an implementation of those requirements. We introduce here the Augmented Finite-Stat e (AFS) model for a set of use-cases. An AFS model of a single use caseU incorporates the inputs, outputs, and operations for each interaction in U , including the ”internal” dataflows among those interactions. The AFS model for a set of use-cases U combines the AFS… CONTINUE READING

    Figures and Tables from this paper


    Automating transition from use-cases to class model
    • Dong Liu, K. Subramaniam, B. Far, A. Eberlein
    • Computer Science
    • CCECE 2003 - Canadian Conference on Electrical and Computer Engineering. Toward a Caring and Humane Technology (Cat. No.03CH37436)
    • 2003
    • 62
    • PDF
    Understanding class hierarchies using concept analysis
    • 120
    • PDF
    Structuring Software Functional Requirements For Automated Design And Verification
    • S. Kundu
    • Computer Science
    • 31st Annual International Computer Software and Applications Conference (COMPSAC 2007)
    • 2007
    • 4
    Semi-automatic generation of UML models from natural language requirements
    • 69
    • PDF
    The canonical functional design based on the domination-relationship among data
    • S. Kundu
    • Computer Science
    • Proceedings Eighth Asia-Pacific Software Engineering Conference
    • 2001
    • 3
    Object-oriented software engineering - a use case driven approach
    • 4,088
    • PDF
    Translating use cases to sequence diagrams
    • Liwu Li
    • Computer Science
    • Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering
    • 2000
    • 41
    Testing Software Design Modeled by Finite-State Machines
    • T. Chow
    • Computer Science
    • IEEE Transactions on Software Engineering
    • 1978
    • 1,437
    • Highly Influential