共 50 条
- [1] Flexible and Reliable Messaging using Runtime Monitoring 2009 13TH ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS (EDOCW 2009), 2009, : 116 - +
- [2] Dynamic Choreographies Safe Runtime Updates of Distributed Applications COORDINATION MODELS AND LANGUAGES, COORDINATION 2015, 2015, 9037 : 67 - 82
- [3] A runtime monitoring and validation framework for Web service interactions 2006 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2006, : 70 - +
- [4] Monitoring Service Choreographies 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2011,
- [7] Governance Policies for Verification and Validation of Service Choreographies WEB INFORMATION SYSTEMS AND TECHNOLOGIES, WEBIST 2012, 2013, 140 : 86 - 102
- [9] Reversible Choreographies via Monitoring in Erlang DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS (DAIS 2018), 2018, 10853 : 75 - 92