By Topic

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

Date 19-19 Nov. 2006

Filter Results

Displaying Results 1 - 15 of 15
  • 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems - Cover

    Publication Year: 2006, Page(s): c1
    Request permission for commercial reuse | PDF file iconPDF (72 KB)
    Freely Available from IEEE
  • 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems-Title

    Publication Year: 2006, Page(s):i - iii
    Request permission for commercial reuse | PDF file iconPDF (184 KB)
    Freely Available from IEEE
  • 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems-Copyright

    Publication Year: 2006, Page(s): iv
    Request permission for commercial reuse | PDF file iconPDF (65 KB)
    Freely Available from IEEE
  • 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems - TOC

    Publication Year: 2006, Page(s): v
    Request permission for commercial reuse | PDF file iconPDF (102 KB)
    Freely Available from IEEE
  • Preface

    Publication Year: 2006, Page(s): vi
    Request permission for commercial reuse | PDF file iconPDF (24 KB) | HTML iconHTML
    Freely Available from IEEE
  • Organization

    Publication Year: 2006, Page(s): vii
    Request permission for commercial reuse | PDF file iconPDF (21 KB)
    Freely Available from IEEE
  • Mary Poppins and the Web of the Future: Search, Share, Social, Semantics, and Sugar

    Publication Year: 2006, Page(s):3 - 10
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (119 KB) | HTML iconHTML

    The Web of the future will without doubts be very different from what we have nowadays. In this paper, we try to give a very high-level overview of the main aspects that will forge the new Web, having a look at five main S's: search, share, social, semantics, and the glue component that can keep them together, and let the user digest the new shifts: sugar, in its various aspects. Finally, we end w... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fixing Web Sites Using Correction Strategies

    Publication Year: 2006, Page(s):11 - 18
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (286 KB) | HTML iconHTML

    The development and the maintenance of Web sites are difficult tasks. To maintain the consistency of ever-larger, complex Web sites, Web administrators need effective mechanisms that aid them infixing every possible inconsistency. In this paper, we present an extension of a methodology for semi-automatically repairing faulty Web site which we developed in a previous work. As a novel contribution, ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Filtering of XML Documents

    Publication Year: 2006, Page(s):19 - 28
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (236 KB) | HTML iconHTML

    In this paper, we present a simple, easy-to-use, rewriting-like methodology for filtering information in an XML document. Essentially, we define a specification language which allows one to extract relevant data (positive filtering) as well as to exclude useless and misleading contents (negative filtering) from a set of XML documents according to some given criteria. We believe that our methodolog... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • WAEX: Web Accessibility Evaluator in a Single XSLT File

    Publication Year: 2006, Page(s):29 - 36
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (158 KB) | HTML iconHTML

    Web accessibility rules, i.e., the conditions to be met by Web sites in order to be considered as accessible for all, can be (partially) checked automatically in many different ways. Monolitic applications built on top of procedural programming languages like C, Java, Perl or PHP have been developed during the last years. These applications usually provide their own interpretation of the W3C guide... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Lightweight Web GUI Specification and Realisation System and Its Impact on Accessibility

    Publication Year: 2006, Page(s):37 - 44
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (194 KB) | HTML iconHTML

    Developments like XFORMS are supposed to encourage the Web programmer to concentrate on the specification of the functionality of the Web GUI rather than its appearance on screen. Instead of having the document delivery system make the same realisation choices for every user it could be better to give the user some control in order to fully exploit this degree of choice. This would be particularly... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling Interactions of Web Software

    Publication Year: 2006, Page(s):45 - 52
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (124 KB) | HTML iconHTML

    Modeling interactions among software components is becoming increasingly important for analyzing behavior of Web software. This is especially true for the area of Web services where distributed interactions across organizational boundaries are the norm. In this paper, three visual formalisms for modeling interactions: 1) collaboration diagrams, 2) message sequence charts, and 3) conversation proto... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Web-Based Runtime-Reconfigurable Role Management Service

    Publication Year: 2006, Page(s):53 - 60
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (680 KB) | HTML iconHTML

    Today Web-based applications are very complex and provide several hundred users with access to sensible data. Adequate access control mechanisms that prevent unauthorized access and gives policy-compliant access to users depending on their status are thus central. The online conference service (OCS) is a system of services which collectively provide all necessary workflows and functionalities an o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards a Formal Framework for Developing Secure Web Services

    Publication Year: 2006, Page(s):61 - 70
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (221 KB) | HTML iconHTML

    In this paper, we experiment with use of a formal framework for developing secure Web services (WSs) from components. The framework focuses on separating security requirements from the functional ones. For each component, the approach makes use of two complementary models: one is state-based, described in Z, and the other is event-based, expressed in Hoare's communicating sequential processes (CSP... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Author index

    Publication Year: 2006, Page(s): 71
    Request permission for commercial reuse | PDF file iconPDF (19 KB)
    Freely Available from IEEE