Formal Description of the UML Architecture and Extensibility

Since its emergence in 1995, the Unified Modeling Language (UML) has become part of the mainstream of object-oriented software development in a wide range of applications. This paper presents a formal description of UML technologies for visualized specification and modeling of software systems, and analyzes the usability of UML views and diagrams. Requirements and extension of UML capability to real-time software system specification and description are explored, and a real time process-algebra-based approach for extending UML’s descriptivity for real-time system modeling is provided. In addition, findings and improvement approaches on UML applications in real-world projects are discussed. RÉSUMÉ: Depuis son émergence en 1995, UML est devenu prépondérant dans les développements de logiciels orienté-objets et pour une grande variété d’applications. Ce papier présente une approche formelle des techniques UML pour la présentation visuelle des spécifications et la modélisation de systèmes logiciels. Il analyse également l’utilisation des vues et des diagrammes UML. Les besoins et les extensions d’UML vers les systèmes tempsréel sont explorés et une algèbre de processus temps-réel est proposée. Finalement des références et des améliorations d’UML pour des applications ou des projets réels sont discutées.