Work concern using SPEM/UML profile to modeling development processes with emphasizes on project management processes. Presents SPEM capabilities and lacks, and propose SPEM extensions to facilitate modeling.

Addressing Quality of Service and specification of quality attributes has been gaining a growing importance in the software engineering area. The research presented in this study investigates different approaches to specification of Quality of Service. UML profile for Quality of Service is one of the standards of the Quality of Service specification and is described in the QoS specification context. The research aim of this thesis is the evaluation of the UML profile for Quality of Service against the following criteria: expressiveness, reusability, understandability, applicability and tool support, as well as further comparison of the profile with other Quality of Service specification languages. To perform that, several tasks and activities were conducted, such as a survey on different QoS specification languages, an examination of the UML profile for Quality of Service, the formulation of the evaluation criteria, and the appliance of the criteria in the evaluation and comparison processes. This study is performed from the perspective of readers and users of the profile that are not UML experts but have sufficient knowledge of UML in terms of software systems analysis and design. The context of the UML profile and Quality of Service aspects include basic concepts of the UML 2.0 and Quality of Service which will be described along the thesis. The main contribution of the thesis is the evaluation of the UML profile for Quality of Service against a set of criteria, followed by explanations on the contents of the profile and how Quality of Service is specified within it. The presented comparison of the UML profile and other Quality of Service specification languages could be the basis for a user to decide what language to use in a particular situation. This study can be comprehended as a starting point for further evaluation of the UML profile and its comparison with other quality specification languages.

Design patterns describe solutions that can be used in a particular context for commonly recurring problems at the detailed design level of a software system. Patterns have become an important concept in object-oriented development and their usage is a widely accepted practice. This thesis investigates issue of tool support for design patterns usage that can be offered by UML modelling tools, and proposes UML based method and notation for specification of the patterns, and documentation of their instances in a design model, facilitating such support. Different ways of such support are presented and classified, and comparison of tools offering assistance for patterns usage is depicted. UML profile supporting specification of structural aspects of solutions proposed by design patterns, and documentation of their instances is specified in the thesis.

Darbo tikslas – sukurti specializuotą modeliavimo aplinką, skirtą organizacijos struktūros specifikavimui. Tipinė organizacija yra suskirstyta į padalinius, kuriuose dirba darbuotojai, kuriems priskirta viena ar kita pareigybė ir atlieka įvairius vaidmenis organizacijos projektuose. Analitinė modeliavimo kalbų ir įrankių apžvalga parodė, kad vieningo būdo specifikuoti organizacijos struktūrą nėra. Daugeliu atveju organizacijos struktūra modeliuojama neformaliomis diagramomis, kurias sudėtinga analizuoti ir atnaujinti. Darbe siūlomas nesudėtingas organizacijos struktūros meta modelis bei jo realizacija UML profiliu. Naudojantis MagicDraw UML įrankio funkcinėmis savybėmis – stereotipų adaptavimu, validavimo taisyklėmis bei ataskaitų generavimu – sukurta specializuota organizacijų struktūros modeliavimo aplinka. Praktinė sukurtos aplinkos vertė pademonstruota taikant ją konkrečios organizacijos UAB “Baltijos programinė įranga” struktūros modeliavimui. / The goal of this thesis is to create a specialized modeling environment for defining organization structures. A typical organization defines some organization units, has a number of employees that are assigned to a specific organization unit, play a specific role in an organization and may be involved in projects to play different roles. The research of modeling tools and languages shows that there is no single dominant approach to modeling organization structure, and in most cases it is modeled informally, which makes it difficult to analyze and maintain. This thesis proposes a simple meta-model covering the most important organization structure concepts and their mappings to UML profile. A specialized environment for modeling organization structures is created using MagicDraw UML tool features – stereotype customizations, validation rules, and report generation. For demonstrating the practical value of the created environment, modeling the structure of a real organization Baltijos programine iranga is presented.

