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

การกำหนดความสัมพันธ์ของไดอะแกรมภาษา UML โดยใช้ทฤษฎีโปรแกรมเชิงประกาศสำหรับ XMI/XML เป็นพื้นฐาน

หน่วยงาน สำนักงานกองทุนสนับสนุนการวิจัย

รายละเอียด

ชื่อเรื่อง : การกำหนดความสัมพันธ์ของไดอะแกรมภาษา UML โดยใช้ทฤษฎีโปรแกรมเชิงประกาศสำหรับ XMI/XML เป็นพื้นฐาน
นักวิจัย : เอกวิชญ์ นันทจีวรวัฒน์
คำค้น : Declarative Descriptions , Deduction , Knowledge Representation , Knowledge-Base Systems , Software Engineering , UML , XML , การจัดเก็บความรู้ , การนิรนัย , ระบบฐานความรู้ , วิศวกรรมซอฟท์แวร์ , โปรแกรมเชิงประกาศ
หน่วยงาน : สำนักงานกองทุนสนับสนุนการวิจัย
ผู้ร่วมงาน : -
ปีพิมพ์ : 2545
อ้างอิง : http://elibrary.trf.or.th/project_content.asp?PJID=PDF4380031 , http://research.trf.or.th/node/650
ที่มา : -
ความเชี่ยวชาญ : -
ความสัมพันธ์ : -
ขอบเขตของเนื้อหา : -
บทคัดย่อ/คำอธิบาย :

วัตถุประสงค์ของโครงการเพื่อสร้างองค์ความรู้ใหม่สำหรับการจัดเก็บความรู้ และการ อนุมาน เกี่ยวกับแบบจำลองของระบบงานที่สร้างขึ้นในภาษา Unified Modeling Language (UML) โดยใช้ทฤษฎีโปรแกรมเชิงประกาศสำหรับ Extensible Markup Language (XML) เป็น พื้นฐาน ไดอะแกรม UML ประเภทต่างๆ ในแบบจำลองของระบบงาน จะถูกนำไปจัดเก็บในฐาน ความรู้ในลักษณะของข้อมูลในรูปแบบ XML ส่วนความรู้เกี่ยวกับความสัมพันธ์ระหว่างไดอะแก รมประเภทต่างๆ จะถูกจัดเก็บในลักษณะของกฎเกณฑ์ในรูปแบบของ Definite Clause สำหรับ XML โดยจะใช้การประมวลผลแบบสมมูลเป็นกลไกหลักในการนิรนัยและการอนุมานเกี่ยวกับ เนื้อหาของฐานความรู้ วิธีการสำหรับการจัดเก็บความรู้ และการนิรนัย เกี่ยวกับแบบจำลองของระบบงานที่ เขียนขึ้นในภาษา UML ได้ถูกเสนอขึ้นบนรากฐานของทฤษฎีโปรแกรมเชิงประกาศสำหรับ XML โดยมีการนำ XML Document Type Definition (DTD) ที่ถูกกำหนดขึ้นโดย XML Metadata Interchange Format (XMI) มาใช้เป็นมาตรฐานในการจัดเก็บไดอะแกรมต่างๆ และได้มีการ แสดงอย่างชัดเจนถึงการใช้ Definite Clause สำหรับ XML ในการจัดเก็บความสัมพันธ์ระหว่าง ส่วนประกอบของไดอะแกรมและกฎเกณฑ์ทั่วไปในโดเมนของ UML รวมถึงมีการแสดงการนำ วิธีการที่เสนอขึ้นไปประยุกต์ใช้ในการจัดเก็บกฎเกณฑ์การสร้างโครงสร้างฐานข้อมูลแบบ สัมพันธ์ (Relational Database Schema) จากแบบจำลองระบบงานที่อยู่ในรูปของ UML ต้น แบบของระบบฐานความรู้ได้ถูกพัฒนาขึ้นเพื่อการทดสอบขั้นพื้นฐาน เป็นที่คาดหวังว่าวิธีการที่เสนอขึ้นนี้จะนำไปประยุกต์ใช้ได้ กับงานทางด้านการจัดเก็บ กฎเกณฑ์การสร้างโปรแกรมประยุกต์จากแบบจำลองระบบงาน และงานทางด้านการตรวจสอบ ความถูกต้องสอดคล้องของแบบจำลองระบบงาน นอกจากนี้ยังมีความเป็นไปได้ที่จะนำวิธีการ นี้ไปประยุกต์ใช้ร่วมกับวิธีการอื่นๆที่ใช้อยู่ในซอฟท์แวร์สำหรับช่วยการพัฒนาแบบจำลองระบบ งานต่างๆ เนื่องจากซอฟท์แวร์เหล่านี้ส่วนใหญ่สามารถอ่าน และบันทึกแบบจำลองระบบงานใน รูปแบบ XMI/XML Objective of this study is to establish a foundation for representing knowledge and reasoning in the domain of UML based on XML declarative descriptions. Graphical diagrams in a UML model are encoded as XML elements, which are regarded as facts about a specific problem instance in a knowledge base, and the general knowledge in the UML domain, such as inherent interrelationships among diagram components and implicit properties of diagrams, is represented as a set of XML definite clauses. Equivalent transformation is employed as the underlying compu- tation mechanism for reasoning with the represented diagrams. A framework for knowledge representation and reasoning in the domain of UML, based on XML Declarative Description Theory, is proposed. To represent UML diagrams in a standard way, the XML Document Type Definition (DTD) specified by XML Metadata Interchange Format (XMI), a technology recommended lately by the Object Management Group (OMG), is employed. Representation of general rules in the UML domain using XML definite clauses is demonstrated. The framework has been applied to the representation of transformation rules for generating relational database schemas from the static parts of UML models. A prototype UML knowledge-based system under the proposed framework has been developed and tested, and satisfactory results have been obtained. Since XMI/XML is becoming a standard textual representation of UML diagrams, it is expected that the presented framework has several promising applications, such as forward and reverse engineering, consistency verification of models, and automatic generation of database schemas. Integration of the proposed framework into other UML-based software modeling tools and techniques is also possible inasmuch as virtually every tool supporting UML is capable of reading and writing models in XMI format.

