A behavioral semantics of OOHDM core features and of its business process extension

Abstract

OOHDM models hypermedia-based Web applications by an object model on three layers. Recently, an OOHDM extension by business processes has been proposed. In all cases, the definition includes a formal description of the syntactical aspects and a verbal description of the semantics. In this paper, we give a behavioral definition of the semantics of the OOHDM core features: navigation and advanced navigation; and of the proposed extension by business processes. We derive application-specific model classes from predefined behavioral model classes that have operations with a well-defined semantics. The behavioral model classes collaborate with a Web Application virtual Machine (WAM). The WAM models basic Web-browser characteristics, i.e. HTTP-HTML characteristics. Thus, the semantics of an OOHDM Web application model is precisely defined in an executable way.