Sebuah tipe spesifikasi untuk arsitektur komputasi otonom yang mendefinisikan set disebutkan nilai misalnya untuk segmen data.