ridm@nrct.go.th   ระบบคลังข้อมูลงานวิจัยไทย   รายการโปรดที่คุณเลือกไว้

ข้อกำหนดรูปนัยเพื่อทวนสอบแผนภาพกิจกรรมของกระแสกระบวนการ

หน่วยงาน จุฬาลงกรณ์มหาวิทยาลัย

รายละเอียด

ชื่อเรื่อง : ข้อกำหนดรูปนัยเพื่อทวนสอบแผนภาพกิจกรรมของกระแสกระบวนการ
นักวิจัย : เจริญศักดิ์ นาคงาม
คำค้น : ธุรกิจ -- การประมวลผลข้อมูล , ซอฟต์แวร์ -- การควบคุมคุณภาพ , ดีเอสแอล (ภาษาคอมพิวเตอร์) , 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.