Table of Contents
            Introduction
            Perspectives
                    Overview
            Detailed Assertions
            Responsibilities


Introduction:

---

A small model to provide a simple example of assertion modeling basics.

The example shows 4 stakeholders(authorities). Each make decisions that are transmitted to other stakeholders.

Domain Summary:
A classic year 2000 corner video store with a 1000 vhs tapes.


Designer Note: Some details are not included to keep the model simple.
The intent of the model is to encourage understanding and form an example model that can prepopulate trial versions.
This includes a 'physical assertion' where the 'statement' is emitted by making changes in a physical environment.
All the assertions in this example are manual (their border is orange in the perspective diagrams).
Current Status is UNDER DEVELOPMENT.




Version: V04           Modeler: RL


Perspectives

---

Perspectives provide a good way of isolating various business concerns out of the fully aligned business model itself.




  Overview

---

This shows all the assertions in the Video Store Example
ModelNote



      A001       A002       A003       A004       A005       A006       A007       A008                   Diagram Name is: PI_7d903c0b-a177-4279-8e51-6921af2d0f35.png


Assertions

---

Assertions Tables of Contents
By SpecID: A001 - SelectDVD A002 - Check Out VHS A003 - ReceivePayment A004 - ReturnDVD A005 - Provide Availability A006 - Provide Rental Policy A007 - Provide Fee Schedule A008 - AssessReturnCondition	By Name: A008 - AssessReturnCondition A002 - Check Out VHS A005 - Provide Availability A007 - Provide Fee Schedule A006 - Provide Rental Policy A003 - ReceivePayment A004 - ReturnDVD A001 - SelectDVD	By Date Created: A008 - AssessReturnCondition A002 - Check Out VHS A005 - Provide Availability A007 - Provide Fee Schedule A006 - Provide Rental Policy A003 - ReceivePayment A004 - ReturnDVD A001 - SelectDVD

Details for each assertion including its frame .
A001 - SelectDVD

SelectDVD null Updated: Mon Mar 23 2026 07:16:50 GMT-0700 (Pacific Daylight Time)	Top Authority: Customer Automatic: null Activity Type: null
Sizing         Hours to comlete: 0.5     Why: null         Yearly Repeat: 0.5   Why: null Information Management        A001 creates Standard Information Other Information Sources (ad hoc): null	Specification (business rules) : null UI Function : null Modeling Status: null ModelNote: Requires DVD availability information (stock status, condition) to inform decision.

Inputs: from: A005 Provide Availability - From A005 -Provide Availability StockStatus BOOLEAN Indicates if the DVD is available for rental prototype value: tbd ConditionStatus STRING Indicates if the DVD is in good condition prototype value: tbd

Out DVDTitle STRING Title of the DVD selected by the customer prototype value: tbd DVDGenre STRING Genre of the selected DVD prototype value: tbd To: A002 Check Out VHS

A004 - ReturnDVD

ReturnDVD null Updated: Thu Dec 18 2025 06:55:51 GMT-0800 (Pacific Standard Time)	Top Authority: Customer Automatic: null Activity Type: null
Sizing         Hours to comlete: 0.25     Why: null         Yearly Repeat: 0.25   Why: null Information Management        A004 creates Standard Information Other Information Sources (ad hoc): null	Specification (business rules) : null UI Function : null Modeling Status: null ModelNote: Requires condition assessment and late fee policy information to inform decision.

Inputs: from: A002 Check Out VHS from: A008 AssessReturnCondition - From A002 -Check Out VHS RentalDate DATE Date the DVD is checked out prototype value: tbd From A008 -AssessReturnCondition ReturnCondition STRING Condition of DVD upon return prototype value: tbd LateFeePolicy STRING Policy for calculating late fees prototype value: tbd

Out ReturnDate DATE Date the DVD is returned prototype value: tbd LateFee CURRENCY Fee applied if DVD is returned late prototype value: tbd

A002 - Check Out VHS

Check Out VHS The renter is fully identified and has paid Updated: Mon Mar 23 2026 06:29:44 GMT-0700 (Pacific Daylight Time)	Top Authority: Store Clerk Automatic: null Activity Type: ASSESSMENT
Sizing         Hours to comlete: 0.25     Why: null         Yearly Repeat: 0.25   Why: null Information Management        A002 creates Standard Information Other Information Sources (ad hoc): null	Specification (business rules) : null UI Function : null Modeling Status: null ModelNote: Requires rental policy information (rental duration, due date rules) to inform decision.

Inputs: from: A001 SelectDVD from: A006 Provide Rental Policy - From A001 -SelectDVD DVDTitle STRING Title of the DVD selected by the customer prototype value: tbd DVDGenre STRING Genre of the selected DVD prototype value: tbd From A006 -Provide Rental Policy RentalDuration INTEGER Number of days allowed for rental prototype value: tbd DueDateRule STRING Rule for calculating due date prototype value: tbd

Out RentalDate DATE Date the DVD is checked out prototype value: tbd To: A003 ReceivePayment To: A004 ReturnDVD

A003 - ReceivePayment

ReceivePayment null Updated: Thu Dec 18 2025 06:55:51 GMT-0800 (Pacific Standard Time)	Top Authority: Store Clerk Automatic: null Activity Type: null
Sizing         Hours to comlete: 0.25     Why: null         Yearly Repeat: 0.25   Why: null Information Management        A003 creates Standard Information Other Information Sources (ad hoc): null	Specification (business rules) : null UI Function : null Modeling Status: null ModelNote: Requires rental fee schedule information to determine correct amount.

