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.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
OMG: MDA guide version 1.0.1, document number: omg/2003-06-01. OMG document (2003)
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)
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)
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)
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
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Rights 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)