CQRS, ES, Scala @ Confitura 2012

1. CQRS, ES, Scala?

2. Maciek Próchniak
Topologia algebraiczna
TouK
Funktory
Monady
Drools
Camel
Servicemix
OSGi
Activiti
Scala
hocolim

4. ● System
● CQRS,ES - z lotu ptaka
● (Funkcyjny) model domeny
● Komunikacja
● Konsumenci zdarzeń
● Czy to się opłaca?

5. Wymagania

6. Alarmy
czujniki
pracownicy
korelacje długoterminowe
wzorce

7. Wydajność
Korelacje, przetwarzanie
Strumień danych (~300/sec)

8. Dane historyczne
Audyt
Raporty
Reagowanie na
zmiany

9. Raporty
http://www.flickr.com/photos/littlejohncollection/4325397661/sizes/l/in/photostream/

10. UI?

11. CRUD

12. Zadania

13. ● System
● CQRS,ES - z lotu ptaka
● (Funkcyjny) model domeny
● Komunikacja
● Konsumenci zdarzeń
● Czy to się opłaca?

14. CQS
Command
Query

15. CQRS
Komenda
Zapytanie
Model domeny
Model odczytu

16. Event Sourcing
CommentAdded
OrderConfirmed

17. Event Sourcing

18. CQRS + ES
Komenda
Zapytanie
Model domeny
Model odczytu
Zdarzenia

19. Architektura z lotu ptaka

20. domena
log zdarzeń raporty
modele odczytu
korelacje

21. A co jeśli...?

22. Będzie zbyt dużo zdarzeń?
Snapshoty
Zmieni się format zdarzeń?
Migracja logu danych
Modyfikacje w locie

23. Model do odczytu "popsuje się"?
Odtwarzamy z logu zdarzeń
Potrzebujemy nowych modeli?
Tworzymy z logu zdarzeń

24. ● System
● CQRS,ES - z lotu ptaka
● (Funkcyjny) model domeny
● Komunikacja
● Konsumenci zdarzeń
● Czy to się opłaca?

25. domena
log zdarzeń raporty
modele odczytu
korelacje

26. dane w pamięci
jeden wątek
docelowo: użycie STM
Repozytorium

27. Teraz będzie Scala
Zamknij oczy i myśl o Anglii
Javie

29. Domena funkcyjna
?

30. Agregat
reguły
biznesowe
transakcje
spójność
dostęp
zachowanie

31. Niezmienialne agregaty
?

32. Event Sourcing

33. domena
log zdarzeń raporty
modele odczytu
korelacje

34. class Update[A,E] {
val aggregate : A
val event : E
}
trait EventHandler {
def handle(update:Update[_,_])
}

35. Zachowanie a zmiana stanu
NO BEHAVIOR in state changing methods, no
conditional logic, no exceptions
- Greg Young

36. class Order {
//zachowania
def confirm() : List[DomainEvent]
def addLine(productId:UID):
List[DomainEvent]
//brak logiki
def apply(event:DomainEvent):Order
}

37. Encje jako ADT - case class
case class Order(id:String,
lines:List[OrderLine]){
def addOrderLine(line:OrderLine)=
def confirm() = ...
def cancel() = ...
}

38. Bonus - FSM

39. Bonus - FSM
case class PreOrder(...) extends Order {
def confirm : OrderConfirmed
def apply(e:OrderConfirmed) :
ConfirmedOrder
}
case class ConfirmedOrder(..) extends
Order {
def send() : OrderSent
}

40. Bonus - testy
When did you read test to assure sth
hasn't happened?
- Greg Young

41. Bonus - testy
//given
AlarmCreated, AlarmAckonwledged
//when
clearAlarm
//then
AcknowledgedAlarmCleared

42. Walidacja

43. Walidacja
if (total < 0) {
throw ValidationError("Not enough");
}
if (total < 0) {
validationErrors.add("Not enough");
}
if (validationErrors.size() > 0) {
fail()...
}

44. Walidacja
if (total < 0) {
throw ValidationError("Not enough");
}
if (total < 0) {
validationErrors.add("Not enough");
}
if (validationErrors.size() > 0) {
fail()...
}

