Statecharts: A visual formalism for complex systems
Science of Computer Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
WSDM: a user centered design method for Web sites
WWW7 Proceedings of the seventh international conference on World Wide Web 7
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
Dynamic Logic
Conceptual Modeling of Data-Intensive Web Applications
IEEE Internet Computing
SiteLang: Conceptual Modeling of Internet Sites
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Abstract state machines capture parallel algorithms
ACM Transactions on Computational Logic (TOCL)
Supporting Differing Learning and Perception Styles with Content Conditioning
ICALT '04 Proceedings of the IEEE International Conference on Advanced Learning Technologies
Conceptual modelling of web information systems
Data & Knowledge Engineering
Modeling information services on the basis of ASM semantics
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Hera: development of semantic web information systems
ICWE'03 Proceedings of the 2003 international conference on Web engineering
| Hi-index | 0.00 |
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.