Atur cara mengikut xsd2als.sf.net

Model XML Schema dokumen dalam logik pesanan pertama menggunakan Aloi untuk menjana input ujian untuk aplikasi dan membuktikan kekangan mengenai dokumen.