User Requirements Validation and Architecture Discovery through Use Case Invariants and Model Animation

User Requirements Validation and Architecture Discovery through Use Case Invariants and Model Animation

Boris Roussev (University of the Virgin Islands, USA) and Yvonna Rousseva (University of the Virgin Islands, USA)
Copyright: © 2006 |Pages: 42
DOI: 10.4018/978-1-59140-604-4.ch006
OnDemand PDF Download:
$37.50

Abstract

This work proposes a technique for requirements validation and logical structure discovery, compatible with evolutionary process models. The technique is based on a conservation law, called business value invariant, which quantifies the exchange of business objects between a system and its environment. With the invariant, the logical class structure of the designed system is algorithmically derived from its use case model. To validate that the modeled requirements and derived structure faithfully reflect the user requirements, the behavior of the constructed prototype is projected on the business objects exchanged on the system’s boundary, and the projected behavior is animated with a labeled transition system analyzer. The model animation approach explicitly describes the interface between the system and its environment, and through OCL pre- and post-conditions, it distinguishes between system and environment responsibilities. The animated prototype links the outwardly visible “interobject” behavior to the information structures and the behaviors of the comprising parts, or “intraobject” behavior. Unlike formal notations based on logic, the proposed approach does not preclude the owners of the problem from taking part in the problem-solving process, that is, the knowledge locked in the prototype can be validated. The proposed prototyping technique acts as a discursive communication instrument, bringing the worlds of clients and developers a step closer.

Complete Chapter List

Search this Book:
Reset
Table of Contents
Acknowledgments
Chapter 1
Boris Roussev
Object-orientation (OO) is a powerful design methodology, which has firmly moved into the mainstream of software development. In 2002, both the IEEE... Sample PDF
Object-Oriented Modeling in UML2
$37.50
Chapter 2
Boris Roussev
xUML epitomizes the convergence of visual modeling with model manipulation programming. The results of this merger are executable models and... Sample PDF
MDA with xUML: Model Construction and Process Management
$37.50
Chapter 3
Melissa L. Russ, John D. McGregor
Technologies such as aspect-oriented and generative programming bring new capabilities to object-oriented software development. They do not simply... Sample PDF
Management Planning in a Changing Development Environment
$37.50
Chapter 4
Boris Roussev
The change to Model-Driven Architecture (MDA) with Executable UML (xUML) results in changes to the existing object-oriented development practices... Sample PDF
MDA Design Space and Project Planning
$37.50
Chapter 5
Boris Roussev, Ram Akella
The combination of low labor costs, technological sophistication, project management skills, and successful software establishment makes India a... Sample PDF
Agile Outsourcing to India: Structure and Management
$37.50
Chapter 6
Boris Roussev, Yvonna Rousseva
This work proposes a technique for requirements validation and logical structure discovery, compatible with evolutionary process models. The... Sample PDF
User Requirements Validation and Architecture Discovery through Use Case Invariants and Model Animation
$37.50
Chapter 7
Gary Pollice
The Rational Unified Processâ, or RUPâ, and eXtreme Programming (XP) are two popular software development methodologies or processes. Most people... Sample PDF
RUP and eXtreme Programming: Complementing Processes
$37.50
Chapter 8
Jorn Bettin
This chapter addresses the question of how to successfully create durable and scalable software architectures that enable the underlying design... Sample PDF
Managing Complexity with MDSD
$37.50
Chapter 9
Gary K. Evans
The Rational Unified Processâ (RUP) is the de facto iterative software development process in use today. But it is huge (over 3,200 files)... Sample PDF
Agile RUP: Taming the Rational Unified Process
$37.50
Chapter 10
Magdy K. Serour
Although there are a large number of contemporary software development processes/methodologies available to assist and guide software professionals... Sample PDF
Planning and Managing the Human Factors for the Adoption and Diffusion of Object-Oriented Software Development Processes
$37.50
Chapter 11
Gerald N. Miller
There is little debate in either corporate or academic circles that Web services comprise a large part of the next technological wave. Clearly, Web... Sample PDF
Web Services in Service-Oriented Architectures
$37.50
Chapter 12
Juan D. Lara, Esther Guerra, Hans Vangheluwe
Since the beginning of computer science more than 50 years ago, software engineers have sought techniques resulting in higher levels of quality and... Sample PDF
Model-Based Development: Metamodeling, Transformation and Verification
$37.50
Chapter 13
Stefan Roock
Project controlling was not in the focus of agile methods like eXtreme Programming (XP, cf. Beck, 1999) for a long time. Since agile methods are... Sample PDF
Agile Project Controlling and Effort Estimation
$37.50
Chapter 14
Javier Garzas, Mario Piattini
In recent years different areas of knowledge related to the construction of object-oriented (OO) designs such as principles, heuristics, patterns... Sample PDF
Improving OO Design Process Using Rules, Patterns and Refactoring
$37.50
Chapter 15
Roger Knott, Vojtech Merunka, Jiri Polak
BORM (Business Object Relationship Modeling) is an object-oriented system development methodology, which has proven to be very effective in the... Sample PDF
The BORM Method: A Third Generation Object-Oriented Methodology
$37.50
About the Authors