การทวนสอบแบบจำลองการวิเคราะห์สำหรับโปรแกรมระบบวัตถุพร้อมทำงานเชิงโครงสร้าง

สุวิช ถิระโคตร

Please use this identifier to cite or link to this item: https://cuir.car.chula.ac.th/handle/123456789/10509

Full metadata record

DC Field	Value	Language
dc.contributor.advisor	พรศิริ หมื่นไชยศรี	-
dc.contributor.author	สุวิช ถิระโคตร	-
dc.contributor.other	จุฬาลงกรณ์มหาวิทยาลัย. คณะวิศวกรรมศาสตร์	-
dc.date.accessioned	2009-08-26T02:10:37Z	-
dc.date.available	2009-08-26T02:10:37Z	-
dc.date.issued	2545	-
dc.identifier.isbn	9740302793	-
dc.identifier.uri	http://cuir.car.chula.ac.th/handle/123456789/10509	-
dc.description	วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2545	en
dc.description.abstract	งานวิจัยนี้มีจุดมุ่งหมายเพื่อนำเสนอการทวนสอบแบบจำลองการวิเคราะห์สำหรับโปรแกรมระบบวัตถุพร้อมทำงาน ซึ่งเป็นระบบที่วัตถุต่างๆ ภายในระบบทำงานพร้อมๆ กัน โดยไม่ต้องรอรับคำร้องขอจากวัตถุอื่นๆ แบบจำลองการวิเคราะห์สำหรับระบบวัตถุพร้อมทำงานประกอบด้วยแผนภาพยูสเคส แผนภาพคลาส และแผนภาพสเตทชาร์ตแบบเพิ่มเติม ในงานวิจัยนี้ผู้วิจัยได้สร้างระบบวัตถุพร้อมทำงานเชิงรูปนัย แอกเซียมสำหรับระบบวัตถุพร้อมทำงาน เพื่อใช้สำหรับทวนสอบแบบจำลองการวิเคราะห์สำหรับระบบวัตถุพร้อมทำงาน ผู้วิจัยได้ทดลองการทวนสอบแบบจำลองการวิเคราะห์สำหรับระบบวัตถุพร้อมทำงานกับตัวอย่างระบบ 3 ตัวอย่างคือระบบเครื่องปรับอากาศ ระบบสัญญาณไฟจราจร และระบบการปรับระดับความดังเสียงโทรทัศน์ ผลที่ได้คือระบบตัวอย่างได้ผลการวิเคราะห์ระบบที่ถูกต้อง	en
dc.description.abstractalternative	The objective of this research is to present the verification of analysis models for Structural Active-Object System (SAOS). A SAOS program is an object-oriented program that is structurally and hierarchically constructed from a collection of active objects. The analysis models for modeling an active object system consist of a use case diagram, a class diagram and extended statechart diagrams. In this research, SAOS is formalized and axiom of analysis models for active object system is created. The researcher tests this verification of analysis models for SAOS by verifying three systems examples which are the air-condition system, the traffic light system and the television volume-adjusting system. The result of testing of all example analysis models are valid.	en
dc.format.extent	945377 bytes	-
dc.format.mimetype	application/pdf	-
dc.language.iso	th	es
dc.publisher	จุฬาลงกรณ์มหาวิทยาลัย	en
dc.rights	จุฬาลงกรณ์มหาวิทยาลัย	en
dc.subject	วิธีเชิงวัตถุ (วิทยาการคอมพิวเตอร์)	en
dc.subject	การโปรแกรมเชิงวัตถุ	en
dc.title	การทวนสอบแบบจำลองการวิเคราะห์สำหรับโปรแกรมระบบวัตถุพร้อมทำงานเชิงโครงสร้าง	en
dc.title.alternative	Verification of analysis models for structural active-object system programs	en
dc.type	Thesis	es
dc.degree.name	วิทยาศาสตรมหาบัณฑิต	es
dc.degree.level	ปริญญาโท	es
dc.degree.discipline	วิทยาศาสตร์คอมพิวเตอร์	es
dc.degree.grantor	จุฬาลงกรณ์มหาวิทยาลัย	en
dc.email.advisor	Pornsiri.m@chula.ac.th	-
Appears in Collections:	Eng - Theses

Files in This Item:

File	Description	Size	Format
suwich.pdf		923.22 kB	Adobe PDF	View/Open

Show simple item record