Trace-Based Verification of Rule-Based Service Choreographies. - Moschoyiannis, Sotiris; Maglaras, Leandros; Manaf, Nurulhuda A. (2018)