PH.D

Dissertation

Title: A multi-dimensional architecture description language for forward and reverse evolution of component-based software PDF DefensePDF

Publications

Journal

A. MOKNI, M. HUCHARD, C. URTADO, S. VAUTTIER and H. Y. ZHANG. A formal approach for managing component-based architecture evolution. Sci. Comput. Program. 127: 24-49 (2016), Elsevier 2016.

B. Hamid, H. Y. Zhang, J. Geisel & D. Gonzalez. First Experiment on Modeling Safety Lifecycle Process in Railway Systems. International Journal of Dependable and Trustworthy Information Systems (IJDTIS), vol. 2, no. 2, pages 17-39, 2011.

Conference

J. Luo, L. Zhang and H. Y. Zhang, Design of a cloud robotics middleware based on web service technology, 2017 18th International Conference on Advanced Robotics (ICAR), Hong Kong, China, 2017, pp. 487-492.

C. Huang, L. Zhang, T. Liu, and H.Y. Zhang, A Control Middleware for Cloud Robotics, 13th IEEE International Conference on Information and Automation (IEEE ICIA 2016), Ningbo, China, 2016.

Lei Zhang, Huaxi (Yulin) Zhang, Zheng Fang, Xianbo Xiang, Marianne Huchard, and Rene Zapata. Towards an architecture-centric approach to manage variability of cloud robotics. In 6th International Workshop on Domain-Specifi c Languages and models for ROBotic systems (DSLROB2015), Hamburg, German, Semptember 2015.

Huaxi (Yulin) Zhang, Lei Zhang, Zheng Fang, Harold Trannois, Marianne Huchard, and Rene Zapata. CRALA: Towards a domain specific language of architecture-centric cloud robotics. In Proc. of the 2015 IEEE Int. Conf. on Information and Automation (ICIA2015), Lijiang, China, August 2015.

A. MOKNI, M. HUCHARD, C. URTADO, S. VAUTTIER and H. Y. ZHANG. An evolution management model for multi-level component-based software architectures. Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering. Pittsburgh, USA, July 2015. AR 30%.

L. Zhang, H. Zhang, Quan Xu, Z. Fang and R. Zapataz. Dedal2: An ADL supporting domain specific software development. Intelligent Control and Automation (WCICA), 2014 11th World Congress on, Shenyang, 2014, pp. 5432-5437.

H.Y. Zhang, L. Zhang, Q. Xu, C. Urtado, S. Vauttier and M. Huchard. A formalized architecture-centric evolution process for component-based software system. Intelligent Control and Automation (WCICA), 2014 11th World Congress on, Shenyang, 2014, pp. 3461-3466.

A. MOKNI, M. HUCHARD, C. URTADO, S. VAUTTIER and H. Y. ZHANG. Fostering component reuse: automating the coherence verification of multi-level architecture descriptions. Proceedings of the 9th International Conference on Software Engineering Advances. Nice, France, October 2014. AR 30%.

A. MOKNI, M. HUCHARD, C. URTADO, S. VAUTTIER and H. Y. ZHANG. Formal rules for reliable component-based architecture evolution. Proceedings of the 11th international symposium on Formal Aspects of Component Software. Bertinoro, Italy, September 2014. AR 45%.

A. MOKNI, M. HUCHARD, C. URTADO, S. VAUTTIER and H. Y. ZHANG. A three-level formal model for software architecture evolution. Proceedings of the 7th Seminar on Advanced Techniques &Tools for Software Evolution. L’Aquila, Italy, July 2014.

A. MOKNI, M. HUCHARD, C. URTADO, S. VAUTTIER and H. Y. ZHANG. Modélisation et vérification formelles en B des architectures logicielles à trois niveaux. Actes de la troisième Conférence en IngénieriE du Logiciel, Catherine Dubois, Nicole Levy, Marie-Agnès Peraldi-Frati et Christelle Urtado éditeurs, pages 71-77. Paris, France, Juin 2014.

