Transforms Class to Formal Specification By Object-Z
Article Sidebar
Main Article Content
Abstract
this paper presents an example for transforming class symbol in class diagram to formal specification using z-notation and object-Z. In class symbol, there are three parts in class. Each part of given class transforms to each section of Object-Z model. To sum up, the result is found that transform class to formal specification by z-notation and object-Z is possible as show in this paper.
บทความนี้นำเสนอตัวอย่างของการเปลี่ยนสัญลักษณ์คลาสในแผนภาพคลาสเป็นรายละเอียดแบบเป็น ทางการด้วยการใช้สัญลักษณ์ซีด และวัตถุแบบซีด ในการสร้าง แผนภาพคลาส มีการกำหนดสัญลักษณ์ที่ใช้เป็นตัวแทนของ คลาส สัญลักษณ์ที่ใช้เป็นตัวแทนของคลาสจะถูกแยกออกเป็น สามส่วน แต่ละส่วนของสัญลักษณ์คลาสจะถูกนำไปเปลี่ยนเป็น แต่ละส่วนที่อยู่ในวัตถุแบบซีด เมื่อดำเนินการจนครบจะได้วัตถุ แบบซีดที่สอดคล้องกับสัญลักษณ์คลาสในแผนภาพคลาส
Article Details
It is the policy of ACTISNU to own the copyright to the published contributions on behalf of the interests of ACTISNU, its authors, and their employers, and to facilitate the appropriate reuse of this material by others. To comply with the Copyright Law, authors are required to sign an ACTISNU copyright transfer form before publication. This form, a copy of which appears in this journal (or website), returns to authors and their employers full rights to reuse their material for their own purposes.