Abstract
With the Unified Modeling Language becoming applied in diverse contexts, the ability of defining and checking customized consistency conditions is gaining increasing importance. In this paper, we introduce the Consistency Workbench for defining and establishing consistency in a UML-based development process.
Research supported by the EU Research Training Network SegraVis (on Syntactic and Semantic Integration of Visual Modelling Techniques, see www.segravis.org)
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Engels, G., Heckel, R., Küster, J.M.: Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 272–287. Springer, Heidelberg (2001)
Engels, G., Küster, J.M., Groenewegen, L., Heckel, R.: A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models. In: Gruhn, V. (ed.) Proceedings of the 8th European Software Engineering Conference (ESEC), pp. 186–195. ACM Press, New York (2001)
Formal Systems Europe (Ltd). Failures-Divergence-Refinement: FDR2 User Manual (1997)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)
Küster, J., Heckel, R.: Defining and validating transformations of UML models. In: IEEE Symposium on Visual Languages and Formal Methods (VLFM 2003), Symposia on Human Centric Computing, Languages, and Environments (HCC 2003), Auckland, New Zealand (October 2003) (to appear)
Object Management Group. Unified Modeling Language Specification, version 1.4 (September 2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Engels, G., Heckel, R., Küster, J.M. (2003). The Consistency Workbench: A Tool for Consistency Management in UML-Based Development. In: Stevens, P., Whittle, J., Booch, G. (eds) «UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications. UML 2003. Lecture Notes in Computer Science, vol 2863. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45221-8_30
Download citation
DOI: https://doi.org/10.1007/978-3-540-45221-8_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20243-1
Online ISBN: 978-3-540-45221-8
eBook Packages: Springer Book Archive