Un système logiciel embarqué est dit reconfigurable, s’il peut modifier son comportement ou son architecture selon l’évolution des exigences de son contexte d’utilisation et la variation des contraintes de son environnement d’exécution. La croissance constante de la complexité afférente et l’autonomie indispensable à la gestion des systèmes logiciels embarqués rendent la reconfiguration de plus en plus importante. Les défis concernent autant le niveau modèle de conception que le niveau environnement et support d’exécution. Les contributions de ce travail portent sur la reconfiguration dynamique guidée par les modèles dans le processus de développement des systèmes logiciels embarqués. Elles ciblent à la fois le niveau modélisation et le niveau plate-forme d’exécution. Par ailleurs, nous proposons une approche basée sur l’ingénierie dirigée par les modèles permettant le passage automatisé et fiable des modèles vers l’implantation, sans rupture de la chaîne de production. / An embedded software system is reconfigurable when it can modify its behavior or its architecture. The reconfigurations are launched according to the evolution of context requirements and the variation of execution environment constraints. The constant growth of the complexity in embedded systems makes the reconfiguration more important and more difficult to achieve. The challenges concern as much the design model level as the runtime support level. The development of these systems according to the traditional processes is not more applicable in this context. New methods are necessary to conceive and to supply reconfigurable embedded software architectures. We propose a model driven approach that enables to specify dynamic embedded software architectures with respect to non-functional properties. We also propose a runtime support that enables to perform dynamic embedded applications generated from a high level description.

Over the years, number of design methodologies were developed. One of the state-of-the-art modeling approaches is Model Driven Architecture. This thesis is an attempt to utilize the MDA in a specific and complex domain – real-time systems development. In MDA framework there are three levels of abstraction: computation independent, platform independent and platform specific. The target environment of the method presented in the thesis is Ada 2005 programming language which extended the old version of the language with several new object-oriented features making it suitable for using with the MDA. Application of the MDA in real-time systems domain targeted towards Ada 2005 implementation constitutes a new design method which benefits from the MDA, UML and Ada 2005 advantages. The thesis starts with presentation of the complexity of the real-time systems domain. A few real-time domain aspects are chosen as a main area for elaborating the design method. The utilizes UML Profile for Schedulability, Performance and Time for defining platform independent model. Additionally it provides its extension – the Ada UML profile – which constitutes the platform specific model. This is followed by specification of transformations between platform independent and specific model. The specification is used as a base for implementation of the transformations. Guidelines for code generation form the Ada UML profile are also provided. Finally, the thesis describes how the transformations can be implemented in Telelogic TAU tool. / gruszka.robert@gmail.com

