An UML-Based Approach for Validation of Software Architecture Descriptions

  • Mohamed Hadj Kacem
  • Mohamed Jmaiel
  • Ahmed Hadj Kacem
  • Khalil Drira
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4473)

Abstract

UML became a standard for modeling distributed architectures. The development process produces models representing architecture according to different views and different abstraction levels. These models must be valid and coherent together, so the architecture description and its evolutions have to be logical and interpretable. This paper, proposes to define intra and inter profile validations rules enabling one to define the basic elements of each profile, to minimize the modeling errors and to ensure the architecture conformity to its meta-model.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    OMG: MDA guide version 1.0.1, document number: omg/2003-06-01. OMG document (2003)Google Scholar
  2. 2.
    Lopes, D., Hammoudi, S., Bézivin, J., Jouault, F.: Generating transformation definition from mapping specification: Application to web service platform. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 309–325. Springer, Heidelberg (2005)Google Scholar
  3. 3.
    Bouabana-Tebibel, T., Belmesk, M.: Formalization of UML object dynamics and behavior. In: SMC 2005. Proceedings of the IEEE International Conference on Systems, Netherlands, October 10-13, 2004, pp. 4971–4976. IEEE Computer Society Press, Los Alamitos (2004)Google Scholar
  4. 4.
    Astesiano, E., Reggio, G.: Towards a well-founded UML-based development method. In: SEFM 2003. 1st International Conference on Software Engineering and Formal Methods, Brisbane, Australia, September 22-27, 2003, p. 102 (2003)Google Scholar
  5. 5.
    OMG: Meta object facility (MOF) specification (version 1.3). OMG document, Object Management Group: 2001-03-08 (2000), ftp://ftp.omg.org/pub/docs/formal/00-04-03.pdf
  6. 6.
    Legeard, B., Peureux, F., Utting, M.: Automated boundary testing from Z and B. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol. 2391, pp. 21–40. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  7. 7.
    Abrial, J.-R.: B\(^{\mbox{\#}}\): Toward a Synthesis between Z and B. In: Bert, D., Bowen, J.P., King, S. (eds.) ZB 2003. LNCS, vol. 2651, pp. 168–177. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  8. 8.
    France, R.B., Bruel, J.-M., Larrondo-Petrie, M., Shroff, M.: Exploring the semantics of UML type structures with Z. In: FMOODS 1997. Proceeding of the IFIP TC6 WG6.1 international workshop on Formal methods for Open Object-Based Distributed Systems, pp. 247–257. Chapman and Hall, Ltd., London, UK, UK (1997)Google Scholar
  9. 9.
    Kim, S.-K., Carrington, D.A.: A formal model of the UML metamodel: The UML state machine and its integrity constraints. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol. 2272, pp. 497–516. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  10. 10.
    Laleau, R., Mammar, A.: An Overview of a Method and its Support Tool for Generating B Specifications from UML Notations. In: ASE 2000. Proceedings of the 15th IEEE international conference on Automated software engineering, p. 269. IEEE Computer Society Press, Washington, DC, USA (2000)Google Scholar
  11. 11.
    Apvrille, L., Courtiat, J.-P., Lohr, C., de Saqui-Sannes, P.: TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. IEEE Trans. Softw. Eng. 30, 473–487 (2004)CrossRefGoogle Scholar
  12. 12.
    Csertan, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varro, D.: VIATRA: Visual automated transformations for formal verification and validation of UML models. In: ASE 2002. Proceedings of the 17th IEEE international conference on Automated software engineering, Edinburgh, Scotland, UK, 23-27 September 2002, pp. 267–270. IEEE Computer Society, Los Alamitos (2002)Google Scholar
  13. 13.
    Dupuy, S., Ledru, Y., Chabre-Peccoud, M.: An overview of RoZ: A tool for integrating UML and Z specifications. In: Wangler, B., Bergman, L.D. (eds.) CAiSE 2000. LNCS, vol. 1789, pp. 417–430. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  14. 14.
    Schmidt, A., Varro, D.: CheckVML: A tool for model checking visual modeling languages. In: Stevens, P., Whittle, J., Booch, G. (eds.) «UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications. LNCS, vol. 2863, pp. 92–95. Springer, Heidelberg (2003)Google Scholar
  15. 15.
    Latella, D., Majzik, I., Massink, M.: Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker. Formal Aspects of Computing 11, 637–664 (1999)MATHCrossRefGoogle Scholar
  16. 16.
    Shen, W., Compton, K., Huggins, J.: A toolset for supporting UML static and dynamic model checking. In: COMPSAC 2002. Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment, pp. 147–152. IEEE Computer Society Press, Washington, DC, USA (2002)Google Scholar
  17. 17.
    Hadj Kacem, M., Miladi, M.N., Jmaiel, M., Hadj Kacem, A., Drira, K.: Towards a UML profile for the description of dynamic software architectures. In: COEA 2005. The International Conference on Component-Oriented Enterprise Applications, Erfurt, Germany. Lecture Notes in Computer, pp. 25–39 (2005)Google Scholar
  18. 18.
    Hadj Kacem, M., Jmaiel, M., Hadj Kacem, A., Drira, K.: Describing dynamic software architectures using an extended UML model. In: SAC 2006. The 21st Annual Symposium on Applied Computing, Track - Model Transformation, Dijon, France, April 23-27, 2006, vol. 2, pp. 1245–1249. ACM Press, New York (2006)CrossRefGoogle Scholar
  19. 19.
    Burmester, S., Giese, H., Hirsch, M., Schilling, D., Tichy, M.: The Fujaba real-time tool suite: Model-driven development of safety-critical, real-time systems. In: ICSE. Proc. of the 27th International Conference on Software Engineering, St. Louis, Missouri, pp. 670–671. ACM Press, New York (2005)CrossRefGoogle Scholar
  20. 20.
    Kohler, H.J., Nickel, U., Niere, J., Zundorf, A.: Integrating UML diagrams for production control systems. In: ICSE 2000. Proceedings of the 22nd international conference on Software engineering, pp. 241–251. ACM Press, New York, NY, USA (2000)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Mohamed Hadj Kacem
    • 1
    • 3
  • Mohamed Jmaiel
    • 1
  • Ahmed Hadj Kacem
    • 2
  • Khalil Drira
    • 3
  1. 1.University of Sfax, Laboratory ReDCAD-ENIS, B.P. 3038 SfaxTunisia
  2. 2.University of Sfax, Laboratory MIRACL B.P. 1088, 3018 SfaxTunisia
  3. 3.LAAS-CNRS, 7 Avenue du Colonel Roche 31077 ToulouseFrance

Personalised recommendations