Idea Group - Software Evolution with UML and XML
Table of Contents
BackCover
Software Evolution with UML and XML
Preface
Why These Three
How to Link These Three
References
Organisation of this Book
Chapter I: A Framework for Managing Consistency of Evolving UML Models
Current Support for UML Model Evolution
Inconsistency Management for UML Models: Our Solution
Motivating Example
Classification of Inconsistencies
Tool Support Based on Description Logics
Experiments
Conclusion
References
Chapter II: Deriving Safety-Related Scenarios to Support Architecture Evaluation
Overview of the Safety-Related Scenario Derivation Process
Global Analysis
The Four-View System Decomposition
Utility Tree Construction and UML Modeling
Discussion and Future Work
References
Chapter III: A Unified Software Reengineering Approach towards Model Driven Architecture Environment
Related Work
Enabling Techniques
Understanding Legacy Systems
A Unified Software Reengineering Framework
A Unified Software Reengineering Process
Implementation of the Unified Software Reengineering Approach
A Case Study
Conclusion
References
Appendix
Chapter IV: Towards the Integration of a Formal Object-Oriented Method and Relational Unified Process
RUP and UML
Specification Notation
Specification of UML Models
Conclusion and Related Work
Acknowledgments
References
Chapter V: On the Co-Evolution of SSADM and the UML
Background
Data Structures and Data Descriptions
Entity Life Histories
Data Flow Diagrams
Future
Conclusion
References
Chapter VI: Software Evolution with XVCL
Overview of XVCL
Reengineering a PC-Based City Guide System into a Product Line
Related Work
Conclusions and Future Work
References
Endnotes
Appendix - Summary of Basic XVCL Commands
Chapter VII: UML- and XML-Based Change Process and Data Model Definition for Product Evolution
Background
A Distributed and Integrated Information System for Product Evolution
UML Process Model for Configuration Change Management
UML Metadata Model for Product Evolution
Evolution Process for In-Service Embedded Software
Conclusions and Future Work
Acknowledgment
References
Chapter VIII: Rapid Pattern-Oriented Scenario-Based Testing for Embedded Systems
Pattern-Oriented Work
Testing Process
Scenario Modeling
Completeness Analysis
Scenario Patterns, Verification Patterns, and Robustness Patterns
Robustness Patterns
Tool Support and Example
Evaluation of Verification Patterns
Scenario Patterns and Modeling Checking
Conclusion
References
Chapter IX: Developing a Software Testing Ontology in UML for a Software Growth Environment of Web-Based Applications
Background and Motivations
Ontology of Software Testing
Uses of the Software Testing Ontology
Conclusion
References
Appendix. XML Schema (XSD) Definition of XML Representation of the Ontology of Software Testing
Chapter X: Abstracting UML Behavior Diagrams for Verification
Verification of UML Statecharts
Abstracting for Verification
Transformation in UML
Abstracting UML/Statechart Events or Data Using XML
Future Work
Conclusion
Acknowledgments
References
Chapter XI: Support for Architectural Design and Re-Design of Embedded Systems
Architectural Design: A System-Level Approach
High-Level Simulation of Embedded Systems
Case Study: A Digital Cartographic System
Conclusion
References
Endnotes
Chapter XII: Describing and Extending Classes with XMI--An Industrial Experience
Background and Motivations
Describing and Extending Classes
From Classes to XML Documents
The Remote Proxy Concept
Model Element
Feature
Operation
Parameter
Future Trends
Conclusion
References
Index
Index_B
Index_C
Index_D
Index_E
Index_F
Index_G
Index_H
Index_I-J
Index_K
Index_L
Index_M
Index_N
Index_O
Index_P-Q
Index_R
Index_S
Index_T
Index_U
Index_V
Index_W
Index_X
Index_Y-Z
List of Figures
List of Tables
List of Definitions
American Eagle Coupons
Enterprise Coupon
Gap Coupons
Sears Coupon Codes