Name
Abstract | ||
|---|---|---|
Despite the fact that several integrated development methods for web information systems (WISs) have been proposed, quality assurance for such systems has hardly been addressed. In this paper some quality criteria are postulated and investigated by combining semi-formal and formal methods. On a high level of abstractions WISs can be described by abstract locations and transitions between them. These so-called story spaces can be formalised using Abstract State Machines (ASMs), which permit to verify, whether user-tailored versions are compatible with user preferences. Furthermore, ASMs provide a framework for refinement, which permits the integration of story spaces with extended views on databases. This leads to further proof obligations for consistency that can be formalised in the logic associated with ASMs. |
Year | DOI | Venue |
|---|---|---|
2005 | 10.1109/QSIC.2005.51 | QSIC |
Keywords | Field | DocType |
abstract state machines,formal method,so-called story space,abstractions wiss,abstract location,quality assurance,web information systems,extended view,story space,high level,quality criterion,abstract state machine,refinement,formal verification,finite automata,software quality,web design | Web design,Abstraction,Systems engineering,Computer science,Abstract state machines,Finite-state machine,Formal methods,Software quality,Formal verification,Quality assurance | Conference |
ISBN | Citations | PageRank |
0-7695-2472-9 | 1 | 0.36 |
References | Authors | |
14 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Aleksander Binemann-Zdanowicz | 1 | 52 | 5.44 |
| Bernhard Thalheim | 2 | 1811 | 442.28 |
| Klaus-dieter Schewe | 3 | 1367 | 202.78 |
| Jane Zhao | 4 | 64 | 7.13 |