Formalizing and Analyzing UML Use Case Hierarchical Predicate Transition Nets

Formalizing and Analyzing UML Use Case Hierarchical Predicate Transition Nets

Xudong He (Florida International University, USA)
Copyright: © 2005 |Pages: 30
DOI: 10.4018/978-1-59140-621-1.ch008
OnDemand PDF Download:


Unified Modeling Language (UML), developed by a group of leading experts in object-oriented methodologies, has become the standard object-oriented development methodology in the software industry. UML contains a set of diagrams for describing different views and aspects of systems. UML use case diagrams are used during requirements analysis to define a use case view that constitutes a system’s functional model. Each use case describes a system’s functionality from a user’s perspective. However, the use case descriptions are often informal, which are error-prone and cannot be formally analyzed to detect problems in user requirements or errors introduced in a system functional model. A well-defined use case view is not only necessary for subsequent correct system design and implementation but also serves as a basis for future system evolution. Therefore, it is extremely important to ensure the correctness of the functional model captured in a use case view. In this chapter, we present an approach to formally translate a use case view into a formal model in hierarchical predicate transition nets that support formal analysis and thus are capable to detect possible requirements and modeling errors in a use case view.

Complete Chapter List

Search this Book:
Table of Contents
Hongji Yang
Chapter 1
Scott Tilley, Damiano Distante, Shihong Huang
Modern Web sites provide applications that are increasingly built to support the execution of business processes. In such a transaction-oriented Web... Sample PDF
Design Recovery of Web Applications Transactions
Chapter 2
Lars Gunske
This chapter presents the concept of graph-based architecture evolution and how this concept can be applied to improve the quality characteristics... Sample PDF
Using a Graph Transformation System to Improve the Quality of Characteristics of UML-RT Specifications
Chapter 3
Marcus Alanen, Ivan Porres
We review the main concepts and algorithms behind a software repository with version control capabilities for UML and other MOF-based models. We... Sample PDF
Version Control of Software Models
Chapter 4
Cornelia Boldyreff, David Nutter, Stephen Rank, Phyo Kyaw, Janet Lavery
Collaborative system composition during design has been poorly supported by traditional CASE tools (which have usually concentrated on supporting... Sample PDF
Support for Collaborative Component-Based Software Engineering
Chapter 5
Rainer Fromming, Andreas Rausch
Embrace the change! Change is a constant reality of software development, a reality that must be reflected in not only our software process but also... Sample PDF
Migration of Persistent Object Models Using XMI
Chapter 6
William C. Chu, Chih-Hung Chang, Chih-Wei Lu, YI-Chun Peng, Don-Lin Yang
Responding to the fact that software systems become more and more complex and mutable, not only the software-standards-related technologies should... Sample PDF
PRAISE: A Software Development Environment to Support Software Evolution
Chapter 7
Paul Crowther
A major contributor to the development of a quality final product is a complete, consistent, and detailed requirement specification (Pressman... Sample PDF
Developing Requirements Using Use Case Modeling and the Volere Template: Establishing a Baseline for Evolution
Chapter 8
Xudong He
Unified Modeling Language (UML), developed by a group of leading experts in object-oriented methodologies, has become the standard object-oriented... Sample PDF
Formalizing and Analyzing UML Use Case Hierarchical Predicate Transition Nets
Chapter 9
Claudia Pons, Gabriel Baum
During the object-oriented software development process, a variety of models of the system is built. All these models are semantically overlapping... Sample PDF
Formal Specifications of Software Model Evolution Using Contracts
Chapter 10
Steve McRobb, Richard Millham, Jianjun Pu, Hongji Yang
This chapter presents a report of an experimental approach that uses WSL as an intermediate language for the visualisation of COBOL legacy systems... Sample PDF
Visualising COBOL Legacy Systems with UML: An Experimental Report
Chapter 11
Jan Jurjens, Pasha Shabalin
High-quality development of critical systems poses serious challenges. Formal methods have been proposed to address them, but their use in industry... Sample PDF
XML-Based Analysis of UML Models for Critical Systems Development
Chapter 12
Chris Scogings, Chris Phillips
The primary focus in UML has been on support for the design and implementation of the software comprising the underlying system. Very little support... Sample PDF
Augmenting UML to Support the Design and Evolution of User Interfaces
Chapter 13
Donald Needham, Rodrigo Caballero, Steven Demurjian, Felix Eickhoff, Yi Zhang
This chapter examines a formal framework for reusability assessment of development-time components and classes via metrics, refactoring guidelines... Sample PDF
A Reuse Definition, Assessment, and Analysis Framework for UML
Chapter 14
Ana Isabel Cardoso, Peter Kokol, Mitja Lenic, Rui Gustavo Crespo
This chapter analyses current problems in the management of software evolution and argues the need to use the Chaos Theory to model software... Sample PDF
Complexity-Based Evaluation of the Evolution of XML and UML Systems
Chapter 15
Patrick Tessier, Sébastien Gerard, François Terrier, Jean-Marc Geib
Time-to-market is one of the most severe constraints imposed on today’s software engineers. The increasing complexity of systems has also shortened... Sample PDF
Variability Expression within the Context of UML: Issues and Comparisons
About the Authors