บรรณานุกรม :
เอกวิชญ์ นันทจีวรวัฒน์ . (2545). การกำหนดความสัมพันธ์ของไดอะแกรมภาษา UML โดยใช้ทฤษฎีโปรแกรมเชิงประกาศสำหรับ XMI/XML เป็นพื้นฐาน.
    กรุงเทพมหานคร : สำนักงานกองทุนสนับสนุนการวิจัย.
เอกวิชญ์ นันทจีวรวัฒน์ . 2545. "การกำหนดความสัมพันธ์ของไดอะแกรมภาษา UML โดยใช้ทฤษฎีโปรแกรมเชิงประกาศสำหรับ XMI/XML เป็นพื้นฐาน".
    กรุงเทพมหานคร : สำนักงานกองทุนสนับสนุนการวิจัย.
เอกวิชญ์ นันทจีวรวัฒน์ . "การกำหนดความสัมพันธ์ของไดอะแกรมภาษา UML โดยใช้ทฤษฎีโปรแกรมเชิงประกาศสำหรับ XMI/XML เป็นพื้นฐาน."
    กรุงเทพมหานคร : สำนักงานกองทุนสนับสนุนการวิจัย, 2545. Print.
เอกวิชญ์ นันทจีวรวัฒน์ . การกำหนดความสัมพันธ์ของไดอะแกรมภาษา UML โดยใช้ทฤษฎีโปรแกรมเชิงประกาศสำหรับ XMI/XML เป็นพื้นฐาน. กรุงเทพมหานคร : สำนักงานกองทุนสนับสนุนการวิจัย; 2545.