Luận văn thạc sĩ methods for modeling and verifying event driven systems= phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Luận văn thạc sĩ methods for modeling and verifying event driven systems= phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện
Luận văn thạc sĩ methods for modeling and verifying event driven systems= phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện
Declaration of AuthorshipIdeclare lhal I llis thesis tilled. ‘Methods lor modeling and verifying event-driven systems' and I he work presented in it a Luận văn thạc sĩ methods for modeling and verifying event driven systems= phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiệnare my own. I confirm that:■ I have acknowledged all main sources of help. Where I have quoted from the work of others, the source Is always given. With the exception of such quotations, this thesis is entirely my own work.■Where the thesis is based on work done; by myself joint ly with others, I ha Luận văn thạc sĩ methods for modeling and verifying event driven systems= phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiệnve made clear exactly what was done by others and what I have contributed myself.■This work was done wholly while in studying for a PhD degreeSigned:DLuận văn thạc sĩ methods for modeling and verifying event driven systems= phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện
ale:AbstractModeling and verification plays an imporl.anl role in soft ware engineering because it improves I he reliability of soft ware systems. SofDeclaration of AuthorshipIdeclare lhal I llis thesis tilled. ‘Methods lor modeling and verifying event-driven systems' and I he work presented in it a Luận văn thạc sĩ methods for modeling and verifying event driven systems= phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiệnromised wit h different suitable approaches to verify its correctness. Among these architectures, the field of event-driven architcctiưc is broad in both academia and industry resulting the amount of work on modeling and verification of event-driven systems.The goals of this thesis are to propose ef Luận văn thạc sĩ methods for modeling and verifying event driven systems= phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiệnfective methods for modeling and verification of event-driven systems that react to emitted events using Event-Condition-Act ion (ECA) rules and FuzzyLuận văn thạc sĩ methods for modeling and verifying event driven systems= phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện
If-Then rules. This thesis considers the particular characteristics and the special issues attaching with specific types such as database and contextDeclaration of AuthorshipIdeclare lhal I llis thesis tilled. ‘Methods lor modeling and verifying event-driven systems' and I he work presented in it a Luận văn thạc sĩ methods for modeling and verifying event driven systems= phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiệnncluding triggers by proposing a set of rules for translating datalia.se elements to Event'll const Diets. After the modeling, we can formally check the data constraint preservation property and detect the infinite loops of the system.Second, the thesis proposes a method which employs Event-B refine Luận văn thạc sĩ methods for modeling and verifying event driven systems= phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiệnment for incrementally modeling and verifying context-aware systems which also use ECA rules to adapt the context sit uation changes. Context constraiLuận văn thạc sĩ methods for modeling and verifying event driven systems= phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện
nts preservation are proved automatically wit h the itodin tool.Third, (fie thesis works further on modeling event-driven systems whose behavior is spDeclaration of AuthorshipIdeclare lhal I llis thesis tilled. ‘Methods lor modeling and verifying event-driven systems' and I he work presented in it a Luận văn thạc sĩ methods for modeling and verifying event driven systems= phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiệnnts.Finally, we make use of Evcnl-B refinement and existing reasoning methods to verify both safety and eventuality properties of imprecise systems requirements.AcknowledgementsFirst of all. I would like to express my sincere gratitude to my first supervisor Assoc. Prof. Dr. Truong Ninh Thuan and my Luận văn thạc sĩ methods for modeling and verifying event driven systems= phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện second supervisor Assoc. Prof. Pham Bao Son for then support mid guidance. They not only teach me how to conduct research work but also show Hie howLuận văn thạc sĩ methods for modeling and verifying event driven systems= phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện
1.0 find passion on science.Besides my supervisors, I also would like to thank Assoc. Prof. Dr. Nguyen Viet Ha and lecturers at Software Engineering dDeclaration of AuthorshipIdeclare lhal I llis thesis tilled. ‘Methods lor modeling and verifying event-driven systems' and I he work presented in it a Luận văn thạc sĩ methods for modeling and verifying event driven systems= phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện during my internship research at National Institute of Informatics. Japan.My sincere thanks also goes to Hanoi University of Mining and Geology and my colleges there for their support during my PhD study.Last but not least, I would like to thank my family: my parents, my wife, my children for their Luận văn thạc sĩ methods for modeling and verifying event driven systems= phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện unconditional support in every aspect. I would nut complete the thesis without their encouragement.iiiContentsDeclaration of AuthorshipiAbstractiiAckLuận văn thạc sĩ methods for modeling and verifying event driven systems= phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện
nowledgementsiiiTable of ContentsivList of AbbreviationsviiiList of TablesixList of FiguresX1Introduction11.1Motivation...............................Declaration of AuthorshipIdeclare lhal I llis thesis tilled. ‘Methods lor modeling and verifying event-driven systems' and I he work presented in it a Luận văn thạc sĩ methods for modeling and verifying event driven systems= phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện........ 71.4Contributions................................................. 101.5Thesis structure.............................................. 11Declaration of AuthorshipIdeclare lhal I llis thesis tilled. ‘Methods lor modeling and verifying event-driven systems' and I he work presented in it aGọi ngay
Chat zalo
Facebook