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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Courtiat, J. P., Diaz, M., Oliveira, R. D., and Senac, P. Formal Methods for the description of timed behaviors of multimedia and hypermedia distributed systems. Computer Communications 19 (1996), 1134–1150.
D’inverno, M., and Hu, M. J. A Z specification of the soft-link hypertext model. In ZUM’97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, 3–4 April 1997 (1997), J. P. Bowen, M. G. Hinchey, and D. Till, Eds., vol. 1212 of Lecture Notes in Computer Science, Springer-Verlag, pp. 297–316.
Gaedke, M., Rehse, J., and Graef, G. A repository to facilitate reuse in component-based web engineering. In Proceedings of the Web Engineering’99 Workshop, (May 1999).
Garzotto, F., Mainetti, L., and Paolini, P.Designing User Interfaces for Hypermedia. Springer Verlag, 1995, ch. Hypermedia Application Design: a structured design.
Isakowitz, T., Stohr, E. A., and Balasubramanian, P. RMM: A methodology for structured hypermedia design. Communications of the ACM 38,8 (Aug. 1995), 34–44.
Lange, D. An Object-Oriented Design Method for Hypermedia Information Systems. In Proceedings of the 28th Hawaii International Conference on System Sciences (jan 1994).
Owre, S., Shankar, N., and Rushby, J. M.The PVS Specification Language. Computer Science Laboratory, SRI International, 1995.
Paulo, F. B., Turine, M. A. S., de Oliveira, M. C. F., and Masiero, P. C. XHMBS: A formal model to support hypermedia specification. In Proceedings of the Ninth ACM Conference on Hypertext (1998), Structural Models, pp. 161–170.
Santos, C., Soares, L., G.L. Souza, and Courtiat, J. P. Design Methodology and Formal Validation of Hypermedia Documents. In ACM Multimedia’98 (1998), pp. 39–48.
Schwabe, D., and Rossi, G. The Object-Oriented Hypermedia Design Model. Communications of the ACM 38,8 (Aug. 1995), 45–46.
Schwabe, D., and Rossi, G. An Object Oriented Approach to Web-Based Application Design. Unpublished manuscript, 1999.
Spivey, J. M.The Z Notation: A Reference Manual, 2nd ed. Prentice Hall International Series in Computer Science, 1992.
Wing, J. M. A specifier’s introduction to formal methods. Compute (1990).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Germán, D.M., Cowan, D.D. (1999). Formalizing the Specification of Web Applications. In: Chen, P.P., Embley, D.W., Kouloumdjian, J., Liddle, S.W., Roddick, J.F. (eds) Advances in Conceptual Modeling. ER 1999. Lecture Notes in Computer Science, vol 1727. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48054-4_23
Download citation
DOI: https://doi.org/10.1007/3-540-48054-4_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66653-0
Online ISBN: 978-3-540-48054-9
eBook Packages: Springer Book Archive