A classical mind
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Formal verification of parallel programs
Communications of the ACM
Writing Effective Use Cases
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Translating Use Cases to Sequence Diagrams
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Testable Use Cases in the Abstract State Machine Language
APAQS '01 Proceedings of the Second Asia-Pacific Conference on Quality Software
Validating Use-Cases with the AsmL Test Tool
QSIC '03 Proceedings of the Third International Conference on Quality Software
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development (3rd Edition)
On Generating EFSM models from Use Cases
ICSEW '07 Proceedings of the 29th International Conference on Software Engineering Workshops
Towards a Common Semantic Foundation for Use Cases and Task Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Improving the quality of use case descriptions: empirical assessment of writing guidelines
Software Quality Control
Use case and task models: formal unification and integrated development methodology
Use case and task models: formal unification and integrated development methodology
Model-Based Specification and Validation of User Interface Requirements
Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends
Mastering use cases: capturing functional requirements for interactive applications
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
Fixing Generalization Defects in UML Use Case Diagrams
Fundamenta Informaticae - Concept Lattices and Their Applications
Use case and task models: An integrated development methodology and its formal foundation
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
| Hi-index | 0.00 |
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of software systems. In this paper, we define a formal semantics for use case models. We build on an abstract syntax definition formalizing the sequencing of use case steps. As a semantic domain we have chosen Labeled Transition Systems (LTSs), which, we believe, intuitively capture the behavioral aspects of the use case model. The mapping into LTSs is defined over the various structural elements of the use case model. The proposed formal semantics allows for various semantic checks such as detection of livelocks and validation of model refinement, an important property in an iterative software development lifecycle. We also introduce our tool "Use Case Model Analyzer".