Description: 1. Integrating Operational Specification with Performance Modeling.- 1.1. Introduction.- 1.2. Design Methodology Supporting Model-Continuity.- 1.3. Integrated Simulation of Statecharts and ADEPT.- 1.4. Functional Timing.- 1.5. Performance Annotation.- 1.6. Conformance.- 1.7. Results.- 1.8. Summary and Conclusions.- Appendix A:.- Appendix B: ADEPT.- Appendix C: VHDL.- Appendix D: Implementation of Methodology.- 2. A System-Level Performance Model and Method.- 2.1. Introduction.- 2.2. Objective of System Performance Modeling.- 2.3. Related Works.- 2.4. Presentation of the Method.- 2.5. Criteria and Qualities of a Performance Model.- 2.6. Main Concepts of the MCSE Performance Model.- 2.7. Description of the Structural Model.- 2.8. Description of the Behavioral Model.- 2.9. Performance Modeling Process: an Illustrative Example.- 2.10. Performance Evaluation with VHDL.- 2.11. Comparison with Other Models.- 2.12. Benefits of our Approach.- 2.13. Conclusions.- 3. A View of Information Modelling.- 3.1. Information Modelling.- 3.2. The Anatomy of an Information Model.- 3.3. Syntactic versus Semantic Modelling.- 3.4. Modelling Issues.- 3.5. Building a Model of 2D Euclidean Space.- 3.6. Model Validation.- 3.7. Qualitative versus Quantitative Navigation.- 3.8. Building a Model of Time.- 3.9. Modelling Perspectives.- 3.10. Model Hierarchies.- 3.11. Integrating Models.- 3.12. Applications.- 3.13. Conclusions.- Appendix A: Validating the Space Model.- Appendix B: Validating the Time Model.- 4. A Methodology for the Specification of Transformations between Information Models.- 4.1. Introduction.- 4.2. Related Work.- 4.3. Express.- 4.4. The Core Model Methodology.- 4.5. Information Models of CFI and EDIF.- 4.6. A Core Model for EDIF and CFI.- 4.7. Conclusions.- 5. Modeling Design Data and Design Processes in the PLAYOUT Cad Framework.- 5.1. Introduction.- 5.2. Product Model.- 5.3. Task Model.- 5.4. Flow Model.- 5.5. Combining Data and Process Management.- 5.6. Conclusions.

Please Wait