WS-DIAMOND TEAM. WS-DIAMOND: Web Services – DIAgnosability, MONitoring and Diagnosis. 18th International Workshop on Principles of Diagnosis (DX'07) , Nashville ( USA ), May 29-31, 2007.
WS-DIAMOND TEAM. WS-DIAMOND: an approach to Web Services – DIAgnosability, MONitoring and Diagnosis. Proc. E-Challenges Conference. The Hague, October 24-26, 2007.
WS-DIAMOND TEAM. WS-DIAMOND: Web Services – DIAgnosability, MONitoring and Diagnosis. Fifth Summer School on Ontological Engineering and the Semantic Web (SSSW'07) , Cercedilla , Spain , July 8-14, 2007.
WS-DIAMOND TEAM. Self-healing Web Services in the WS-DIAMOND project. E-challanges 2008
WS-DIAMOND TEAM. WS-DIAMOND: Web Services – DIAgnosability, MONitoring and Diagnosis.
To appear in “At your service: An overview of results of projects in the field of service engineering of the IST programme” MIT Press Series on Information Systems, Chapter 9, J.Mylopoulos and M.Papazoglou (Eds.), 2009
Research Papers
2008-2009
L. Ardissono, R. Furnari, A. Goy, G. Petrone and M. Segnan. A SOA-based Model Supporting Adaptive Web-based Applications. Proc. of 3rd Conference on Internet and Web Applications and Services (ICIW 2008), IEEE. Athens, June 8-13, 2008, pp. 708-713.
L. Ardissono, R. Furnari, A. Goy, G. Petrone, M. Segnan. An Event-based Model for the Management of Choreographed Services. Proc. of 9th International Conference on Electronic Commerce and Web Technologies (EC-Web ’08, DEXA), LNCS. Torino, September 1-4, 2008.
L. Ardissono, S. Bocconi, L. Console, R. Furnari, A. Goy, G. Petrone, C. Picardi, M. Segnan and D. Theseider Dupre’. Enhancing Web Service Composition by Means of Diagnosis. Proc. of 1st International Workshop on QoS in Self-healing Web Services (QSWS-08). Milano, September 1st, 2008.
R. Ben Halima, K. Guennoun , M. Jmaiel, and K. Drira. Non-intrusive QoS Monitoring and Analysis for Self-Healing Web Services. Proc. of 1st IEEE International Conference on the Applications of Digital Information and Web Technologies (ICADIWT 2008). Ostrava, Czech Republic, August 4–6, 2008.
R. Ben Halima, M. Jmaiel, and K. Drira. A QoS-Oriented Reconfigurable Middleware for Self-HealingWeb Services. Proc. of IEEE International Conference on Web Services (ICWS 2008). Beijing, China, September 23-26, 2008.
M.-O. Cordier, Y. Pencolé, L. Travé-Massuyès, T. Vidal. Caractérisation des systèmes auto-guérissants: diagnostiquer ce que l'on va réparer. Proc. of 16^e congrès francophone AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle. Amiens France, January 21-25, 2008.
M.-O. Cordier, Y. Pencolé, L. Travé-Massuyès, T. Vidal. Characterizing and checking self-healability. Proc. of 18th European Conference on Artificial Intelligence (ECAI'2008). Patras, Grece, July 21-25, 2008.
J. Eder, H. Pichler, and A. Tahamtan. Probabilistic Time Management of Choreographies. Proc. of 1st International Workshop on QoS in Self-healing Web Services (QSWS-08). Milano, September 1st, 2008.
J. Eder, A. Tahamtan. Temporal Consistency of View Based Interorganizational Workflows. In Proc. UNISCON 2008. Klagenfurt, April 22-25. Lecture Notes in Business Information Processing 5, Springer Verlag 2008, ISBN 978-3-540-78941-3, pp. 96-107.
M. EL Falou, M. Bouzid, T. Vidal, A-I. Mouaddib. Automated Web Service Composition Using Extended Representation of Planning Domain. Proc. of 18th European Conference on Artificial Intelligence (ECAI'2008). Patras, Grece, July 21-25, 2008 (poster).
G. Friedrich, V. Ivanchenko. Model-based repair of web service processes. Technical report, 2008/001, ISBI research group, Alpen-Adria-Universität Klagenfurt, Austria, 2008. http://www.uni-klu.ac.at/uniklu/fodok/uebersicht.do?persnr=2535&tabindex=1
G. Friedrich, V. Ivanchenko. Diagnosis from first principles for workflow executions. Technical report, 2008/002, ISBI research group, Alpen-Adria-Universität Klagenfurt, http://www.uni-klu.ac.at/uniklu/fodok/uebersicht.do?persnr=2535&tabindex=1, Austria, 2008.
M.G. Fugini, B. Pernici, and F. Ramoni. Quality analysis of composed services through fault injection. In Information Systems Frontiers, Springer Netherlands ISSN 1387-3326 (Print) DOI 10.1007/s10796-008-9086-31572-9419 (Online). Collection Business and Economics, May 2008.
R. Furnari. FUNGO: an Algorithm to Derive Local Interaction Protocols from WS Choreographies. Proc. 2nd International Conference on Complex Distributed Systems (CODS 2008). Glasgow, July 22-24, 2008. International journal Communications of SIWN (ISSN 1757-4439).
X. Le Guillou and M.-O. Cordier and S. Robin and L. Roze. Chronicles for On-line Diagnosis of Distributed Systems. IRISA Tech report 1890. Rennes, France, May 2008.
X. Le Guillou, or M.-O. Cordier, or S. Robin, or L. Roze. Chronicles for On-line Diagnosis of Distributed Systems. Proc. of 18th European Conference on Artificial Intelligence (ECAI'2008). Patras, Grece, July 21-25, 2008.
O. Nabuco, R. Ben Halimam K. Drira, M.G. Fugini, S. Modafferi, E. Mussi. Model-based QoS-enabled self-healing Web Services. Proc. of EN-FINES’08 DEXA Workshop. Torino, September 1-4, 2008.
R. Pegoraro, R. Ben Halima, K. Drira, K. Guennoun, and J.M. Rosario. A framework for monitoring and runtime recovery of web service-based applications. Proc. of 10th International Conference on Enterprise Information Systems (ICEIS’2008). Barcelona, Spain, June 12-16, 2008.
X. Pucel, L. Travé-Massuyès, Y. Pencolé. Another point of view on Diagnosability. Proc. of 4th European Starting AI Researcher Symposium (Stairs'2008). Patras Grece, July 21-25, 2008.
G. Tagni, A. ten Teije, F. van Harmelen. Reasoning about Repairability of Workflows at Design Time. Proc. of 1st International Workshop on QoS in Self-healing Web Services (QSWS-08). Milano, September 1st, 2008.
Y. Yan, P. Dague, Y. Pencolé and M.-O. Cordier. A Model-based Approach for Diagnosing Faults in Web Service Processes. International Journal of Web Services Research JWSR, 5(4), Oct.-Dec. 2008.
L. Ye and P. Dague. Decentralized Diagnosis for BPEL Web Services. Proc. of 4th International Conference on Web Information Systems and Technologies (WEBIST’08). Funchal, Madeira, Portugal, May 4-7, 2008, pp. 283-287.
2007
D. Ardagna, M. Comuzzi, E. Mussi, B. Pernici, P. Plebani. PAWS: A Framework for Executing Adaptive Web-Service Processes. IEEE SOFTWARE, 24(6): 39-46, November 2007.
L. Ardissono, R. Furnari, A. Goy, G. Petrone and M. Segnan. A framework for the management of context-aware workflow systems. Proc. of 3rd International Conference on Web Information Systems and Technologies (WEBIST 2007), pp. 80-87, Barcelona , Spain , March 3-7, 2007.
L. Ardissono, R. Furnari, A. Goy, G. Petrone and M. Segnan. PERCHE: A Public Registry for Choreographies. System and Information Sciences Notes, Vol 1, No 4 Jul 2007, pp. 353-358. Presented at 2007 SIWN International Conference on Complex Open Distributed Systems, Chengdu , China , July 22-24, 2007.
L. Ardissono, R. Furnari, A. Goy, G. Petrone and M. Segnan. Context-aware Workflow Management. Lecture Notes in Computer Science n. 4607. Proc. of International Conference on Web Engineering ( ICWE) 2007, Como , Italy , July 16-20, 2007, pp. 47-52, Springer.
L. Ardissono, R. Furnari, A. Goy, G. Petrone, M. Segnan. Monitoring choreographed services. In T. Sobth, Innovations and advanced techniques in computer and information sciences and engineering, Springer, pp.283-288, 2007.
R. Ben Halima , K. Drira, and M. Jmaiel. A QoS-driven reconfiguration management system extending Web services with self-healing properties. In 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises WETICE 2007: In Workshop on Information Systems & Web Services ISWS, 18-20 June 2007, Paris , France.
S. Bocconi, C. Picardi, X. Pucel, D. Theseider Dupré, L. Travé-Massuyès. Model-based diagnosability analysis for web services. LNAI 4733: Advances in Artificial Intelligence - 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-12, 2007, pp. 24-35, Springer.
F. Calore, D. Lombardi, E. Mussi, P. Plebani, B. Pernici. Retrieving Substitute Services Using Semantic Annotations: A Foodshop Case Study. In Business Process Management Workshops, Springer LNCS, 2007, pp. 508-513 (post proceedings of BPM workshop held on September 2007, Brisbane, Australia).
C. Cappiello, M. Comuzzi, P. Plebani. On Automated Generation of Web Service Level Agreements. CAISE Conf., June 13-15, 2007.
L. Console, M.G. Fugini. WS-DIAMOND: an approach to Web Services - DIAgnosability, MONitoring and Diagnosis. ERCIM bulletin, July 2007
Console L., Picardi C. and Theseider Dupré D. A Framework for Decentralized Qualitative Model-Based Diagnosis. Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), January 6-12 2007, Hyderabad , India .
M.O. Cordier , Y. Pencolé, L. Travé-Massuyès, T.Vidal. Self-healablity = diagnosability + repairability. 18th International Workshop on Principles of Diagnosis (DX-07), Nashville (USA), 29-31 May 2007, pp.251-258.
M-O. Cordier, A.Grastien. Exploiting Independence in a Decentralised and Incremental Approach of Diagnosis. 20th International Joint Conference on Artificial Intelligence (IJCAI'07), Hyderabad , India , Jan 6-12, 2007, pp. 292-297.
M-O. Cordier, X. Le Guillou, S.Robin, L.Roze, T.Vidal. Distributed Chronicles for On-line Diagnosis of Web Services. 18th International Worshop On Principles of Diagnosis (DX'07), Nashville , TN , USA , May 29-31, 2007, pp. 37-44.
F. Daniel, B. Pernici. Web Service Orchestration and Choreography: Enabling Business Processes on the Web. In E-Business Models, Services, and Communications - Advances in E-Business Research Series, edited by In Lee, Volume 2, November 2007, Information Science Reference (IGI Global), Hershey - New York, pp. 251-274.
J. Eder , H. Pichler, S. Vielgut. A Technique for the Prediction of Deadline Violations in Inter-Organizational Business Processes. Olegas Vasilecas, Johann Eder, Albertas Caplinskas (Eds.): Databases and Information Systems IV, IOS Press, 2007, pp. 57-71
J. Eder, M. Lehmann, A. Tahamtan. Conformance Test of Federated Choreographies. 3 rd International Conference on Interoperability of Enterprise Software and Applications (I-ESA'07), March 28-30, Madeira, Portugal , 2007, pp. 223-234.
M.G. Fugini, B. Pernici, and F. Ramoni. Quality Analysis of Composed Services through Fault Injection. In Business Process Management Workshops of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, pp. 245-256 (post proceedings of BPM workshop held on September. 2007, Brisbane, Australia).
X.Le Guillou, M-O.Cordier, S.Robin, L.Rozé. Diagnosing Web Services on-line with distributed chronicles. 2nd Beijing-Hong Kong International Doctoral Forum: Web, Network, and Media Computing, Hong Kong , SAR, July 3-6 2007.
X. Le Guillou, M-O.Cordier, S.Robin, L.Rozé, T.Vidal. Chroniques distribuées pour le diagnostic en-ligne de Web Services. 8th French National Congress of Young Researchers in Artificial Intelligence (RJCIA'07), Grenoble, France, 4-6 July, 2007, pp. 115-132.
M. Lehmann, J. Eder, C. Dreier, J. Mangler. XML View Based Access to Relational Data in Workflow Management Systems. International Journal of Computer Science and Applications, Vol 4(2), pp. 63-74, 2007.
Y. Li, T. Melliti and P. Dague. Modeling BPEL Web services for diagnosis: towards self-healing Web services. Proc. of 3rd International Conference on Web Information Systems and Technologies WEBIST'07, Barcelona , Spain , March 2007.
F. Moo-Mena and K. Drira. Modeling architectural level repair in web services. Proceedings of the 3rd International Conference on Web Information Systems and Technologies (WEBIST'2007), Barcelona , Spain , March 3-6, 2007, pp. 240-245.
F. Moo-Mena and K. Drira. Reconfiguration of web services architectures: a model-based approach. Proceedings of the Twelfth IEEE Symposium on Computers and Communications (ISCC'07), Aveiro , Portugal , July 1-4 2007.
F. Nejjari, R. Perez, T. Escobet, L. Travé- Massuyès. Fault diagnosability utilizing quasi-static and structural modelling. Mathematical and Computer Modelling, Volume 45, Issues 5-6, pp. 606-616, March 2007
B. Pernici. Research Challenges in Information Systems. Invited talk at First IEEE International Conference on Research Challenges in Information Science (RCIS) 2007, invited talk, abstract, Ouarzazade , Morocco , April 24, 2007.
B. Pernici. Adaptive Information Systems. In Conceptual modeling in Information Systems Engineering: From Database Systems to Ubiquitous Environments and Beyond, Springer, June 2007
B. Pernici. PAWS: Processes with adaptive web services. Second International Workshop on Adaptation and Evolution in Web Systems Engineering (AEWSE'07), invited talk, abstract, Como , Italy , July 19, 2007.
B. Pernici: Self-healing Information Systems. Proc. of 18th International Conference on Database and Expert Systems Applications (DEXA 2007). Regensburg, Germany, September 3-7, 2007. Springer LNCS, page 64.
B. Pernici, A.M. Rosati. Automatic Learning of Repair Strategies for Web Services: Web Services, 2007. Proc. of 5th European Conference on Web Services (ECOWS 2007). Halle, Germany, November 26-28, 2007, pp. 119-128.
X. Pucel , S. Bocconi, C. Picardi, D. Theseider Dupre, L. Travé-Massuyès. Diagnosability analysis for web services with constraint-based models. 18th International Workshop on Principles of Diagnosis (DX'07) , Nashville ( USA ), May 29-31, 2007, pp. 360-367.
X. Pucel, S. Bocconi, C. Picardi, D. Theseider Dupré, L. Travé-Massuyès. Analyse de la diagnosticabilité des services web. Plateforme AFIA (Association Française d'IA), Workshop Artificial Intelligence and Web Intelligence (IAWI), July 2007, Grenoble, France.
L. Travé-Massuyès, T. Escobet, X. Olive. Diagnosability analysis based on component supported analytical redundancy relations. IEEE Transactions on Systems, Man and Cybernetics, Part A : Systems and Humans, Vol. 36, N°6, pp.1146-1160, 2006
Y. Yan and P. Dague. Monitoring and Diagnosing Orchestrated Web Service Processes. Proc. of 5th IEEE International Conference on Web Services ICWS'07, Salt Lake City , Utah , USA , July 2007.
2006
L. Ardissono, R. Furnari, A. Goy, G. Petrone and M. Segnan. Fault Tolerant Web Service Orchestration by Means of Diagnosis. Lecture Notes in Computer Science n. 4344. Proc. of European Workshop on Software Architectures (EWSA), Nantes , France , September 4-6, 2006, pp. 2-16, Springer Verlag.
L. Ardissono, R. Furnari, A. Goy, G. Petrone and M. Segnan. Monitoring choreographed services. Proc. of International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 06), December 4-14, 2006, online conference.
C. Cappiello, P. Ficiaro, B.Pernici. HIQM: a Methodology for Information Quality Monitoring, Measurement, and Improvement. Workshop QOIS'06, Tucson , AZ , USA , November 2006.
C. Cappiello, B. Pernici. A Methodology for Information Quality Management in Self-healing Web Services. International Conference on Information Quality, Boston , MA , USA , November 6-9 2006. Presented by Cinzia Cappiello
L. Console, C. Picardi, D. Theseider Dupré. A Framework for Decentralized Qualitative Model-Based Diagnosis. Proc. of the 17th International Workshop on Principles of Diagnosis (DX'06), pp. 47-54, Peñaranda de Duero, Spain, June 26-28, 2006.
M-O. Cordier and A. Grastien. Exploiting independence in a decentralised and incremental approach of diagnosis. Proc. of the 17th International Workshop on Principles of Diagnosis (DX'06), pp. 61-69, Peñaranda de Duero, Spain, June 26-28, 2006.
M.-O. Cordier, L. Travé-Massuyès, X. Pucel . Comparing Diagnosability in Continuous and Discrete-Event Systems. Proc. of the 17th International Workshop on Principles of Diagnosis (DX'06), pp. 55-60, Peñaranda de Duero, Spain, June 26-28, 2006.
Marie-Odile Cordier, Louise Travé-Massuyès and Xavier Pucel. Comparing Diagnosability in CS and DES. Proc. of the 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, SAFEPROCESS 06, August 30 – September 1, Beijing, P.R. China, 2006.
C. Dreier, J. Eder, M. Lehmann, A. Tahamtan: Generic Data Access in XML Based Workflow Management Systems . Proc. of 18 th International Conference on Advanced information Systems Engineering (CAise'06). Luxembourg, June 5-9 2006.
J. Eder, M. Lehmann, A. Tahamtan. Choreographies as Federations of Choreographies and Orchestrations. Advances in Conceptual Modeling - Theory and Practice: Proc. of ER 2006 Workshops BP-UML, CoMoGIS, COSS, ECDM, OIS, QoIS, SemWAT, Tucson, AZ, USA, November 6-9, 2006, Tucson, Arizona, USA. Lecture Notes in Computer Science 4231 Springer, pp. 183-192.
Johann Eder, Horst Pichler and Stefan Vielgut: An Architecture for Proactive Timed Web Service Compositions. Proc. of 2nd International Workshop on Enterprise and Networked Enterprises Interoperability (ENEI). Vienna, Austria, September 5-7, 2006
Johann Eder, Horst Pichler and Stefan Vielgut: Avoidance of deadline-violations for inter-organizational business processes. Proc. of 7th International Baltic Conference on Databases and Information Systems. Vilnius, Lithuana , July 2006.
M. Fugini, E. Mussi. Recovery of Faulty Web Applications through Service Discovery. 1st International Workshop on Semantic Matchmaking and Resource Retrieval: Issues and Perspectives (SMR 2006). Seoul , Korea . September 11, 2006.
M.G. Fugini, P. Plebani, F. Ramoni. A policies section approach based on users' preferences. International Conference on Service Oriented Computing ( ICSOC06), Chicago , IL , USA , December 4-7, 2006.
K. Guennoun and K. Drira. Using graph grammars for interaction style description. Application to service-oriented architectures. International Journal on Computer Systems Science & Engineering vol 21, n 4, July 2006, pp. 293-299.
A. Heß. An Iterative Algorithm for Ontology Mapping Capable of Using Training Data. Proc. of the 3rd European Semantic Web Conference (ESWC 2006), pp. 19-33, Budva, Montenegro, June 11-14, 2006.
T. Jéron, H. Marchand, S. Pinchinat, M-O. Cordier, Supervision Patterns in Discrete Event Systems Diagnosis. , Proc. of Workshop on Discrete Event Systems, WODES'06, Ann-Arbor (MI, USA), July 10-12, 2006.
Yingmin Li, Modeling BPEL Web Services for Diagnosis: towards self-healing Web Services , master report MIAGE, University Paris-Sud, Orsay, September 25th, 2006
M. Mecella, B. Pernici. Cooperative Information Systems based on a Service Oriented Approach. Journal of Interoperability in Business Information Systems (IBIS), issue no. 3, pp.85-112, December 2006
T. Melliti, C. Boutrous-Saab, and L. Mokdad. Performance evaluation for mobile access to composite Web services . Proc. of International Conference on Internet and Web Applications and Services(ICIW'06), Guadeloupe, French Caribbean, February 23-25, 2006. IEEE Computer Society
S. Modafferi, E. Conforti. Methods for enabling recovery actions in WS-BPEL. Conference on Cooperative Information Systems (COOPIS), Montpellier , November 1-3, 2006.
S. Modafferi, E. Mussi, B. Pernici, SH-BPEL - A Self-Healing plug-in for Ws-BPEL engines. Middleware for Service Oriented Computing (MW4SOC). Workshop of the 7th International Middleware Conference 2006, November 27- December 1st, 2006, Melbourne , Australia.
2005
L. Ardissono, L. Console, A. Goy, G. Petrone, C. Picardi, M. Segnan, D. Theseider Dupré. Enhancing Web Services with Diagnostic Capabilities. Proc. of ECOWS 2005 - 3rd IEEE European Conference on Web Services , pp. 182-191, Vaxjo, Sweden, November 14-16, 2005.
Y. Yan, Y. Pencolé, M.-O. Cordier, A. Grastien, Monitoring Web Service Networks in a Model-based Approach . Proc. of ECOWS 2005 - 3rd IEEE European Conference on Web Services , pp. 192-203, Vaxjo, Sweden, November 14-16, 2005.
Project Reports
Deliverable 1.1: Requirements, application scenarios, overall architecture,
test/validation specification, common working environment and
standards at Milestone M1
Deliverable 1.2(1): Evaluation of the approach at Milestone M1
Deliverable 1.2(2): Evaluation of the approach at Milestone M2
Deliverable 1.2(3): Evaluation of the approach at Milestone M3
Deliverable 2.1: Enrichment of Semantic Web Service Description Languages
Deliverable 2.2, 2.3: Report on methods and prototype for semi-automatic acquisition of semantic markup for Web Services
Deliverable 3.1: Specification of execution mechanisms and composition strategies for self-healing Web services - Phase 1
Deliverable 3.2: Specification of Execution Mechanisms and Composition Strategies for Self-Healing Web Services - Phase 2
TAA: Terminology Architecture Assumptions
Introduction to D3.3, D4.6: Introduction to Software Modules (Introduction to Deliverables 3.3 and 4.6 - Software Modules)
Introduction to D3.3, D4.7, D5.3: Introduction to Software Modules (Introduction to Deliverables 3.3, 4.7 and 5.3 - Prototypes and Demo)
Delivarable 4.1: Characterization of Diagnosis and Repair for Web Services
Deliverable 4.2: Specification of diagnosis algorithms for Web Services – Phase 1
Deliverable 4.3: Specification of diagnosis algorithms for Web Services - Phase 2
Deliverable 4.4: Specification of repair/reconfiguration algorithms for Web Services - Phase 1
Deliverable 4.5: Specification of repair/reconfiguration algorithms for Web Services - Phase 2
Deliverable 5.1: Characterization of diagnosability and repairability for self-healing Web Services
Deliverable 5.2: A new design methodology
Deliverable 6.2(1): Project Presentation at Milestone M1
Deliverable 6.2(2): Project Presentation at Milestone M2
Deliverable 6.2(3): Project Presentation at Milestone M3
Deliverable 6.2(b) Project Presentation Brochure
Deliverable 6.3: Plan for Using and Disseminating Knowledge
