Ruby와 Event Sourcing을 활용한 반응형 시스템 구축: Cidurial과 Sourced 라이브러리

도메인 모델링을 엔티티 구조가 아닌 '명령(Command)'과 '이벤트(Event)' 중심의 워크플로우로 재정의하여 시스템 복잡도를 관리한다.

🔗 원문 보기

Concurrent MetateM - A language for modelling reactive systems
(1993) : Fisher, Michael
DOI: https://doi.org/10.1007/3-540-56891-3_15
#MAS #logic #reactive_systems #temporal_logic #concurrency #METATEM #my_bibtex

Concurrent MetateM - A language for modelling reactive systems
(1993) : Fisher, Michael
DOI: https://doi.org/10.1007/3-540-56891-3_15
#logic #reactive_systems #METATEM #concurrency #MAS #temporal_logic #my_bibtex

Concurrent MetateM - A language for modelling reactive systems
(1993) : Fisher, Michael
DOI: https://doi.org/10.1007/3-540-56891-3_15
#METATEM #MAS #reactive_systems #temporal_logic #concurrency #logic #my_bibtex

Model Checking
(2001) : Merz, Stephan
DOI: https://doi.org/10.1007/3-540-45510-8_1
#temporal_logic #reactive_systems #transition_system #model_checking #needham_schroeder #my_bibtex

Concurrent MetateM - A language for modelling reactive systems
(1993) : Michael Fisher
DOI: https://doi.org/10.1007/3-540-56891-3_15
#MAS #METATEM #concurrency #logic #reactive_systems #temporal_logic
#my_bibtex