Abstract
UML has been established as a de facto standard for modeling software. It offers a set of complementary diagram types used to document functional, dynamic and static views of a system. UML diagrams diversification and their multi-view representation can cause inconsistencies among the diagram types used to model the system during the different development phases. This paper presents an automated COSMIC-based approach for checking the consistency between the activity and component diagrams. First, it defines measurement procedures to determine the functional size of both diagrams. Secondly, it proposes a set of heuristics to ensure the consistency in terms of COSMICFSM. Third, it presents a tool for measuring the functional size of these diagrams, and then checking their consistency.
Keywords
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
Albrecht, A.J.: Measuring application development productivity. In: Proceedings of the IBM Application Development Symposium, Monterey, California, pp. 83–92 (October 1979)
Ali, M., Ben Abdallah, H., Gargouri, F.: Validation des besoins dans les modèles UML 2.0. In: XIVème congrés INFORSID, Hammamet, Tunisia (2006)
Azzouz, S., Abran, A.: A proposed measurement role in the RUP and its implementation with ISO 19761: COSMIC-FFP. In: SMEF 2004, Rome, Italy (2004)
van den Berg, K., Dekkers, T., Oudshoorn, R.: Functional size measurement applied to UML-based user requirements. In: SMEF 2005, Rome, Italy (2005)
Bévo, V., Levesque, G., Abran, A.: Application de la méthode FFP à partir d’une spécification selon la notation UML. In: IWSM 1999, Lac Supérieur, Canada (1999)
COSMIC Group. Case Study: Rice Cooker (May 22, 2008)
COSMIC Functional Size Measurement Method Version 3.0.1, Measurement Manual, Published by the COSMIC Group (2011), http://www.cosmicon.com/portal/dl.asp
Engels, G., Heckel, R., Küster, J.M.: Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model. In: 4th International Conference on UML, Modeling Languages, Concepts, and Tools, London, UK, pp. 272–286 (2001)
Gabay, J., Gabay, D.: UML 2 Analyse et conception: mise en œuvre guidée avec des études de cas. Dunod, Paris (2008)
Knieke, C., Huhn, M., Lochau, M.: Modeling and Validation of Executable Requirements Using Live Activity Diagrams. In: SERA 2008, Prague (2008)
Lavazza, L., Del Bianco, V.: A Case Study in COSMIC Functional Size Measurement: The Rice Cooker Revisited. In: Abran, A., Braungarten, R., Dumke, R.R., Cuadrado-Gallego, J.J., Brunekreef, J. (eds.) IWSM 2009. LNCS, vol. 5891, pp. 101–121. Springer, Heidelberg (2009)
Lind, K., Heldal, R., Harutyunyan, T., Heimdahl, T.: CompSize: Automated Size Estimation of Embedded Software Components. In: IWSM 2011, Nara, Japan (2011)
Luckson, V., Lévesque, G.: Une méthode efficace pour l’extraction des instances de concepts dans une spécification UML aux fins de mesure de la taille fonctionnelle de logiciels. In: ICSSEA 2004, Paris (2004)
OMG Unified Modeling Language (OMG UML). Version 2.4.1. Object Management Group (2011)
Sellami, A., Ben-Abdallah, H.: Functional Size of Use Case Diagrams: A Fine-Grain Measurement. In: ICSEA 2009, Porto, Portugal (2009)
Sengupta, S., Bhattacharya, S.: Formalisation of UML Diagrams and Their Consistency Verification – A Z Notation Based Approach. In: Isec 2008, Hyderabad, India (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sellami, A., Haoues, M., Ben-Abdallah, H. (2013). Automated COSMIC-Based Analysis and Consistency Verification of UML Activity and Component Diagrams. In: Filipe, J., Maciaszek, L.A. (eds) Evaluation of Novel Approaches to Software Engineering. ENASE 2013. Communications in Computer and Information Science, vol 417. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54092-9_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-54092-9_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-54091-2
Online ISBN: 978-3-642-54092-9
eBook Packages: Computer ScienceComputer Science (R0)