Abstract
Model quality is still an open issue, and a first step towards quality could be to establish and use style guides. A style guide is a set of rules aiming to help the developer improving models in many directions such as good practices, methodology, consistency, modeling or architectural style, conventions conformance etc. First, this paper attempts to clarify the meaning of notions being used such as rule or modeling domain semantics. Then, several examples illustrate a possible classification of rules, and the verification process is detailed. A style guide is not universal: each project manager should be able to customize his/her set of rules according to specific needs. In addition to rules expressed in OCL, we describe a user interface to facilitate the specification of rules based on quantifiers, along with the translation of these rules into OCL.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Ambler, S.W.: The Elements of UML 2.0 Style. Cambridge University Press, Cambridge (2005)
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998)
Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: A visualization of OCL using collaborations. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 257–271. Springer, Heidelberg (2001)
Caplat, G., Sourrouille, J.L.: MDA: Model Mapping using Formalism Extension. IEEE Software 22(2), 44–51 (2005)
Farkas, T., Hein, C., Ritter, T.: Automatic Evaluation of Modeling Rules and Design Guidelines. In: Proc. of the Workshop From code centric to Model centric Soft. Eng., http://www.esi.es/modelware/c2m/papers.php
Harel, D., Rumpe, B.: Modeling Languages: Syntax, Semantics and All That Stuff, TR MCS00-16, The Weizmann Institute of Science (2000)
Hnatkowska, B.: Verification of Good Design Style of UML Models. In: Proc. Int. Conf. Information System Implementation and Modeling (2007)
ISO, International Organization for Standardization, ISO 9126-1:2001, Software engineering – Product quality, Part 1: Quality model (2001)
Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison-Wesley, Reading (1999)
Kiesner, C., Taentzer, G., Winkelmann, J.: Visual OCL: A Visual Notation of the Object Constraint Language. Technical Report 2002/23, Tech. Univ. of Berlin (2002)
Kuzniarz, L., Pareto, L., Sourrouille, J.-L., Staron, M.: Third intenational workshop on quality in modeling. In: Giese, H. (ed.) MoDELS 2007 Workshops. LNCS, vol. 5002, pp. 271–274. Springer, Heidelberg (2008)
Lange, C.F.J., DuBois, B., Chaudron, M.R.V., Demeyer, S.: Experimentally investigating the effectiveness and effort of modeling conventions for the UML. CS-Report 06-14, Tech. Univ. Eindhoven (2006)
Malgouyres, H., Motet, G.: A UML model consistency verification approach based on meta-modelling formalization. In: Biham, E., Youssef, A.M. (eds.) SAC 2006. LNCS, vol. 4356, pp. 1804–1809. Springer, Heidelberg (2007)
Sourrouille, J.-L., Caplat, G.: A Pragmatic View about Consistency Checking of UML Model, Work. Consistency Problems in UML-Based Software Dev., pp. 43–50 (2003)
UML, OMG Unified Modeling Language, Version 2.1.2 (2007)
Sourrouille, J.L., Hindawi, M., Morel, L., Aubry, R.: Specifying consistent subsets of UML. In: Proc. Educators Symposium, Models 2008, pp. 26–38 (2008) ISBN 83-916444-8-0
Hindawi, M., Morel, L., Aubry, R., Sourrouille, J.L.: Description and Implementation of a Style Guide for UML. In: Proc. 3rd Workshop on Quality in Modeling, IT Univ Göteborg RR 2008:02, pp. 31–45 (2008) ISSN 1654-4870
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hindawi, M., Morel, L., Aubry, R., Sourrouille, JL. (2009). Description and Implementation of a UML Style Guide. In: Chaudron, M.R.V. (eds) Models in Software Engineering. MODELS 2008. Lecture Notes in Computer Science, vol 5421. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01648-6_31
Download citation
DOI: https://doi.org/10.1007/978-3-642-01648-6_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01647-9
Online ISBN: 978-3-642-01648-6
eBook Packages: Computer ScienceComputer Science (R0)