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