Table of Contents

• List of Figures
• List of Tables
• I. A Quick Tour of Systems Modeling with SysML v2
  • 1. Modeling the State Structure of a System
  • 2. Tutorial: Modeling the State Structure of a Home with SysML v2
  • 3. Modeling the Dynamics of a System
  • 4. Tutorial: Modeling the Discrete Dynamics of an Organization with SysML v2
  • 5. Tutorial: Modeling the Continuous Dynamics of a Home with SysML v2
  • 6. Ontological Considerations
• II. The Kernel Modeling Language (KerML)
  • 7. Introduction
    • 7.1. Overview
    • 7.2. What's New or Different Compared to UML
    • 7.3. Namespaces, Packages and Imports
  • 8. The Core Concepts
    • 8.1. Types
    • 8.2. Classifiers
    • 8.3. Features
    • 8.4. Open Questions
  • 9. Semantics
    • 9.1. A Standard Model-Theoretic Semantics of Simple KerML Models
  • 10. Modeling the State Structure of a System
    • 10.1. Data Types
    • 10.2. Occurrence Types ("Classes")
    • 10.3. Object Types ("Structures")
    • 10.4. Associations
    • 10.5. Connectors and Bindings
    • 10.6. Open Questions
  • 11. Computation as Action
    • 11.1. Functions
    • 11.2. Expressions and Invariants
  • 12. Modeling the Dynamics of a System
    • 12.1. Action Types ("Behaviors"), Steps and Successions
    • 12.2. Interaction Types and Flow Properties
    • 12.3. Open Questions
  • 13. Predefined Elements
    • 13.1. The Context Variables Self, That and This
    • 13.2. Occurrences
• III. The Systems Modeling Language (SysML)
  • 14. Modeling the State Structure of a System
    • 14.1. Attributes, Data Types and Enumerations
    • 14.2. Quantity Values and Quantity Types
    • 14.3. Items and Parts
    • 14.4. Property Value Relationships
    • 14.5. Connections and Bindings
    • 14.6. Ports and Interfaces
    • 14.7. Individual Types
  • 15. Modeling the Dynamics of a System
    • 15.1. Action Types and Action Properties
      • 15.1.1. Initiating an Action with Perform
      • 15.1.2. Sequencing Action Steps with Successions
      • 15.1.3. Coordinating Action Steps with Control Nodes
      • 15.1.4. Sending and Receiving Signals
      • 15.1.5. Structured Programming with Actions
    • 15.2. State Machines
    • 15.3. Flows
    • 15.4. Open Questions
  • 16. Functions, Constraints and Requirements
    • 16.1. Functions ("Calculation Definitions") and Constraints
    • 16.2. Requirements
    • 16.3. Checking Requirements with Verification Cases
  • 17. Modeling System Variants with Variation Points
  • 18. Metadata
  • 19. Using Generative AI in Modeling
  • 20. Tools
• Appendices
  • A. KerML's Root Layer
  • B. Previous Work on Which KerML is Built or That Influenced It
  • C. Do Objects Persist or Happen over Time?
  • D. Physical Interactions
  • E. Frequently Asked Questions (FAQ)
  • F. Questionnaire on the "Definitions and Usages" Terminology of SysML v2
  • G. Glossary
  • H. Excerpts
• Bibliography
• Index