Abstract:
We propose modeling the architecture of web systems using the
Specification and Description Language (SDL), which is a formal language.
SDL is shown to be quite convenient for modeling features of web
systems such as hyperlinks, sending and receiving data, and client-server
communication. Hence, it facilitates our understanding of web applications.
Further, we describe how to test web systems, based on the SDL model, in
order to ensure that the implementation conforms to the specification.
