Meta-Modeling Performance and Information Modeling / edited by Jean-Michel Bergé, Oz Levia, Jacques Rouillard.

Models in system design follow the general tendency in electronics in terms of size, complexity and difficulty of maintenance. While a model should be a manageable representation of a system, this increasing complexity sometimes forces current CAD-tool designers and model writers to apply modeling t...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Bergé, Jean-Michel (Editor), Levia, Oz (Editor), Rouillard, Jacques (Editor)
Format: eBook
Language:English
Published: New York, NY : Springer US : Imprint: Springer, 1996.
Edition:1st ed. 1996.
Series:Current Issues in Electronic Modeling, 6
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • 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.