H. (Yulin) Zhang, C. Urtado, S. Vauttier, L. Zhang, M. Huchard, and B. Coulette, Dedal-CDL: Modeling First-class Architectural Changes in Dedal. Proceedings of the Joint 10th Working IEEE/IFIP Conference on Software Architecture & 6th European Conference on Software Architecture. Helsinki, Finland, August 2012. AR 35,7%.PDF

H. Y. ZHANG, L. ZHANG, C. URTADO, S. VAUTTIER and M. HUCHARD. A three-level component model in component-based software development. Proceedings of the 11th International Conference on Generative Programming and Component Engineering, ACM. Dresden, Germany, September 2012. AR 42,9%. PDF

L. Zhang, H. Zhang, Z. Fang, R. Zapata & M. Huchard. A Domain Specific Architecture Description Language for Autonomous Mobile Robots. In Information and Automation (ICIA), 2012 International Conference on, pages 283-288. IEEE, 2012.

H. Y. Zhang, B. Hamid and D. Gouteux. A metamodel for representing safety lifecycle development process. In Proceedings of the 6th International Conference on Software Engineering Advances (ICSEA’11), Barcelona, Spain, October 2011. AR 30%. PDF

H. Y. ZHANG, C. URTADO and S. VAUTTIER. Architecture-centric component-based development needs a three-level ADL. Proceedings of the 4th European Conference on Software Architecture (ECSA’10), M. A. Babar and I. Gorton editors, pages 295-310. LNCS 6285, Springer. Copenhagen, Denmark, August 2010. AR 25,3%. PDF

H. Y. ZHANG, C. URTADO and S. VAUTTIER. Architecture-centric development and evolution processes for component-based software. In Proceedings of 22nd International Conference on Software Engineering and Knowledge Engineering (SEKE’10), San Francisco Bay, USA, July 2010. PDF

H. Y. ZHANG, C. URTADO and S. VAUTTIER. Dedal: un ADL à trois dimensions pour gérer l’évolution des architectures à base de composants. In Proceedings of Conférence Francophone sur les Architectures Logicielles (CAL2010). PDF

H. Y. ZHANG, C. URTADO and S. VAUTTIER. Connector-driven process for the gradual evolution of component-based software. In Proceedings of the 20th Australian Software Engineering Conference (ASWEC’09). IEEE. Gold Coast, Australia, April 2009. PDF Bibtex

H. Y. ZHANG, C. URTADO and S. VAUTTIER. Connector-driven gradual and dynamic software assembly evolution. In Proceedings of the International Conference on Innovation in Software Engineering (ISE’08), M.Mohammadian editor, pages 345-350, IEEE. Vienna, Austria, December 2008. PDF Bibtex

Workshop

S. Trujillo, I. Alonso, B. Hamid, D. Gonzalez, M. Blanco and H. Y. Zhang. Towards variability support for security and dependability patterns : a case study. In SPLC Workshops, page 27, 2011.

Deliverables

Common Engineering Process Metamodel. TERESA-Project, Feb. 2011. Deliverable D3.2. Page 1-89.

Domain Specific Engineering Process Models. TERESA-Project, Jan. 2012. Deliverable D3.4a. Page 1-68.

Technique report

H. Y. Zhang, C. Urtado, S. Vauttier., L. Zhang and M. Huchard. Architecture-Centric Software Evolution Based on Dedal. IRIT/RR-2011-22-FR. Feb. 2011. Page 1-11.

Presentations

Mars 2014 : Sécurité avancée dans le Cloud via OpenStack. Meetup of OpenStack Rhône-Alpes, Lyon. PDF

Janvier 2010 : Un langage de description d’architectures multi-dimensionnel pour l’évolution directe et la rétro-évolution de logiciels à base de composants. Journée “évolution et Ingénierie des Modèles” (RIMEL du GDR GPL), Montpellier. PDF

April 2009 : Connector-driven process for the gradual evolution of component-based software. In Proceedings of the 20th Australian Software Engineering Conference (ASWEC2009).Gold Coast, Australia.

December 2008 : Connector-driven gradual and dynamic software assembly evolution. In Proceedings of the International Conference on Innovation in Software Engineering (ISE08). Vienna, Austria. PDF

September 2007 : Intelligent Connectors. International Summer School of Software Engineering. University of Salerno, Italy.