Luận văn thạc sĩ VNU UET 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ĩ VNU UET 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ĩ VNU UET 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 that this thesis titled, ‘Methods for modeling and verifying event-driven systems’ and the work presented in it arc Luận văn thạc sĩ VNU UET 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 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 jointly with others, 1 have mad Luận văn thạc sĩ VNU UET 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 e 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:Date:AbLuận văn thạc sĩ VNU UET 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
stractModding and verification plays an import ant role in software engineering because it improves the reliability of software systems. Software deveDeclaration of AuthorshipIdeclare that this thesis titled, ‘Methods for modeling and verifying event-driven systems’ and the work presented in it arc Luận văn thạc sĩ VNU UET 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 different suit able approaches to verify its correctness. Among t hese architectures, the field of event-driven architecture 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 effective met Luận văn thạc sĩ VNU UET 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 hods for modeling and verification of event-driven systems that, react to emitted events using Event-Condition-Action (ECA) rules and Fuzzy If-Then ruLuận văn thạc sĩ VNU UET 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
les. This thesis considers the particular characteristics and the special issues attaching with specific types such as database and context-aware systDeclaration of AuthorshipIdeclare that this thesis titled, ‘Methods for modeling and verifying event-driven systems’ and the work presented in it arc Luận văn thạc sĩ VNU UET 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 iggers by proposing a set of rules for translat ing database elements to Event-B const ructs. After t he modeling, we can formally check t he data constraint preservation property and detect the infinite loops of the system.Second, the thesis proposes a method which employs Event-B refinement for in Luận văn thạc sĩ VNU UET 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 crementally modeling and verifying context-aware systems which also use ECA rules t o adapt the context situation changes. Context constraints preservLuận văn thạc sĩ VNU UET 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
ation arc proved automatically with the Rodin tool.Third, the thesis works further on modeling event -driven systems whose behavior is specified by FuDeclaration of AuthorshipIdeclare that this thesis titled, ‘Methods for modeling and verifying event-driven systems’ and the work presented in it arc Luận văn thạc sĩ VNU UET 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 we make use of Event-B refinement and existing reasoning methods to verify both safety and event uality properties of imprecise systems requirements.AcknowledgementsFirst of all, 1 would like to express my sincere gratitude to my first supervisor Assoc. Prof. Dr. Truong Ninh Thuan and my second supe Luận văn thạc sĩ VNU UET 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 rvisor Assoc. Prof. Pham Bao Son for their support and guidance. They not only teach me how to conduct research work but also show me how to find passLuận văn thạc sĩ VNU UET 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
ion on science.Besides my supervisors, I also would like to thank Assoc. Prof. Dr. Nguyen Viet Ila and lecturers at Software Engineering department foDeclaration of AuthorshipIdeclare that this thesis titled, ‘Methods for modeling and verifying event-driven systems’ and the work presented in it arc Luận văn thạc sĩ VNU UET 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 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 then unconditio Luận văn thạc sĩ VNU UET 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 nal support in every aspect. I would not complete the thesis without their encouragement.iiiContentsDeclaration of AuthorshipiAbstractiiAcknowledgemenLuận văn thạc sĩ VNU UET 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
tsiiiTabic of ContentsivList of AbbreviationsviiiList of TablesixList of FiguresX1Introduction11.1Motivation..........................................Declaration of AuthorshipIdeclare that this thesis titled, ‘Methods for modeling and verifying event-driven systems’ and the work presented in it arc Luận văn thạc sĩ VNU UET 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 .4Contributions................................................. 101.5'Thesis structure............................................. IIDeclaration of AuthorshipIdeclare that this thesis titled, ‘Methods for modeling and verifying event-driven systems’ and the work presented in it arcGọi ngay
Chat zalo
Facebook