- -

Debugging of Web Applications with Web-TLR

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Debugging of Web Applications with Web-TLR

Show simple item record

Files in this item

dc.contributor.author Alpuente Frasnedo, María es_ES
dc.contributor.author Espert Real, Javier es_ES
dc.contributor.author Frechina Navarro, Francisco es_ES
dc.contributor.author Romero, Daniel Omar es_ES
dc.contributor.author Ballis, Demis es_ES
dc.date.accessioned 2014-04-09T11:06:13Z
dc.date.available 2014-04-09T11:06:13Z
dc.date.issued 2011
dc.identifier.issn 2075-2180
dc.identifier.uri http://hdl.handle.net/10251/36917
dc.description.abstract [EN] Web-TLR is a Web verification engine that is based on the well-established Rewriting Logic--Maude/LTLR tandem for Web system specification and model-checking. In Web-TLR, Web applications are expressed as rewrite theories that can be formally verified by using the Maude built-in LTLR model-checker. Whenever a property is refuted, a counterexample trace is delivered that reveals an undesired, erroneous navigation sequence. Unfortunately, the analysis (or even the simple inspection) of such counterexamples may be unfeasible because of the size and complexity of the traces under examination. In this paper, we endow Web-TLR with a new Web debugging facility that supports the efficient manipulation of counterexample traces. This facility is based on a backward trace-slicing technique for rewriting logic theories that allows the pieces of information that we are interested to be traced back through inverse rewrite sequences. The slicing process drastically simplifies the computation trace by dropping useless data that do not influence the final result. By using this facility, the Web engineer can focus on the relevant fragments of the failing application, which greatly reduces the manual debugging effort and also decreases the number of iterative verifications. es_ES
dc.description.sponsorship This work has been partially supported by the EU (FEDER) and the Spanish MEC TIN2010-21062-C02-02 project, by Generalitat Valenciana, ref. PROMETEO2011/052, and by the Italian MUR under grant RBIN04M8S8, FIRB project, Internationalization 2004. Daniel Romero is also supported by FPI–MEC grant BES–2008–004860
dc.language Inglés es_ES
dc.publisher Open Publishing Association es_ES
dc.relation MEC/FPI/BES-2008-004860 es_ES
dc.relation MIUR/RBIN04M8S8 es_ES
dc.relation GV/PROMETEO2011/052 es_ES
dc.relation MEC/TIN2010-21062-C02-02 es_ES
dc.relation.ispartof Electronic Proceedings in Theoretical Computer Science es_ES
dc.rights Reconocimiento (by) es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.title Debugging of Web Applications with Web-TLR es_ES
dc.type Artículo es_ES
dc.type Comunicación en congreso
dc.identifier.doi 10.4204/EPTCS.61.5
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació es_ES
dc.description.bibliographicCitation Alpuente Frasnedo, M.; Espert Real, J.; Frechina Navarro, F.; Romero ., DO.; Ballis ., D. (2011). Debugging of Web Applications with Web-TLR. Electronic Proceedings in Theoretical Computer Science. 61:66-80. doi:10.4204/EPTCS.61.5 es_ES
dc.description.accrualMethod Senia es_ES
dc.relation.conferencename 7th International Workshop on Automated Specification and Verification of Web Systems es_ES
dc.relation.conferencedate June, 2009 es_ES
dc.relation.conferenceplace Reykjavik, Iceland es_ES
dc.relation.publisherversion http://dx.doi.org/10.4204/EPTCS.61.5 es_ES
dc.description.upvformatpinicio 66 es_ES
dc.description.upvformatpfin 80 es_ES
dc.type.version info:eu-repo/semantics/publishedVersion es_ES
dc.description.volume 61 es_ES
dc.relation.senia 214729
dc.contributor.funder Ministerio de Educación y Ciencia (MEC)
dc.contributor.funder Generalitat Valenciana (GV)
dc.contributor.funder Ministero dell'Istruzione dell'Università e della Ricerca, Italia (MIUR)


This item appears in the following Collection(s)

Show simple item record