Paper Info
Title
Generating web-based systems from specifications
Abstract
The amount of web-based systems is growing rapidly and the complexity of the developed systems is increasing as well, and in the literature one speaks about a web crises.Many web-based systems have a structure where users via a browser can perform operations on a database. We show that major parts of the software of such applications can be generated and verified from specifications of the functional requirements and specifications of the navigation.In particular, we show how to generate a modular software architecture, which is type safe in the sense that it enforces that functions throughout the application are applied to arguments of the correct type, and navigation safe taking e.g. into account consistency among user groups, functions and reachable web pages, and type consistency of web pages wrt. to functions on links.A default implementation of the functional requirements is generated allowing e.g. the navigation to be validated at an early stage of the development.A full implementation is obtained from the generated software architecture by implementing the functional requirements only, and this is done using a strongly-typed language.
Year
DOI
Venue
2004
10.1145/967900.968229
SAC
Keywords
Field
DocType
web crisis,type consistency,account consistency,web-based system,generating web-based system,reachable web page,correct type,web pages wrt,software architecture,functional requirement,modular software architecture,specification,web pages,web engineering
Programming language,Web page,Software engineering,Web mapping,Computer science,Data Web,Web modeling,Web navigation,Web service,Client-side scripting,Web server
Conference
ISBN
Citations 
PageRank 
1-58113-812-1
0
0.34
References 
Authors
13
3
Name
Order
Citations
PageRank
Tue Becher Jensen100.34
Terkel K. Tolstrup2131.65
Michael r. Hansen354343.29