| ชื่อเรื่อง | : | ข้อกำหนดรูปนัยเพื่อทวนสอบแผนภาพกิจกรรมของกระแสกระบวนการ |
| นักวิจัย | : | เจริญศักดิ์ นาคงาม |
| คำค้น | : | ธุรกิจ -- การประมวลผลข้อมูล , ซอฟต์แวร์ -- การควบคุมคุณภาพ , ดีเอสแอล (ภาษาคอมพิวเตอร์) , Business -- Data processing , Computer software -- Quality control , DSL (Computer program language) , Domain-specific programming languages |
| หน่วยงาน | : | จุฬาลงกรณ์มหาวิทยาลัย |
| ผู้ร่วมงาน | : | ญาใจ ลิ่มปิยะกรณ์ , จุฬาลงกรณ์มหาวิทยาลัย. คณะวิศวกรรมศาสตร์ |
| ปีพิมพ์ | : | 2554 |
| อ้างอิง | : | http://cuir.car.chula.ac.th/handle/123456789/35877 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2554 ภาษาจำเพาะโดเมนหรือดีเอสแอล คือ ภาษาข้อกำหนดที่อยู่ในรูปแบบของข้อความหรือแบบจำลองที่ถูกออกแบบโดยเฉพาะเจาะจงสำหรับโดเมนปัญหาหนึ่งๆ งานวิจัยนี้ได้สร้างภาษาอธิบายการกระทำ หรือเอดีแอล ซึ่งจัดอยู่ในประเภทภาษาจำเพาะโดเมน เพื่อป้องกันมโนทัศน์ที่ผิดและความไม่ตรงกันของพฤติกรรมในแผนภาพกิจกรรม นอกจากนี้ ยังได้พัฒนาวิธีการอิงวัตถุสำหรับการสร้างแผนภาพกิจกรรมบนบทคำสั่งเอดีแอล โดยหลังจากการแจงส่วนบทคำสั่งเอดีแอล แบบจำลองความหมายจะถูกสร้างขึ้นบนพื้นฐานของเอดีแอลเมทาโมเดล วิธีการที่นำเสนอสามารถสร้างแผนภาพกิจกรรมได้อย่างถูกต้อง เริ่มต้นจากการสกัดข้อมูลจากแต่ละแอ็คชั่น แล้วตรวจจับหาความสัมพันธ์ระหว่างวัตถุในการกำหนดบัพควบคุมต่างๆ ได้แก่ บัพแยก บัพรวม บัพตัดสินใจ บัพผสาน บัพเริ่มต้น บัพหยุดสายงาน และบัพหยุดกิจกรรม แนวทางที่นำเสนอยังได้จัดสร้างกฎตรวจสอบความสมเหตุสมผลสำหรับเอดีแอลเพื่อป้องกันความไม่ตรงกันของข้อมูลและพฤติกรรมในแผนภาพกิจกรรม รวมทั้งกฎการทวนสอบเพื่อให้แผนภาพถูกสร้างขึ้นอย่างถูกต้องตามข้อกำหนดมากยิ่งขึ้น |
| บรรณานุกรม | : |
เจริญศักดิ์ นาคงาม . (2554). ข้อกำหนดรูปนัยเพื่อทวนสอบแผนภาพกิจกรรมของกระแสกระบวนการ.
กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย. เจริญศักดิ์ นาคงาม . 2554. "ข้อกำหนดรูปนัยเพื่อทวนสอบแผนภาพกิจกรรมของกระแสกระบวนการ".
กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย. เจริญศักดิ์ นาคงาม . "ข้อกำหนดรูปนัยเพื่อทวนสอบแผนภาพกิจกรรมของกระแสกระบวนการ."
กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย, 2554. Print. เจริญศักดิ์ นาคงาม . ข้อกำหนดรูปนัยเพื่อทวนสอบแผนภาพกิจกรรมของกระแสกระบวนการ. กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย; 2554.
|
