ข้อกำหนดรูปนัยเพื่อทวนสอบแผนภาพกิจกรรมของกระแสกระบวนการ
วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2554
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Theses and Dissertations |
| Language: | Thai |
| Published: |
จุฬาลงกรณ์มหาวิทยาลัย
2013
|
| Subjects: | |
| Online Access: | http://cuir.car.chula.ac.th/handle/123456789/35877 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Chulalongkorn University |
| Language: | Thai |
| id |
th-cuir.35877 |
|---|---|
| record_format |
dspace |
| spelling |
th-cuir.358772013-09-11T08:44:47Z ข้อกำหนดรูปนัยเพื่อทวนสอบแผนภาพกิจกรรมของกระแสกระบวนการ Formal specification for verifying activity diagram of process flow เจริญศักดิ์ นาคงาม ญาใจ ลิ่มปิยะกรณ์ จุฬาลงกรณ์มหาวิทยาลัย. คณะวิศวกรรมศาสตร์ ธุรกิจ -- การประมวลผลข้อมูล ซอฟต์แวร์ -- การควบคุมคุณภาพ ดีเอสแอล (ภาษาคอมพิวเตอร์) Business -- Data processing Computer software -- Quality control DSL (Computer program language) Domain-specific programming languages วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2554 ภาษาจำเพาะโดเมนหรือดีเอสแอล คือ ภาษาข้อกำหนดที่อยู่ในรูปแบบของข้อความหรือแบบจำลองที่ถูกออกแบบโดยเฉพาะเจาะจงสำหรับโดเมนปัญหาหนึ่งๆ งานวิจัยนี้ได้สร้างภาษาอธิบายการกระทำ หรือเอดีแอล ซึ่งจัดอยู่ในประเภทภาษาจำเพาะโดเมน เพื่อป้องกันมโนทัศน์ที่ผิดและความไม่ตรงกันของพฤติกรรมในแผนภาพกิจกรรม นอกจากนี้ ยังได้พัฒนาวิธีการอิงวัตถุสำหรับการสร้างแผนภาพกิจกรรมบนบทคำสั่งเอดีแอล โดยหลังจากการแจงส่วนบทคำสั่งเอดีแอล แบบจำลองความหมายจะถูกสร้างขึ้นบนพื้นฐานของเอดีแอลเมทาโมเดล วิธีการที่นำเสนอสามารถสร้างแผนภาพกิจกรรมได้อย่างถูกต้อง เริ่มต้นจากการสกัดข้อมูลจากแต่ละแอ็คชั่น แล้วตรวจจับหาความสัมพันธ์ระหว่างวัตถุในการกำหนดบัพควบคุมต่างๆ ได้แก่ บัพแยก บัพรวม บัพตัดสินใจ บัพผสาน บัพเริ่มต้น บัพหยุดสายงาน และบัพหยุดกิจกรรม แนวทางที่นำเสนอยังได้จัดสร้างกฎตรวจสอบความสมเหตุสมผลสำหรับเอดีแอลเพื่อป้องกันความไม่ตรงกันของข้อมูลและพฤติกรรมในแผนภาพกิจกรรม รวมทั้งกฎการทวนสอบเพื่อให้แผนภาพถูกสร้างขึ้นอย่างถูกต้องตามข้อกำหนดมากยิ่งขึ้น A domain specific language or DSL is a specification language in textual format or model that is dedicated to a particular problem domain. In this research, the action description language or ADL, which is a domain specific language, has been invented to prevent misconception and inconsistencies of behaviors residing activity diagrams. Additionally, the object-based method has been developed for diagram generation with the underlying ADL scripts. Once the ADL script has been parsed, the semantic model is created based on the ADL metamodel. Starting from extracting data from actions, then detecting object relations to determine the controls, the proposed method could properly construct the activity diagram, which contains all control nodes including fork, join, decision, merge, initial, flow final and activity final. The approach also establishes the validation rules for ADL to prevent the activity diagram from inconsistent data and behaviors, as well as the verification rules to promote conformance to specifications. 2013-09-11T08:44:47Z 2013-09-11T08:44:47Z 2554 Thesis http://cuir.car.chula.ac.th/handle/123456789/35877 th จุฬาลงกรณ์มหาวิทยาลัย application/pdf จุฬาลงกรณ์มหาวิทยาลัย |
| institution |
Chulalongkorn University |
| building |
Chulalongkorn University Library |
| country |
Thailand |
| collection |
Chulalongkorn University Intellectual Repository |
| language |
Thai |
| topic |
ธุรกิจ -- การประมวลผลข้อมูล ซอฟต์แวร์ -- การควบคุมคุณภาพ ดีเอสแอล (ภาษาคอมพิวเตอร์) Business -- Data processing Computer software -- Quality control DSL (Computer program language) Domain-specific programming languages |
| spellingShingle |
ธุรกิจ -- การประมวลผลข้อมูล ซอฟต์แวร์ -- การควบคุมคุณภาพ ดีเอสแอล (ภาษาคอมพิวเตอร์) Business -- Data processing Computer software -- Quality control DSL (Computer program language) Domain-specific programming languages เจริญศักดิ์ นาคงาม ข้อกำหนดรูปนัยเพื่อทวนสอบแผนภาพกิจกรรมของกระแสกระบวนการ |
| description |
วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2554 |
| author2 |
ญาใจ ลิ่มปิยะกรณ์ |
| author_facet |
ญาใจ ลิ่มปิยะกรณ์ เจริญศักดิ์ นาคงาม |
| format |
Theses and Dissertations |
| author |
เจริญศักดิ์ นาคงาม |
| author_sort |
เจริญศักดิ์ นาคงาม |
| title |
ข้อกำหนดรูปนัยเพื่อทวนสอบแผนภาพกิจกรรมของกระแสกระบวนการ |
| title_short |
ข้อกำหนดรูปนัยเพื่อทวนสอบแผนภาพกิจกรรมของกระแสกระบวนการ |
| title_full |
ข้อกำหนดรูปนัยเพื่อทวนสอบแผนภาพกิจกรรมของกระแสกระบวนการ |
| title_fullStr |
ข้อกำหนดรูปนัยเพื่อทวนสอบแผนภาพกิจกรรมของกระแสกระบวนการ |
| title_full_unstemmed |
ข้อกำหนดรูปนัยเพื่อทวนสอบแผนภาพกิจกรรมของกระแสกระบวนการ |
| title_sort |
ข้อกำหนดรูปนัยเพื่อทวนสอบแผนภาพกิจกรรมของกระแสกระบวนการ |
| publisher |
จุฬาลงกรณ์มหาวิทยาลัย |
| publishDate |
2013 |
| url |
http://cuir.car.chula.ac.th/handle/123456789/35877 |
| _version_ |
1681413182362484736 |