SpecVerseFundamentals

Example 01-01: Basic model definition with attributes

Version: 1.0.0 Generated: 2025-09-29T17:21:55.606Z

Table of Contents

Models

Product

Simple product with basic attributes

Attributes

NameTypeRequiredUniqueDescription idUUID✓ nameString✓ summaryString priceMoney✓ inStockBooleanDefault: true categoryString✓ contactEmailEmail

Behaviors

attachProfile

Attach a profile to this model instance

Parameters:

  • profileName: String (required)

    • Returns: Boolean

    Preconditions:

  • Profile exists and is compatible with this model

    • Postconditions:

  • Profile is attached
  • Profile attributes are available
    • detachProfile

    Detach a profile from this model instance

    Parameters:

  • profileName: String (required)

    • Returns: Boolean

    Preconditions:

  • Profile is currently attached

    • Postconditions:

  • Profile is detached
  • Profile attributes are no longer available
    • hasProfile

    Check if a profile is attached to this model instance

    Parameters:

  • profileName: String (required)

    • Returns: Boolean

    ---