By analyzing the last years of software development evolution, it is possible to observe that the involved technologies are increasingly focused on the definition of models for the specification of the intended software products. This model-centric development schema is the main ingredient for the Model-Driven Development (MDD) paradigm. In general terms, the MDD approaches propose the automatic generation of software products by means of the transformation of the defined models into the final program code. This transformation process is also known as model compilation process. Thus, MDD is oriented to reduce (or even eliminate) the hand-made programming, which is an error-prone and time-consuming task. Hence, models become the main actors of the MDD processes: the models are the new programming code. In this context, the interoperability can be considered a natural trend for the future of model-driven technologies, where different modeling approaches, tools, and standards can be integrated and coordinated to reduce the implementation and learning time of MDD solutions as well as to improve the quality of the final software products. However, there is a lack of approaches that provide a suitable solution to support the interoperability in MDD processes. Moreover, the proposals that define an interoperability framework for MDD processes are still in a theoretical space and are not aligned with current standards, interoperability approaches, and technologies. Thus, the main objective of this doctoral thesis is to develop an approach to achieve the interoperability in MDD processes. This interoperability approach is based on current metamodeling standards, modeling language customization mechanisms, and model-to-model transformation technologies. To achieve this objective, novel approaches have been defined to improve the integration of modeling languages, to obtain a suitable interchange of modeling information, and to perform automatic interoperability verification. / Giachetti Herrera, GA. (2011). Supporting Automatic Interoperability in Model-Driven Development Processes [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/11108 / Palancia

No description available.

Les travaux développés dans cette thèse définissent une approche pour la gestion des impacts des évolutions des profils UML sur les modèles instances. Sur la base d'organisation des diverses connaissances identifiées lors de l'analyse des évolutions d'un profil UML, nous proposons un processus automatisé PEM (Profil Evolution Method) permettant l'identification des évolutions a posteriori sous forme de différences, la reconstruction de ces différences en opérations d'évolution conformes au métamodèle UML, la classification de leur impact et, finalement, l'adaptation des modèles à la nouvelle version du profil UML. L'approche intègre également une activité de formalisation et d'utilisation de patrons d'évolution contenant toutes les informations essentielles employées à chaque étape de notre processus. Ces patrons sont employés dans notre système P²E (Papyrus Profile Evolution) pour guider le concepteur des modèles ou des profils, dans la gestion des évolutions d'un profil UML en évaluant efficacement un sous ensemble suffisant et pertinent d'éléments et de paramètres d'évolution d'un profil UML.Les principales contributions de l'approche résident dans la formalisation d'opérateurs d'évolution à partir du métamodèle UML, la proposition d'une classification des impacts des évolutions sur les modèles instances, la modélisation semi-formelle et explicite d'un catalogue de patron d'évolution contenant les solutions d'adaptation à appliquer sur les modèles instances. / This thesis proposes an approach for the management of UML profiles evolutions and their impacts on instance models. Based on the analysis of standardized UML profiles evolutions, we propose an automated process called PEM (Profile Evolution Method) allowing the evolutions identification a posteriori and their representations as differences; the reconstruction of these differences as evolution operations that are compliant with the UML metamodel; their impacts classification and, finally, the instance models adaptation towards the new UML profile version.The approach includes also an activity of formalization of previous knowledge in the form of evolution patterns. The patterns contain all the essential information used at each step in our P²E system (Papyrus Profile Evolution). They guide the models designer or the profiles designer, in the management of the UML profiles evolution by evaluating efficiently a sufficient subset with pertinent evolving elements and their evolution parameters.In this approach, the major contributions consist in the formalization of evolution operators extracted from the UML metamodel, the proposal of an evolution impacts classification, the specification of a pattern catalog that is semi-formal and explicit for the designers. Finally, the specification of adaptation solutions (to adapt the old model versions to the new UML profile version).

La gestion des incertitudes constitue un sujet particulièrement important pour le processus de développement des systèmes (DS) complexes. Il faut donc améliorer la flexibilité et la prédictibilité des processus de DS en proposant une méthodologie pour appréhender et maîtriser les incertitudes qu’ils comportent, ce qui passe par la modélisation. Le travail présenté dans ce mémoire se concentre sur deux questions indispensables dans ce but : (1) Comment gérer les incertitudes pendant le processus de DS ? (2) Comment représenter les incertitudes dans la modélisation de processus de DS ? Pour répondre à ces questions, la thèse propose une méthodologie incluant l’identification des incertitudes, l’analyse de leurs effets, leur réduction et/ou leur exploitation, et leur surveillance et leur contrôle ; elle définit également une démarche de modélisation des incertitudes avec le langage UML en proposant un méta-modèle des incertitudes et un nouveau profil UML "Uncertainty-of" qui permet de rendre ce méta-modèle opérable avec les outils UML. La validité de la méthodologie et du profil proposés a été testée par l’étude d’un cas industriel. Cette étude a montré que la définition d’une telle méthodologie était utile pour l’organisation de la gestion des incertitudes dans la conception et le développement de systèmes, et que la création d’un nouveau profil UML apportait une solution pertinente dans la représentation des incertitudes. / Uncertainty management is a particularly important issue for complex systems development (SD) processes. The overall objective to be attained in this context is to improve the flexibility and predictability of SD process by proposing a methodology to understand and master the uncertainties. We believe that modeling uncertainties is an indispensable step in this direction. For this purpose, the presented work in this thesis focuses on two critical issues : (1) How should we manage uncertainties in SD processes ? (2) How can we represent uncertainties in modeling such processes ? In order to answer to these questions, this thesis proposes a methodology including identification, analysis of impact, diminution and / or exploitation, and monitoring and control of uncertainties ; and it also defines an approach to modeling uncertainties with UML by proposing a meta-model of uncertainties and a new UML profile named "Uncertaintyof", which allows to make this meta-model operable with UML tools. The validity of our proposals was tested by an industrial case study, which showed that the definition of such a methodology is helpful to manage the uncertainties in systems design and development, and that the creation of a new UML profile provides a valid solution in the representation of uncertainties.