iAgree Studio: A Platform to Edit and Validate WS-Agreement Documents [Póster]

iAgree Studio: A Platform to Edit and Validate WS-Agreement Documents Carlos Müller, A. M. Gutiérrez, Manuel Resinas, P. Fernández, Antonio Ruiz-Cortés University of Seville (Spain) Powered by: iAgreeStudio ICSOC 2013 Demo Session Berlin, December 2013 www.isa.us.es References 1. C. Müller, M. Resinas, A. Ruiz-Cortés, “Automated Analysis of Conflicts in WS-Agreement” in IEEE Transactions on Services Computing 2013. 2. C. Müller, M. Oriol, X. Franch, J. Marco, M. Resinas, A. Ruiz-Cortés, M. Rodríguez, “Comprehensive Explanation of SLA Violations at Runtime” in IEEE Transactions on Services Computing 2013. 3. C. Müller, M. Resinas, A. Ruiz-Cortés, “Explaining the Non-Compliance between Templates and Agreement Offers in WS-Agreement*” in ICSOC 2009. 4. C. Müller, O. Martín-Díaz, A. Ruiz-Cortés, M. Resinas, P. Fernández, “Improving Temporal-Awareness of WS-Agreement” in ICSOC 2007. 5. A. M. Gutierrez, C. Cassales Marquezan, M. Resinas, A. Metzger, A. Ruiz-Cortés, K. Pohl, “Extending WS-Agreement to Support Automated Conformity Check on Transport & Logistics Service Agreements” in ICSOC 2013. Editor Panels Conflicts Explanations Template AmazonS3 version 1.7 … Guarantee Terms: G1: Provider guarantees MUP >= 99.9; G2: Consumer guarantees TransferredGb < StorageSize * 100 AND ReadRequests > WriteRequests; … Creation Constraints C1: Region = “Europe” OR “US”; C2: StoragePrice = 0.05 €/GB onlyIf ReducedRedundancy = true; C3: StoragePrice = 0.12 €/GB onlyIf ReducedRedundancy = false; C4: StorageSize <= 5000 TB; Agreement Offer MyOffer for Template… … AgreementTerms Service AmazonS3 available at. …; Global Description: Region = “Europe”; ReducedRedundancy = false; StoragePrice = 0.1 €/GB StorageSize = 100 TB; Guarantee Terms: G1: Provider guarantees MUP >= 99.99; G2: Consumer guarantees TransferredGb < StorageSize * 100 AND ReadRequests < WriteRequests; G3: Consumer guarantees StorageSize < 5001 TB; iAgree document Valid No conflicts •Inconsistencies •Dead terms •Conditionally inconsistent terms WS-Agreement Compliance & Non-contradictory terms iAgree Elements Qualifying Conditions Domain- Independent Metrics and Services Descriptions Terms Compositors Expressive SLOs Try it / Use it / Extend it Demo available at: http://labs.isa.us.es/apps/iAgreeStudio/ Screencast available at: http://www.isa.us.es/iagreestudio/ Ask for the source code (GPLV3 license) Ready to integrate in your applications. [1] [2] [3] [4] [5]