Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

An UML-Based Approach for Validation of Software Architecture Descriptions

  • Conference paper
Trends in Enterprise Application Architecture (TEAA 2006)

Part of the book series: Lecture Notes in Computer Science ((LNISA,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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. OMG: MDA guide version 1.0.1, document number: omg/2003-06-01. OMG document (2003)

    Google Scholar 

  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. 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. 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. 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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. 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)

    Article  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. 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)

    Article  MATH  Google Scholar 

  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. 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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. University of Sfax, Laboratory ReDCAD-ENIS, B.P. 3038 Sfax, Tunisia

    Mohamed Hadj Kacem & Mohamed Jmaiel

  2. University of Sfax, Laboratory MIRACL B.P. 1088, 3018 Sfax, Tunisia

    Ahmed Hadj Kacem

  3. LAAS-CNRS, 7 Avenue du Colonel Roche 31077 Toulouse, France

    Mohamed Hadj Kacem & Khalil Drira

Authors
  1. Mohamed Hadj Kacem
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mohamed Jmaiel
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ahmed Hadj Kacem
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Khalil Drira
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dirk Draheim Gerald Weber

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kacem, M.H., Jmaiel, M., Kacem, A.H., Drira, K. (2007). An UML-Based Approach for Validation of Software Architecture Descriptions. In: Draheim, D., Weber, G. (eds) Trends in Enterprise Application Architecture. TEAA 2006. Lecture Notes in Computer Science, vol 4473. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75912-6_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-75912-6_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-75911-9

  • Online ISBN: 978-3-540-75912-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation