Fixing web sites using correction strategies

2nd Int'l. Workshop on Automated Specification and Verification of Web Systems, WWV'06

Volumn , Issue , 2006, Pages 11-18

  Ballis, D ^a   Romero, D ^b  

^a UNIVERSITY OF UDINE   (Italy)

^b UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; REPAIR; SPECIFICATIONS;

AMOUNT OF INFORMATION; EFFECTIVE MECHANISMS; LEVEL OF AUTOMATIONS; REPAIR METHODS;

WEBSITES;

EID: 46249101293     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WWV.2006.8     Document Type: Conference Paper

References (17)

1. S. Abiteboul, P. Buneman, and D. Suciu. Data on the Web. From Relations to Semistructured Data and XML. Morgan Kaufmann, 2000.
2. M. Alpuente, D. Ballis, and M. Falaschi. Rule-based Verification of Web sites. Int'l Journal on Software Tools for Technology Transfer, 8:565-585, 2006.
3. M. Alpuente, D. Ballis, M. Falaschi, and D. Romero. A Semi-automatic Methodology for Reparing Faulty Web Sites. In Proc. of SEFM'06. Pune, India, pages 31-40. IEEE Computer Society Press, 2006.
4. F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.
5. D. Ballis and J. G. Vivó. A Rule-based System for Web Site Verification. In Proc. of 1st Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'05), volume 157(2). ENTCS, Elsevier, 2005.
6. L. Bertossi and J. Pinto. Specifying Active Rules for Database Maintenance. In G. Saake, K. Schwarz, and C. Türker, editors, Transactions and Database Dynamics, 8th Int'l Workshop on Foundations of Models and Languages for Data and Objects, volume 1773 of Lecture Notes in Computer Science, pages 112-129. Springer, 1999.
7. M. Bezem. TeReSe, Term Rewriting Systems, chapter Mathematical background (Appendix A). Cambridge University Press, 2003.
8. F. Bry and S. Schaffert. Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. In Proc. of the Int'l Conference on Logic Programming (ICLP'02), volume 2401 of Lecture Notes in Computer Science. Springer-Verlag, 2002.
9. L. Capra, W. Emmerich, A. Finkelstein, and C. Nentwich. XLINKIT: a Consistency Checking and Smart Link Generation Service. ACM Transactions on Internet Technology, 2(2):151-185, 2002.
10. N. Dershowitz and D. Plaisted. Rewriting. Handbook of Automated Reasoning, 1:535-610, 2001.
11. M. F. Fernandez and D. Suciu. Optimizing Regular Path Expressions Using Graph Schemas. In Proc. of Int'l Conference on Data Engineering (ICDE'98), pages 14-23, 1998.
12. J. Klop. Term Rewriting Systems. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume I, pages 1-112. Oxford University Press, 1992.
13. M. Leuschel. Homeomorphic Embedding for Online Termination of Symbolic Methods. In T. Æ. Mogensen, D. A. Schmidt, and I. H. Sudborough, editors, The Essence of Computation, volume 2566 of Lecture Notes in Computer Science, pages 379-403. Springer, 2002.
14. E. Mayol and E. Teniente. A Survey of Current Methods for Integrity Constraint Maintenance and View Updating. In Proc. of Advances in Conceptual Modeling: ER '99, volume 1727 of Lecture Notes in Computer Science, pages 62-73. Springer, 1999.
15. C. Nentwich, W. Emmerich, and A. Finkelstein. Consistency Management with Repair Actions. In Proc. of the 25th International Conference on Software Engineering (ICSE'03). IEEE Computer Society, 2003.
16. J. Scheffczyk, , U. M. B. P. Rödig, and L. Schmitz. S-dags: Towards efficient document repair generation. In Proc. 2nd Int. Conf. on Computing, Communications and Control Technologies, volume 2, pages 308-313, 2004.
17. J. Scheffczyk, U. M. Borghoff, P. Rödig, and L. Schmitz. Consistent document engineering: formalizing type-safe consistency rules for heterogeneous repositories. In Proc. of the 2003 ACM Symposium on Document Engineering (DocEng '03), pages 140-149. ACM Press, 2003.