An UML-based approach for validation of software architecture descriptions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4473 LNCS, Issue , 2007, Pages 158-171

  Kacem, Mohamed Hadj ^a,c   Jmaiel, Mohamed ^a   Kacem, Ahmed Hadj ^b   Drira, Khalil ^c  

^a UNIVERSITY OF SFAX   (Tunisia)

^b Faculty of Economics and Management of Sfax   (Tunisia)

^c LAAS CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; ERROR ANALYSIS; UNIFIED MODELING LANGUAGE;

ABSTRACTION LEVELS; MODELING DISTRIBUTED ARCHITECTURES;

SOFTWARE ARCHITECTURE;

EID: 38049162145     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75912-6_12     Document Type: Conference Paper

References (20)

1. OMG: MDA guide version 1.0.1, document number: omg/2003-06-01. OMG document (2003)
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)
3. Bouabana-Tebibel, T., Belmesk, M.: Formalization of UML object dynamics and behavior. In: SMC'05: Proceedings of the IEEE International Conference on Systems, Netherlands, 10-13 October, pp. 4971-4976. IEEE Computer Society Press, Los Alamitos (2004)
4. Astesiano, E., Reggio, G.: Towards a well-founded UML-based development method. In: SEFM'03: 1st International Conference on Software Engineering and Formal Methods, Brisbane, Australia, 22-27 September 2003, p. 102 (2003)
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)
7. #: 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)
8. France, R.B., Bruel, J.-M., Larrondo-Petrie, M., Shroff, M.: Exploring the semantics of UML type structures with Z. In: FMOODS '97: 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)
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)
10. Laleau, R., Mammar, A.: An Overview of a Method and its Support Tool for Generating B Specifications from UML Notations. In: ASE '00: Proceedings of the 15th IEEE international conference on Automated software engineering, p. 269. IEEE Computer Society Press, Washington, DC, USA (2000)
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)
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 '02: 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)
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)
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)
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)
16. Shen, W., Compton, K., Huggins, J.: A toolset for supporting UML static and dynamic model checking. In: COMPSAC'02: 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)
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'05: The International Conference on Component-Oriented Enterprise Applications, Erfurt, Germany. Lecture Notes in Computer, pp. 25-39 (2005)
18. Hadj Kacem, M., Jmaiel, M., Hadj Kacem, A., Drira, K.: Describing dynamic software architectures using an extended UML model. In: SAC'06: The 21st Annual Symposium on Applied Computing, Track - Model Transformation, ACM SIG Proceedings. Dijon, France, April 23-27, 2006, vol. 2, pp. 1245-1249. ACM Press, New York (2006)
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: Proc. of the 27th International Conference on Software Engineering (ICSE), St. Louis, Missouri, pp. 670-671. ACM Press, New York (2005)
20. Kohler, H.J., Nickel, U., Niere, J., Zundorf, A.: Integrating UML diagrams for production control systems. In: ICSE'00: Proceedings of the 22nd international conference on Software engineering, pp. 241-251. ACM Press, New York, NY, USA (2000)