Digital Library[ Search Result ]
Case Studies and Trends in Data Reproduction and Distributed Processing using Event Sourcing and CQRS Pattern
Sangkon Han, Jung-in Choi, Gyun Woo
http://doi.org/10.5626/JOK.2020.47.12.1101
The amounts of information collected in areas such as V2X, artificial intelligence, and self-driving are increasing rapidly every year. It is important to collect, process, and store heterogeneous data. This is because the amounts of relevant data have increased rapidly and the types and formats of those data have diversified. Event sourcing, which is a way to store a whole set of events about changing the state of a system or an application through some set of events, enables an event-driven design based on messages, and also enables the restoration and reproduction of the state of a system or an application. Combined with CQRS (Command and Query Responsibility Segmentation), a pattern that separates queries and commands, the characteristics of event sourcing can be utilized for a distributed system architecture for large data processing, as well as systems and applications for data analysis and debugging using reproducibility of the state of event sourcing. This paper introduces the cases and research contents on data reproduction and dispersal processing using event sourcing.
Formal Model Design for Network and Operating System Behaviors in Real-time Distributed System Verification with Coq
http://doi.org/10.5626/JOK.2020.47.11.1071
Improving the safety and reliability of distributed systems using formal verification methods is an urgent problem. As many of these distributed systems are safety-critical, such as medical or avionics systems, failures of these systems may cause catastrophic results. However, applying formal verification to distributed systems requires not only execution semantics in software, but also behavioral models of the environments, including the operating systems and network involved. We designed a formal abstract model of network and operating system behaviors with the Coq proof assistant. This model consists of local-site execution semantics that model a single computer, the composition of these local-site semantics along with a message exchange model constitutes the global system semantics. We applied and tested this model to verify its applicability when used in a simple server-client system. We expect this model to be used in the verification of practical systems.
Search
Journal of KIISE
- ISSN : 2383-630X(Print)
- ISSN : 2383-6296(Electronic)
- KCI Accredited Journal
Editorial Office
- Tel. +82-2-588-9240
- Fax. +82-2-521-1352
- E-mail. chwoo@kiise.or.kr