Finite state history modeling and its precise UML-based semantics

Authors:
Dirk Draheim;Gerald Weber;Christof Lutteroth
Affiliations:
Institute of Computer Science, A5-6, University of Mannheim, Mannheim, Germany;Department of Computer Science, The University of Auckland, Auckland, New Zealand;Department of Computer Science, The University of Auckland, Auckland, New Zealand
Venue:
CoMoGIS'06 Proceedings of the 2006 international conference on Advances in Conceptual Modeling: theory and practice
Year:
2006

Citing 7
Cited 0

Statecharts: A visual formalism for complex systems

Science of Computer Programming
The STATEMATE semantics of statecharts

ACM Transactions on Software Engineering and Methodology (TOSEM)
The object constraint language: precise modeling with UML

The object constraint language: precise modeling with UML
The Essence of Multilevel Metamodeling

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Form-Oriented Analysis

Form-Oriented Analysis
Modelling form-based interfaces with bipartite state machines

Interacting with Computers
Strict profiles: why and how

UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper discusses the notion of a state history diagram. The concept is directly motivated by a new analysis technique, form-oriented analysis, which is tailored to an important class of interactive systems including web applications. A combined UML metamodeling and framework approach is used to give precise semantics to state history diagrams and the artifacts of form-oriented analysis.