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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Atkinson, C., Kühne, T.: Strict profiles: Why and how. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 309–322. Springer, Heidelberg (2000)
Atkinson, C., Kühne, T.: The Essence of Multilevel Metamodeling. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 19–33. Springer, Heidelberg (2001)
Draheim, D., Weber, G.: Form-Oriented Analysis - A New Methodology to Model Form-Based Applications. Springer, Heidelberg (2005)
Draheim, D., Weber, G.: Modelling Form-Based Interfaces with Bipartite State Machines. Journal Interacting with Computers 17(2), 207–228 (2005)
Gamma, E., et al.: Design Patterns. Addison-Wesley, Reading (1995)
Harel, D.: Statecharts: a Visual Formalism for Complex Systems. In: Science of Computer Programming, pp. 231–274. Elsevier Science Publishers B.V., Amsterdam (1987)
Harel, D., Naamad, A.: The Statemate Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology 5(4), 293–333 (1996)
IEEE Std 830-1993. Recommended Practice for Software Requirements Specifications. Software Engineering Standards Committee of the IEEE Computer Society, New York (1993)
Warmer, J., Kleppe, A.: The Object Constraint Language. Addison-Wesley, Reading (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Draheim, D., Weber, G., Lutteroth, C. (2006). Finite State History Modeling and Its Precise UML-Based Semantics. In: Roddick, J.F., et al. Advances in Conceptual Modeling - Theory and Practice. ER 2006. Lecture Notes in Computer Science, vol 4231. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11908883_7
Download citation
DOI: https://doi.org/10.1007/11908883_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-47703-7
Online ISBN: 978-3-540-47704-4
eBook Packages: Computer ScienceComputer Science (R0)