For example, by applying the Typed FSA (Finite State Automata) theory to web service design, three types of WSDL interfaces and relations were derived for Type II asynchronous event notification.
ตัวอย่างเช่นการพิมพ์ FSA (แบบจำกัดของรัฐกลายเป็นจักรกล)ทฤษฎีที่การออกแบบเว็บบริการสาม ประเภท ของความสัมพันธ์และการอินเตอร์เฟซติดตั้งแฟ้ม Google WSDL นั้นได้มาจากการแจ้งเตือนสำหรับ Type II เหตุการณ์แบบอะซิงโครนัส