Abstract
One of the main advantages of the UML is its possibility to model different views on a system using a range of diagram types. The various diagrams can be used to specify different aspects, and their combination makes up the complete system description. This does, however, always pose the question of consistency: it may very well be the case that the designer has specified contradictory requirements which can never be fulfilled together.
In this paper, we study consistency problems arising between static and dynamic diagrams, in particular between a class and its associated state machine. By means of a simple case study we discuss several definitions of consistency which are based on a common formal semantics for both classes and state machines. We furthermore show how consistency checks can be automatically carried out by a model checker. Finally, we examine which of the consistency definitions are preserved under refinement.
This research is partially supported by the DFG under grant OL 98/3-1.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Bernardeschi, C., Dustzadeh, J., Fantechi, A., Najm, E., Nimour, A., Olsen, F.: Transformations and Consistent Semantics for ODP Viewpoints. In: Proceedings of Second IFIP conference on Formal Methods for Open Object-based Distributed Systems - FMOODS 1997. Chapman and Hall, Sydney (1997)
Bowman, H., Steen, M.W.A., Boiten, E.A., Derrick, J.: A formal framework for viewpoint consistency. Formal Methods in System Design 21, 111–166 (2002)
Davies, J., Crichton, C.: Concurrency and Refinement in the Unified Modeling Language. Electronic Notes in Theoretical Computer Science, 70(3) (2002)
Derrick, J., Boiten, E.: Refinement in Z and Object-Z. Foundations and Advanced Application. Springer, Heidelberg (2001)
Engels, G., Heckel, R., Küster, J.: Rule-based Specification of Behavioral Consistency based on the UML Meta-Model. In: Gogolla, M. (ed.) UML 2001. LNCS, vol. 2185, p. 272. Springer, Heidelberg (2001)
Engels, G., Heckel, R., Küster, J.M., Groenewegen, L.: Consistency-preserving model evolution through transformations. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 212–226. Springer, Heidelberg (2002)
Engels, G., Küster, J., Heckel, R., Groenewegen, L.: A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models. In: 9th ACM Sigsoft Symposium on Foundations of Software Engineering. ACM Software Engineering Notes, vol. 26 (2001)
Farooqui, K., Logrippo, L.: Viewpoint Transformation. In: Proc. of the International Conference on Open Distributed Processing, pp. 352–562 (1993)
Fischer, C.: CSP-OZ: A combination of Object-Z and CSP. In: Bowman, H., Derrick, J. (eds.) Formal Methods for Open Object-Based Distributed Systems (FMOODS 1997), vol. 2, pp. 423–438. Chapman and Hall, Boca Raton (1997)
Fischer, C., Hallerstede, S.: Data-Refinement in CSP-OZ. Technical Report TRCF-97-3, University of Oldenburg (June 1997)
Fischer, C., Wehrheim, H.: Model-checking CSP-OZ specifications with FDR. In: Araki, K., Galloway, A., Taguchi, K. (eds.) Proceedings of the 1st International Conference on Integrated Formal Methods (IFM), pp. 315–334. Springer, Heidelberg (1999)
Formal Systems (Europe) Ltd. Failures-Divergence Refinement: FDR2 User Manual (October 1997)
Francez, N.: Fairness. Texts and Monographs in Computer Science. Springer, Heidelberg (1986)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)
Josephs, M.B.: A state-based approach to communicating processes. Distributed Computing 3, 9–18 (1988)
Kuzniarz, L., Reggio, G., Sourrouille, J.L., Huzar, Z. (eds.): UML 2002 – Workshop on Consistency Problems in UML-based Software Development, volume 06 of Blekinge IOT Research Report (2002)
Lehmann, D., Pnueli, A., Stavi, J.: Impartiality, Justice and Fairness: The Ethics of Concurrent Termination. In: Even, S., Kariv, O. (eds.) ICALP 1981. LNCS, vol. 115, pp. 264–277. Springer, Heidelberg (1981)
Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1997)
Smith, G.: The Object-Z Specification Language. Kluwer Academic Publishers, Dordrecht (2000)
Smith, G., Derrick, J.: Refinement and verification of concurrent systems specified in Object-Z and CSP. In: Hinchey, M., Liu, S. (eds.) Int. Conf. of Formal Engineering Methods (ICFEM), pp. 293–302. IEEE, Los Alamitos (1997)
OMG Unified Modeling Language specification, version 1.5 (March 2003), http://www.omg.org
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 IFIP International Federation for Information Processing
About this paper
Cite this paper
Rasch, H., Wehrheim, H. (2003). Checking Consistency in UML Diagrams: Classes and State Machines. In: Najm, E., Nestmann, U., Stevens, P. (eds) Formal Methods for Open Object-Based Distributed Systems. FMOODS 2003. Lecture Notes in Computer Science, vol 2884. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39958-2_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-39958-2_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20491-6
Online ISBN: 978-3-540-39958-2
eBook Packages: Springer Book Archive