Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing

P Poizat, F Zaïdi - 9th International Symposium on High …, 2012 - inria.hal.science
Choreography supports the specification, with a global perspective, of the interactions
between roles played by peers in a collaboration. Choreography conformance testing aims …
相关文章

Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing

P Poizat, F Zaïdi - 9th International Symposium on High-Assurance …, 2012 - hal.science
Choreography supports the specification, with a global perspective, of the interactions
between roles played by peers in a collaboration. Choreography conformance testing aims …