45. Walidacja bez wyjątków
Never throw an exception of my own
- Joel Spolsky

46. Walidacje - przykład kodu
Funktor walidacji
scalaz.Validation[Error,_]
//przykładowa metoda
nonEmpty(val:String) : Validation[Error,
String]

47. Walidacje - przykład kodu
?
Error("empty.name")
for {
name <- nonEmpty(command.name)

48. Walidacje - przykład kodu
for {
name <- nonEmpty(command.name)
size <- geq(0, command.size)
?
Error("negative.size")

49. Walidacje - przykład kodu
for {
name <- nonEmpty(command.name)
size <- geq(0, command.size)
} yield addCompany(name,size)
?
Error("bad.company")

50. Walidacje - przykład kodu
for {
name <- nonEmpty(command.name)
size <- geq(0, command.size)
} yield addCompany(name,size)
?
CompanyAdded(...)

51. Walidacja bez wyjątków
Non-breaking error handling is just an
applicative functor on a partially applied disjoint
union type constructor with semigroup error
elements so what's the big deal?!
- Tony Morris

52. Domena funkcyjna
● Oddzielenie stanu od zachowania
● Testowalność
● Dostęp do technik funkcyjnych
● Zrównoleglanie

53. ● System
● CQRS,ES - z lotu ptaka
● (Funkcyjny) model domeny
● Komunikacja
● Konsumenci zdarzeń
● Czy to się opłaca?

54. domena
log zdarzeń raporty
modele odczytu
korelacje

55. Aktor
skrzynka
wiadomości
stan
hierarchie

57. Akka

58. Co ze spójnością w GUI?

59. Akka - komponowanie przyszłości
actorRef ! message
actorRef ? message : Future

60. Akka - komponowanie przyszłości

61. Akka - komponowanie przyszłości

62. Akka - komponowanie przyszłości

63. ● System
● CQRS,ES - z lotu ptaka
● (Funkcyjny) model domeny
● Komunikacja
● Konsumenci zdarzeń
● Czy to się opłaca?

64. domena
log zdarzeń raporty
modele odczytu
korelacje

65. Modele odczytu
Don’t pay an American developer to do
this!!!
- Greg Young

66. SELECT * from CUSTOMER LEFT JOIN
PRODUCT ...

67. Skąd brać dane?
WarehouseView
DeviceConnected

68. Skąd brać dane - zdarzenia
OldWarhouseId
WarehouseView

69. Skąd brać dane - inny model
WarehouseView
DeviceView

70. Skąd brać dane - ten sam model
WarehouseView
deviceIds

71. ● System
● CQRS,ES - z lotu ptaka
● (Funkcyjny) model domeny
● Komunikacja
● Konsumenci zdarzeń
● Czy to się opłaca?

72. każdy System jest
bardziej CRUDowy
niż się to początkowo wydaje

73. CQRS na poziomie
autonomicznych serwisów

74. czy klient rozumie
koszty i ograniczenia
?

75. EventSourcing

76. EventSourcing
+
Scala
+
Akka

77. EventSourcing
+
Scala
+
Akka

78. Literatura
● Debasish Gosh - http://debasishg.blogspot.
com/
● Martin Krasser - http://krasserm.blogspot.
com/
● Greg Young
● Udi Dahan - http://www.udidahan.com

79. Dzięki

80. ● http://www.gettyicons.com/free-icons/112/must-have/png/256/cancel_256.png
● http://www.softicons.com/free-icons/web-icons/free-icon-set-by-eclipse-saitex/user-icon
● http://www.flickr.com/photos/littlejohncollection/4325397661/sizes/l/in/photostream/
● http://www.flickr.com/photos/alainpicard/4175215457/sizes/m/in/photostream/
● http://www.flickr.com/photos/squeakychu/5793070401/sizes/m/in/photostream/
● http://upload.wikimedia.org/wikipedia/commons/thumb/7/73/God2-Sistine_Chapel.png/800px-
God2-Sistine_Chapel.png