แจ้งเอกสารไม่ครบถ้วน, ไม่ตรงกับชื่อเรื่อง หรือมีข้อผิดพลาดเกี่ยวกับเอกสาร ติดต่อที่นี่ ==>
หากไม่มีอีเมลผู้รับให้กรอก thailis-noc@uni.net.th
หากไม่มีอีเมลผู้รับให้กรอก thailis-noc@uni.net.th
Wiwat Vatanawood . Formal specification synthesis using requirements particle networks. Doctoral Degree(Computer Engineering). Chulalongkorn University. : Chulalongkorn University, 2002.
Formal specification synthesis using requirements particle networks
การสังเคราะห์ข้อกำหนดรูปนัยโดยใช้เครือข่ายอนุภาคความต้องการ
Name: Wiwat Vatanawood
LCSH:
Computer software
-- Specifications
Othors:
Requirements particle networks
Abstract:
An alternative scheme to formal software specification is explicitly proposed. In our approach, a formal software specification is formally defined as a set of decision rules performed by a software system. We propose a set of graphical notations called Requirements Particle Network (RPN), to describe the essential preconditions and operations needed by a software system according to the decision rules. A RPN consists of a set of particles and edges to construct a visual model of a decision rule during the software analysis phase. In addition, a number of transformation rules are proposed to perform the formal specification synthesis. A set of predefined formal requirements particle definitions is written in prior and reused during the transformation steps. A developer is provided a practical mean to write a formal specification with a brief experience in mathematical background. In this research, we demonstrate the Z formal specification synthesis using RPN. The usability of the RPN approach is investigated by conducting a workshop. The result indicates that a developer with experience in writing data flow diagram is capable to produce a complete and consistent RPN. Moreover, we show a case study of applying RPN to construct a composite operation to be used in database applications
Abstract:
นำเสนอแผนการเขียนข้อกำหนดรูปนัยของซอฟต์แวร์โดยใช้กฏการตัดสินใจ ที่เกิดขึ้นในระบบเป็นตัวกำหนดข้อกำหนดซอฟต์แวร์ ผู้วิจัยได้นำเสนอสัญลักษณ์ทางกราฟิกที่เรียกว่า เครือข่ายอนุภาคความต้องการ (อาร์พีเอ็น) เพื่อใช้ในการอธิบายเงื่อนไขก่อนและการทำงานที่เป็นส่วนหลักและจำเป็น สำหรับระบบซอฟต์แวร์ที่กำหนดขึ้นด้วยกฏการตัดสินใจ เครือข่ายอาร์พีเอ็นประกอบด้วยกลุ่มของอนุภาคและเส้นเชื่อม เพื่อสร้างแบบจำลองเชิงภาพของกฏการตัดสินใจใดๆ ที่กำหนดขึ้นในช่วงการวิเคราะห์ระบบ งานวิจัยนี้ได้นำเสนอกฏการเปลี่ยนแปลงที่ใช้ในการสังเคราะห์ข้อกำหนดรูปนัย โดยมีโครงข้อกำหนดรูปนัยที่ได้รับการกำหนดขึ้นไว้แล้ว และนำมาใช้งานซ้ำได้อีกระหว่างขั้นตอนการสังเคราะห์ข้อกำหนดรูปนัย ข้อกำหนดรูปนัยที่เหมาะสมจะได้รับการสร้างขึ้นอย่างมีระบบ เพื่อสนองตอบผู้พัฒนาระบบที่มีความรู้พื้นฐานทางคณิตศาสตร์ไม่มาก นักผู้วิจัยได้สาธิตการกำหนดข้อกำหนดรูปนัยที่เขียนด้วยภาษาเซด โดยใช้แผนผังอาร์พีเอ็น การใช้งานของแผนผังอาร์พีเอ็นได้รับการตรวจสอบโดยจัดให้มีการสัมมนาเชิงปฏิบัติการ ผลลัพธ์ที่ได้บ่งชี้ว่าผู้พัฒนาระบบที่มีประสบการณ์ในการเขียน และใช้งานแผนผังการไหลข้อมูลแล้ว จะมีขีดความสามารถในการผลิตแผนผังอาร์พีเอ็นได้ครบถ้วนและมีความสอดคล้อง นอกจากนี้ผู้วิจัยได้แสดงกรณีศึกษาที่ใช้งานแผนผังอาร์พีเอ็น สำหรับกำหนดการทำงานแบบคอมโพสิท ที่ใช้งานในโปรแกรมประยุกต์ที่มีระบบฐานข้อมูลได้
Chulalongkorn University
Address:
กรุงเทพมหานคร (Bangkok)
Email:
cuir@car.chula.ac.th
Name: Wanchai Rivepiboon
Role:
Advisor
Created:
2002
Issued:
2005-11-18
Modified:
2006-08-03
วิทยานิพนธ์/Thesis
URL: http://thailis-db.car.chula.ac.th/CU_DC/June2005/Thesis/Wiwat.pdf
ISBN:
9741715323
eng
DegreeName: Doctor of Engineering
Level: Doctoral Degree
Descipline: Computer Engineering
Grantor: Chulalongkorn University
©copyrights Chulalongkorn University
RightsAccess:
ใช้เวลา
0.027437 วินาที
Wiwat Vatanawood
| Title | Contributor | Type |
|---|---|---|
| Formal specification synthesis using requirements particle networks
จุฬาลงกรณ์มหาวิทยาลัย Wiwat Vatanawood | Wanchai Rivepiboon | วิทยานิพนธ์/Thesis |
Wanchai Rivepiboon