You are previewing Theory and Application of Multi-Formalism Modeling.
O'Reilly logo
Theory and Application of Multi-Formalism Modeling

Book Description

With complex systems and complex requirements being a challenge that designers must face to reach quality results, multi-formalism modeling offers tools and methods that allow modelers to exploit the benefits of different techniques in a general framework intended to address these challenges. Theory and Application of Multi-Formalism Modeling boldly explores the importance of this topic by gathering experiences, theories, applications, and solutions from diverse perspectives of those involved with multi-formalism modeling. Professionals, researchers, academics, and students in this field will be able to critically evaluate the latest developments and future directions of multi-formalism research.

Table of Contents

  1. Cover
  2. Title Page
  3. Copyright Page
  4. Book Series
  5. Editorial Advisory Board and List of Reviewers
    1. Editorial Advisory Board
    2. List of Reviewers
  6. Preface
  7. Section 1: Methodology and Problems
    1. Chapter 1: An Introduction to Multiformalism Modeling
      1. ABSTRACT
      2. INTRODUCTION
      3. DEFINITIONS
      4. MAIN ISSUES
      5. THE MODELING LEVEL
      6. THE SOLUTION LEVEL
      7. THE RESULTS LEVEL
      8. A REVIEW OF LITERATURE
    2. Chapter 2: Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling
      1. ABSTRACT
      2. FORMAL MODELLING OF CRITICAL SYSTEMS
      3. ENABLING TECHNIQUES
      4. TOWARDS A COMPREHENSIVE MODELLING METHODOLOGY
      5. THE MARTE AND MARTE-DAM PROFILES
      6. THE REPAIRABLE FAULT TREE FORMALISM
      7. AN EXAMPLE FROM AUTOMATION DOMAIN
      8. CONCLUSION AND FUTURE WORK
    3. Chapter 3: Towards a Multi-Formalism Multi-Solution Framework for Model-Driven Performance Engineering
      1. ABSTRACT
      2. INTRODUCTION
      3. BACKGROUND
      4. M2M FRAMEWORK FOR MDPE
      5. CONCLUSION AND FUTURE WORK
    4. Chapter 4: Multi-Modeling, Meta-Modeling, and Workflow Languages
      1. ABSTRACT
      2. INTRODUCTION
      3. BACKGROUND
      4. MODELING, MULTI-MODELING,AND META-MODELING
      5. MULTI-MODELING WORKFLOWS
      6. APPLICATION TO A DOMAIN: DRUG INTERDICTION
      7. CONCLUSION
    5. Chapter 5: Multiformalism Modeling Compositionality in SIMTHESys
      1. ABSTRACT
      2. INTRODUCTION
      3. BACKGROUND
      4. STATE OF THE ART
      5. CASE STUDY
      6. FUTURE RESEARCH DIRECTIONS
      7. CONCLUSION
    6. Chapter 6: A Meta-Model-Based Approach to the Definition of the Analysis Results of Petri-Net Models
      1. ABSTRACT
      2. INTRODUCTION
      3. BACKGROUND
      4. META-MODEL AND MODEL-TO-TEXT MAPPING
      5. FUTURE RESEARCH DIRECTIONS
      6. CONCLUSION
  8. Section 2: Exploiting Multiformalism: Tool Design Experiences
    1. Chapter 7: A Petri Net-Based Tool for the Analysis of Generalized Continuous Time Bayesian Networks
      1. ABSTRACT
      2. INTRODUCTION
      3. BACKGROUND
      4. A CASE STUDY
      5. INVOLVED FORMALISMS
      6. METHODOLOGIES IMPLEMENTED IN THE SOFTWARE TOOL
      7. SOFTWARE TOOL ARCHITECTURE
      8. VERIFYING INFERENCE RESULTS ON THE DBN MODEL
      9. FUTURE RESEARCH DIRECTIONS
      10. CONCLUSION
    2. Chapter 8: GPA
      1. ABSTRACT
      2. 1 INTRODUCTION
      3. 2 BACKGROUND
      4. 3 POPULATION MODEL DEFINITION AND ANALYSIS IN GPA
      5. 4 SOLVING PCTMC MODELS IN GPA
      6. 5 FUTURE GPA EXTENSIONS
      7. 6 CONCLUSION
    3. Chapter 9: A Symbolic Approach to the Analysis of Multi-Formalism Markov Reward Models
      1. ABSTRACT
      2. 1 INTRODUCTION
      3. 2 BACKGROUND MATERIAL
      4. 3 SCHEME FOR CONSTRUCTING A CTMC FROM ITS MULTI-FORMALISM MODEL DESCRIPTION
      5. 4 SCHEME FOR THE ZDD-BASED HANDLING OF PERFORMANCE VARIABLES
      6. 5 CONCLUSION
    4. Chapter 10: Designing User-Defined Modeling Languages with SIMTHESys
      1. ABSTRACT
      2. INTRODUCTION
      3. ORGANIZATION OF SIMTHESYS LANGUAGES
      4. DEFINING LOW LEVEL FORMALISMS WITH SIMTHESYS
      5. DEFINING HIGH LEVEL FORMALISMS WITH SIMTHESYS
      6. DEFINING BRIDGE FORMALISMS FOR MULTIFORMALISM MODELS IN SIMTHESYS
      7. CONCLUSION
    5. Chapter 11: A Unified Modelling and Operational Framework for Fault Detection, Identification, and Recovery in Autonomous Spacecrafts
      1. ABSTRACT
      2. INTRODUCTION
      3. BACKGROUND
      4. BASIC NOTIONS ABOUT DFT, DBN, JT
      5. A CASE STUDY
      6. MODELLING AND OPERATIONAL FRAMEWORK
      7. FUTURE RESEARCH AND DIRECTIONS
      8. CONCLUSION
  9. Section 3: Applying Multiformalism: Case Studies
    1. Chapter 12: A Model-Driven Methodology to Evaluate Performability of Metro Systems
      1. ABSTRACT
      2. INTRODUCTION
      3. MODEL DRIVEN METHODOLOGY
      4. METRO MODELING LANGUAGE (MML)
      5. SYSTEM FORMAL MODEL (SM)
      6. MML TO SM TRANSFORMATION
      7. CONCLUSION
  10. Compilation of References
  11. About the Contributors