Inputs: from: A002 Check Out VHS from: A007 Provide Fee Schedule - From A002 -Check Out VHS RentalDate DATE Date the DVD is checked out prototype value: tbd From A007 -Provide Fee Schedule FeeSchedule STRING Schedule of rental fees by DVD type or duration prototype value: tbd

Out RentalFee CURRENCY Amount charged for rental prototype value: tbd PaymentMethod STRING Type of payment received (cash, card, etc.) prototype value: tbd

A005 - Provide Availability

Provide Availability VHS tapes are racked, ordered and visible. Updated: Mon Mar 23 2026 06:49:17 GMT-0700 (Pacific Daylight Time)	Top Authority: Inventory Clerk Automatic: null Activity Type: CONFIGURATION
Sizing         Hours to comlete: 2     Why: null         Yearly Repeat: 300   Why: Performed each opening day Information Management        A005 creates Standard Information Other Information Sources (ad hoc): null	Specification (business rules) : Ensure all returned tapes are clean and operational and returned to the stacks in the correct categories and in order. UI Function : null Modeling Status: INIT ModelNote: This assertion can be considered as an excellent example of physical assertion. The racks can be considered as a searchable, but physical, storage function.

Inputs: -

Out StockStatus BOOLEAN Indicates if the DVD is available for rental prototype value: tbd ConditionStatus STRING Indicates if the DVD is in good condition prototype value: tbd To: A001 SelectDVD

A008 - AssessReturnCondition

AssessReturnCondition null Updated: Thu Dec 18 2025 06:55:51 GMT-0800 (Pacific Standard Time)	Top Authority: Inventory Clerk Automatic: null Activity Type: null
Sizing         Hours to comlete: 0.25     Why: null         Yearly Repeat: 0.25   Why: null Information Management        A008 creates Standard Information Other Information Sources (ad hoc): null	Specification (business rules) : null UI Function : null Modeling Status: null ModelNote: Supplies condition assessment and late fee determination.

Inputs: -

Out ReturnCondition STRING Condition of DVD upon return prototype value: tbd LateFeePolicy STRING Policy for calculating late fees prototype value: tbd To: A004 ReturnDVD

A006 - Provide Rental Policy

Provide Rental Policy A set of policies on providing rentals to guide customers and staff in rental activities. Updated: Mon Mar 23 2026 06:28:05 GMT-0700 (Pacific Daylight Time)	Top Authority: Store Manager Automatic: null Activity Type: DECISION
Sizing         Hours to comlete: 2     Why: null         Yearly Repeat: 1   Why: Rental Policy is updated yearly Information Management        A006 creates   Corporate Record Information Other Information Sources (ad hoc): null	Specification (business rules) : Make statements about rules and agreements for renting, returning, managing rentals. UI Function : This is not supported by systems. Modeling Status: INIT ModelNote: Supplies rental rules for checkout.

Inputs: -

Out RentalDuration INTEGER Number of days allowed for rental prototype value: tbd DueDateRule STRING Rule for calculating due date prototype value: tbd To: A002 Check Out VHS

A007 - Provide Fee Schedule

Provide Fee Schedule A set of rules and amounts for rental periods, overdue periods, and lost tapes. Updated: Mon Mar 23 2026 06:37:50 GMT-0700 (Pacific Daylight Time)	Top Authority: Store Manager Automatic: null Activity Type: FINDING
Sizing         Hours to comlete: 2     Why: null         Yearly Repeat: 1   Why: Information Management        A007 creates Standard Information Other Information Sources (ad hoc): null	Specification (business rules) : Identify a set of rental situations where customer oversights are discouraged but not unreasonably charged. UI Function : null Modeling Status: INIT ModelNote: Supplies fee schedule for payment calculation. Like setting policy this is revised yearly. Occasionally a rental event may require immediate policy and fee adjustments to handle other potential disagreements.

Inputs: -

Out FeeSchedule STRING Schedule of rental fees by DVD type or duration prototype value: tbd To: A003 ReceivePayment

Responsibilities

---

Each Authority is responsible for a number assertions, some are determined manually, others are calculated automatically.

Calculate
Automatic assertions are determined from instructions specified by the Authority. Most often these instructions are business rules translated into scripts or code modules where they are implemented.

Determine
With manual assertions The Authority is guided by the Specification. but uses their own judgement, supplied information from other sources (inputs), or the experience expected of their profession. There may be automated support to augment these manual decisions, usually they asist searching and organizing the input information, and aid in the configuration and sequencing of the output.
The Specification describing how the assessment is determined or calculated is also shown in this report.

Authorities are not job descriptions for organizational positions, but they certainly are clear duties for the various Authority given to organizational positions. The list of Authorities is the list of Stakeholders. It spans the range of those who inform or will be informed by the model set of assertions.

Customer   Makes rental and return decisions
            Responsible to make the following determinations:

Determine
	A004 - ReturnDVD   ------ null
	A001 - SelectDVD   ------ null
Calculate

Store Clerk   Handles checkout and payment collection
            Responsible to make the following determinations:

Determine
	A002 - Check Out VHS   ------ null
	A003 - ReceivePayment   ------ null
Calculate

Inventory Clerk   Provides availability and condition assessments
            Responsible to make the following determinations:

Determine
	A008 - AssessReturnCondition   ------ null
	A005 - Provide Availability   ------ Ensure all returned tapes are clean and operational and returned to the stacks in the correct categories and in order.
Calculate

Store Manager   Defines rental policies and fee schedules
            Responsible to make the following determinations:

Determine
	A007 - Provide Fee Schedule   ------ Identify a set of rental situations where customer oversights are discouraged but not unreasonably charged.
	A006 - Provide Rental Policy   ------ Make statements about rules and agreements for renting, returning, managing rentals.
Calculate

Contribution Appendix for Model OldVid4