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