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. Example: The Business Process of Renting Hotel Rooms
• II. The Kernel Modeling Language
  • 5. Introduction
    • 5.1. Overview
    • 5.2. What's New or Different Compared to UML
  • 6. The Core Concepts
    • 6.1. Types
    • 6.2. Classifiers
    • 6.3. Features
    • 6.4. Open Questions
  • 7. Semantics
    • 7.1. A Standard Model-Theoretic Semantics of Simple KerML Models
  • 8. Modeling the State Structure of a System
    • 8.1. Data Types
    • 8.2. Occurrence Types ("Classes")
    • 8.3. Object Types ("Structures")
    • 8.4. Associations
    • 8.5. Connectors and Bindings
    • 8.6. Open Questions
  • 9. Modeling the Dynamics of a System
    • 9.1. Action Types ("Behaviors"), Steps and Successions
    • 9.2. Functions and Expressions
    • 9.3. Interactions
    • 9.4. Open Questions
  • 10. Predefined Elements
    • 10.1. The Indexical Variables self, that and this
    • 10.2. Occurrences
• III. The Systems Modeling Language
  • 11. Modeling the State Structure of a System
    • 11.1. Attributes and Enumerations
    • 11.2. Items and Parts
    • 11.3. Property Value Relationships
    • 11.4. Connections and Bindings
    • 11.5. Ports and Interfaces
  • 12. Modeling the Dynamics of a System
    • 12.1. Action Types and Action Steps
      • 12.1.1. Initiating an Action with Perform
      • 12.1.2. Sequencing Action Steps with Successions
      • 12.1.3. Coordinating Action Steps with Control Nodes
      • 12.1.4. Computational Actions
      • 12.1.5. Sending and Receiving Signals
    • 12.2. States
    • 12.3. Open Questions
  • 13. Modeling System Variants with Variation Points
  • 14. Quantity Values and Quantity Types
  • 15. Metadata
  • 16. 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. Frequently Asked Questions (FAQ)
  • E. Questionnaire on the "Definitions and Usages" Terminology of SysML v2
  • F. Excerpts
• Bibliography
• Index