sanjanasahayaraj / choreography-realizability-decomposition-re Goto Github PK
View Code? Open in Web Editor NEWWeb Service Choreography Realizability is checked by decomposing Regular Expressions. The global specification/ RE is checked for conformance, amended if needed and then projected onto local REs.