Skip to main content
SpringerLink
Log in

Semantic Verification of Web System Contents

  • Conference paper
Advances in Conceptual Modeling – Challenges and Opportunities (ER 2008)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 5232))

Included in the following conference series:

Abstract

In this paper, we present a rule-based specification language to define and automatically check semantic as well as syntactic constraints over the informative content of a Web system. The language is inspired by the GVERDI language and significantly extends it by integrating ontology reasoning into the specification rules and by adding new syntactic constructs. The resulting language increases the expressiveness of the original one and enables a more sophisticated treatment of the semantic information related to the contents of the Web system.

This work has been partially supported by the EU (FEDER) and the Spanish MEC under grant TIN2007-68093-C02-02, Integrated Action HA 2006-0007, UPV-VIDI grant 3249 PAID0607, and the Italian MUR under grant RBIN04M8S8, FIRB project, Internationalization 2004.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alpuente, M., Baggi, M., Ballis, D., Falaschi, M.: Semantic Verification of Web Systems. Technical Report, University of Udine, Italy (2008)

    Google Scholar 

  2. Alpuente, M., Ballis, D., Falaschi, M.: Automated Verification of Web Sites Using Partial Rewriting. Software Tools for Technology Transfer 8, 565–585 (2006)

    Article  Google Scholar 

  3. Calvanese, D., McGuinness, D., Nardi, D., Patel-Scheider, P., Baader, F.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)

    MATH  Google Scholar 

  4. Ballis, D., García Vivó, J.: A Rule-based System for Web Site Verification. In: 1st Int’l Workshop on Automated Specification and Verification of Web Systems. Electronic Notes in Theoretical Computer Science, vol. 157(2), pp. 11–17. Elsevier, Amsterdam (2005)

    Google Scholar 

  5. Bechhofer, S.: The DIG Description Logic Interface: DIG/1.1. Technical report, University of Manchester, United Kingdom (2003)

    Google Scholar 

  6. Florido, M., Coelho, J.: VeriFlog: Constraint Logic Programming Applied to Verification of Website Content. In: Shen, H.T., Li, J., Li, M., Ni, J., Wang, W. (eds.) APWeb Workshops 2006. LNCS, vol. 3842, pp. 148–156. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  7. Pierce, B., Hosoya, H.: Regular Expressions Pattern Matching for XML. In: 28th Annual Symposium on Principles of Programming Languages. ACM SIGPLAN Notices, vol. 36(3), pp. 67–80. ACM, New York (2001)

    Google Scholar 

  8. Ellmer, E., Emmerich, W., Finkelstein, A., Nentwich, C.: Flexible Consistency Checking. ACM Transaction on Software Engineering 12(1), 28–63 (2003)

    Article  Google Scholar 

  9. Klop, J.W.: Term Rewriting Systems. In: Handbook of Logic in Computer Science, vol. I, pp. 1–112. Oxford University Press, Oxford (1992)

    Google Scholar 

  10. World Wide Web Consortium (W3C). OWL Web Ontology Language Guide (2004), http://www.w3.org/

Download references

Author information

Authors and Affiliations

  1. DSIC, Universidad Politécnica de Valencia, Camino de Vera s/n, Apdo. 22012, 46071, Valencia, Spain

    María Alpuente

  2. Dip. di Scienze Matematiche e Informatiche, Pian dei Mantellini 44, 53100, Siena, Italy

    Michele Baggi & Moreno Falaschi

  3. Dip. Matematica e Informatica, Via delle Scienze 206, 33100, Udine, Italy

    Demis Ballis

Authors
  1. María Alpuente
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michele Baggi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Demis Ballis
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Moreno Falaschi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. College of Information Science and Technology, Drexel University, USA

    Il-Yeol Song

  2. Dep. of Information Technologies & Systems - Escuela Superior de Informática, University of Castilla-La Mancha, Alarcos Research Group- Institute of Information Technologies & Systems, Ciudad Real, Spain

    Mario Piattini

  3. School of Engineering and Information Technology, Deakin University, 221 Burwood Highway, Vic, 3125, Australia

    Yi-Ping Phoebe Chen

  4. Clausthal University of Technology, Julius-Albert-Str. 4, 38678, Clausthal-Zellerfeld, Germany

    Sven Hartmann

  5. Dipartimento di Elettronica, Informatica e Sistemistica, Alma Mater Studiorum – Università di Bologna, P.O. Box, Italy

    Fabio Grandi

  6. Department of Software and Computing Systems, University of Alicante, Spain

    Juan Trujillo

  7. Department of Information Science and Media Studies, University of Bergen, Fosswinckelsgate 6, 5007, Bergen, Norway

    Andreas L. Opdahl

  8. Istituto di Ricerche sulla Popolazione e Politiche Sociali, CNR, Via Nizza 128, 00198, Roma, Italy

    Fernando Ferri  & Patrizia Grifoni  & 

  9. IRPPS-CNR, Rome, Italy

    Maria Chiara Caschera

  10. Universit Paris1 Panthon Sorbonne, CRI, 90 Rue de Tolbiac, 75013, Paris

    Colette Rolland

  11. Portland State University, USA; Indiana University, USA University of British Columbia, Canada; Hill-Rom Company, USA University of British Columbia, Canada; Deloitte Consulting, P.O. Box, USA

    Carson Woo

  12. Centre de Recherche en Informatique, Université Paris 1 Panthéon-Sorbonne, 90 rue de Tolbiac, 75013, Paris

    Camille Salinesi

  13. Université Libre de Bruxelles, Belgium

    Esteban Zimányi

  14. Naval Academy Research Institute, Brest Naval, France

    Christophe Claramunt

  15. Technische Universiteit Eindhoven, PO Box 513, NL-5600 MB, Eindhoven, The Netherlands

    Flavius Frasincar

  16. Technische Universiteit Eindhoven, P.O. Box 513, NL 5600 MB, Eindhoven, The Netherlands

    Geert-Jan Houben

  17. IMRU-FUNDP, University of Namur, Namur, Belgium

    Philippe Thiran

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Alpuente, M., Baggi, M., Ballis, D., Falaschi, M. (2008). Semantic Verification of Web System Contents. In: Song, IY., et al. Advances in Conceptual Modeling – Challenges and Opportunities. ER 2008. Lecture Notes in Computer Science, vol 5232. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87991-6_51

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-87991-6_51

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-87990-9

  • Online ISBN: 978-3-540-87991-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation