Invariant - Templat SelfDrivingVehicle yang tetap tidak berubah di semua subtipe yaitu Urutan di mana ia mengeksekusi perilaku yang ditimpa untuk mencapai tujuan.
Mari Asumsikan satu metode lagi di sini
-List<SelfDrivingVehicle> vehicles
+Add(SelfDrivingVehicle vehicle)
vehicles.add(vehicle)
Prekondisi - SelfDriveVehicle Tipe Dasar tidak memiliki kendaraan di dalamnya (di sini konteksnya adalah Tambah) dan Prasyaratnya yang Melemah yang tidak dapat diubah oleh salah satu sub jenisnya dengan mengubah kendaraan properti dan Memperkuatnya Secara Eksplisit. Sub jenis apa pun hanya dapat memanggil Tambah.
Postcondition - Setelah Add dipanggil, Base Type dalam Postcondition yang diperkuat yang tidak dapat dilemahkan oleh sub tipe dengan mengubah nilai kendaraan.
Keadaan Tipe Basis kembali ke Keadaan semula setelah Tambah Perilaku dipanggil.