Araçlar
Dar kapsamlı yetenekler açık giriş ve çıkış sözleşmeleriyle çalışır.
ILAIOS, aynı işi güvenilir biçimde deterministik bir araç yapabiliyorsa gereksiz model kararını azaltacak şekilde tasarlanır.
Dar kapsamlı yetenekler açık giriş ve çıkış sözleşmeleriyle çalışır.
Çok adımlı operasyonlar gözlemlenebilir durum geçişleriyle koordine edilir.
Model yeteneği gerektiğinde kullanılır; sistem otoritesinin yerine geçmez.