วิทยานิพนธ์ฉบับนี้ได้นำเสนอแผนการเขียนข้อกำหนดรูปนัยของซอฟต์แวร์โดยใช้กฏการตัดสินใจที่เกิดขึ้นในระบบเป็นตัวกำหนดข้อกำหนดซอฟต์แวร์ ผู้วิจัยได้นำเสนอสัญลักษณ์ทางกราฟิกที่เรียกว่า เครือข่ายอนุาคความต้องการ (อาร์พีเอ็น) เพื่อใช้ในการอธิบายเงื่อนไขก่อนและการทำงานที่เป็นส่วนหลักและจำเป็นสำหรับระบบซอฟต์แวร์ที่กำหนดขึ้นด้วยกฏการตัดสินใจ เครือข่ายอาร์พีเอ็นประกอบด้วยกลุ่มของอนุภาคและเส้นเชื่อมเพื่อสร้างแบบจำลองเชิงภาพของกฏการตัดสินใจใด ๆ ที่กำหนดขึ้นในช่วงการวิเคราะห์ระบบ งานวิจัยนี้ได้นำเสนอกฏการเปลี่ยนแปลงที่ใช้ในการสังเคราะห์ข้อกำหนดรูปนัย โดยมีโครงข้อกำหนดรูปนัยที่ได้รับการกำหนดขึ้นไว้แล้วและนำมาใช้งานซ้ำได้อีกระหว่างขั้นตอนการสังเคราะห์ข้อกำหนดรูปนัย ข้อกำหนดรูปนัยที่เหมาะสมจะได้รับการสร้างขึ้นอย่างมีระบบเพื่อสนองตอบผู้พัฒนาระบบที่มีความรู้พื้นฐานทางคณิตศาสตร์ไม่มากนัก ผู้วิจัยได้สาธิตการกำหนดข้อกำหนดรูปนัยที่เขียนด้วยภาษาเซดโดยใช้แผนผังอาร์พีเอ็น การใช้งานของแผนผังอาร์พีเอ็นได้รับการตรวจสอบโดยจัดให้มีการสัมมนาเชิงปฏิบัติการ ผลลัพธ์ที่ได้บ่งชี้ว่าผู้พัฒนาระบบที่มีประสบการณ์ในการเขียนและใช้งานแผนผังการไหลข้อมูลแล้วจะมีขีดความสามารถในการผลิตแผนผังอาร์พีเอ็นได้ครบถ้วนและมีความสอดคล้อง นอกจากนี้ผู้วิจัยได้แสดงกรณีศึกษาที่ใช้งานแผนผังอาร์พีเอ็นสำหรับกำหนดการทำงานแบบคอมโพสิทที่ใช้งานในโปรแกรมประยุกต์ที่มีระบบฐานข้อมูลได้