Formalizing the Specification of Web Applications

Authors:
Daniel M. Germán;Donald D. Cowan
Affiliations:
-;-
Venue:
ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
Year:
1999

Citing 8
Cited 2

A Specifier's Introduction to Formal Methods

Computer
The Z notation: a reference manual

The Z notation: a reference manual
RMM: a methodology for structured hypermedia design

Communications of the ACM
The object-oriented hypermedia design model

Communications of the ACM
XHMBS: a formal model to support hypermedia specification

Proceedings of the ninth ACM conference on Hypertext and hypermedia : links, objects, time and space---structure in hypermedia systems: links, objects, time and space---structure in hypermedia systems
Design methodology and formal validation of hypermedia documents

MULTIMEDIA '98 Proceedings of the sixth ACM international conference on Multimedia
A Z Specification of the Soft-Link Hypertext Model

ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems

Computer Communications

A Conceptual Modeling Approach to Semantic Document Retrieval

CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Querying Web Information Systems

ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling

Quantified Score

Hi-index	0.00

Visualization

Abstract

As the size of Web applications grows, it becomes clear that we need better tools to deal with their growing complexity. The current trend has been to assist the developer during the implementation stage, with little or no emphasis in the design process. Formal specification languages allow the unambiguous description of the properties of a system without restricting its implementation. Formal languages can be used to verify properties about the design. We present in this paper Flash, a formal specification language for hypertext design. Based in set theory. Flash is a formal system that attempts to separate the different tasks faced during the design process. A Flash specification first formalizes the content of the application and its relationships. Then it collates that content into navigational composites. Finally, it specifies how those composites can be navigated. Each stage is clearly specified with precise, unambiguous syntax and semantics. Furthermore, Flash verifies properties such as completeness and type consistency of the specification.