Klientsidesrenderade webbapplikationer med JavaScript-ramverk har blivit vanligt inom den moderna programutvecklingen. Modelleringsunderlag för dessa webbapplikationer kan vara relevant inom IT-industrin eftersom modellering är relevant för utveckling av mjukvara. För att ta fram detta underlag genomförs en fallstudie där modelleringsexempel med UML tas fram för en klientsidesrenderad webbapplikation som även implementeras. Detta resultat ger ett exempel för hur modellering av klientsidesrenderad webbapplikation kan utföras med UML- utökning för designmodeller och implementationsmodell. Baserat på resultatet dras slutsatser om att modellering med UML- utökning för klientsidesrenderad webbapplikation kan underlätta implementation av webbapplikationen och göra den underhållbar. / Client side rendered web applications with JavaScript frameworks have become common in modern software development. Modelling support for these web applications could be relevant for people in the IT industry since modelling is relevant for development of software. For producing this modelling support a case study is done where modelling examples with UML are made for a client side rendered web application that also gets implemented. This result gives an example for how modelling of client side rendered web application can be performed with UML extension for design models and implementation model. Based on the result conclusions are drawn that modelling with UML extension for client side rendered web application can ease implementation of the web application and make it maintainable.

<p>Циљ &ndash; Циљ је моделирање и имплементација дигиталне библиотеке теза и дисертација која ће омогућити размену података са CRIS системима базираним на CERIF моделу података као и размену података путем OAI-PMH протокола у различитим форматима метаподатака (Dublin Core, EDT-MS, итд.), претрагу дигиталне библиотеке, као и испунити све локалне захтеве наметнуте од стране научне институције или државе у којој се налази научна институција.<br />Методологија &ndash; Анализиране су различите врсте система које поседују метаподатке о тезама и дисертацијама. Уочено је да у овим системима постоји више стандарда и протокола који омогућују интероперабилност ових система: CERIF стандард, AOI-PMH протокол, итд. Анализирана је могућност креирања једног модела података која ће омогућити интероперабилност са другим системима који садрже метаподатке о тезама и дисертацијама. Креиран је један такав модел употребом CASE алата PowerDesigner. Такође, моделовање дигиталне библиотеке је урађено уз ослонац на овај алат употребом UML дијаграма. Имплементација је извршена употребом Java платформе уз ослонац на библиотеке отвореног кода и приликом имплементације усвојена су добра решења из анализираних система.<br />Резултати &ndash; Дефинисан је скуп метаподатака о тезама и дисертацијама који садржи све метаподатке прописане CERIF моделом података, затим све прописане Dublin Core форматом и EDT-MS форматом и све метаподатке о тезама и дисертацијама који се користе за потребе Универзитета у Новом Саду. Дефинисани метаподаци се могу складиштити у CERIF компатибилном моделу података који складишти метаподатке о тезама и дисертацијама у MARC 21 формату који је основа за дигиталну библиотеку која је предмет ове дисертације. Имплементирана је дигитална библиотека која може да се претражује путем веб апликације, да размењује податке са светском и европском мрежом теза и дисертација. Кориснички интерфејс за унос метаподатка о тезама и дисертацијама имплементиран је тако да не захтева познавање усвојених стандарда.<br />Практична примена &ndash; Дигиталне библиотека је имплементирана као део CRIS UNS система који се користи на Универзитету у Новом Саду. У дигиталној библиотеци постоји више од 3500 дисертација које су одбрањене на Универзитету у Новом Саду од његовог оснивања.<br />Вредност &ndash; Дат је модел података о тезама и дисертацијама који обезбеђује размену података по различитим стандардима. Овај модел је интероперабилан са Европским информационим системима научно-истраживачке делатности који су базирани на CERIF моделу података. Имплементирана дигиталне библиотека може бити чвор у светској као и у европској мрежи дигиталних библиотека теза и дисертација које захтевају комуникацију између својих чворова по OAI-PMH протокола у ETD-MS или Dublin Core формату. Имплементацијом ове дигиталне библиотеке за очекивати је да се повећава доступност теза и дисертација Универзитета у Новом Саду, а самим тим и рејтинг универзитета</p> / <p>Cilj &ndash; Cilj je modeliranje i implementacija digitalne biblioteke teza i disertacija koja će omogućiti razmenu podataka sa CRIS sistemima baziranim na CERIF modelu podataka kao i razmenu podataka putem OAI-PMH protokola u različitim formatima metapodataka (Dublin Core, EDT-MS, itd.), pretragu digitalne biblioteke, kao i ispuniti sve lokalne zahteve nametnute od strane naučne institucije ili države u kojoj se nalazi naučna institucija.<br />Metodologija &ndash; Analizirane su različite vrste sistema koje poseduju metapodatke o tezama i disertacijama. Uočeno je da u ovim sistemima postoji više standarda i protokola koji omogućuju interoperabilnost ovih sistema: CERIF standard, AOI-PMH protokol, itd. Analizirana je mogućnost kreiranja jednog modela podataka koja će omogućiti interoperabilnost sa drugim sistemima koji sadrže metapodatke o tezama i disertacijama. Kreiran je jedan takav model upotrebom CASE alata PowerDesigner. Takođe, modelovanje digitalne biblioteke je urađeno uz oslonac na ovaj alat upotrebom UML dijagrama. Implementacija je izvršena upotrebom Java platforme uz oslonac na biblioteke otvorenog koda i prilikom implementacije usvojena su dobra rešenja iz analiziranih sistema.<br />Rezultati &ndash; Definisan je skup metapodataka o tezama i disertacijama koji sadrži sve metapodatke propisane CERIF modelom podataka, zatim sve propisane Dublin Core formatom i EDT-MS formatom i sve metapodatke o tezama i disertacijama koji se koriste za potrebe Univerziteta u Novom Sadu. Definisani metapodaci se mogu skladištiti u CERIF kompatibilnom modelu podataka koji skladišti metapodatke o tezama i disertacijama u MARC 21 formatu koji je osnova za digitalnu biblioteku koja je predmet ove disertacije. Implementirana je digitalna biblioteka koja može da se pretražuje putem veb aplikacije, da razmenjuje podatke sa svetskom i evropskom mrežom teza i disertacija. Korisnički interfejs za unos metapodatka o tezama i disertacijama implementiran je tako da ne zahteva poznavanje usvojenih standarda.<br />Praktična primena &ndash; Digitalne biblioteka je implementirana kao deo CRIS UNS sistema koji se koristi na Univerzitetu u Novom Sadu. U digitalnoj biblioteci postoji više od 3500 disertacija koje su odbranjene na Univerzitetu u Novom Sadu od njegovog osnivanja.<br />Vrednost &ndash; Dat je model podataka o tezama i disertacijama koji obezbeđuje razmenu podataka po različitim standardima. Ovaj model je interoperabilan sa Evropskim informacionim sistemima naučno-istraživačke delatnosti koji su bazirani na CERIF modelu podataka. Implementirana digitalne biblioteka može biti čvor u svetskoj kao i u evropskoj mreži digitalnih biblioteka teza i disertacija koje zahtevaju komunikaciju između svojih čvorova po OAI-PMH protokola u ETD-MS ili Dublin Core formatu. Implementacijom ove digitalne biblioteke za očekivati je da se povećava dostupnost teza i disertacija Univerziteta u Novom Sadu, a samim tim i rejting univerziteta</p> / <p>Aim &ndash; The aim is modeling and implementation of a digital library of theses and dissertations which will enable data exchange with CRIS systems based on CERIF data model and also data exchange through OAI-PMH protocol in variety of metadata formats (Dublin Core, ETD-MS, etc.), search of digital library, and which will meet all local requirements imposed by scientific institutions or countries in which the research institution is located.<br />Methodology - The variety types of systems which have metadata about theses and dissertations have been analyzed. It was observed that these systems are based on several standards and protocols that allow interoperability of these systems such as: CERIF standard, AOI-PMH protocol, etc. We analyzed the possibility of creating a data model that will enable interoperability with other systems which contain metadata about theses and dissertations. The model is created using the PowerDesigner CASE tool. Also, the modeling of digital libraries was done relying on this tool using UML diagrams. The implementation was done using the Java platform and using set of open source libraries and some good ideas (solutions) from the analyzed systems have been adopted for the implementation.<br />Results - A set of metadata about theses and dissertations that contains all the metadata required by CERIF data model, all the metadata prescribed by Dublin Core format and by EDT-MS format as well as all the metadata about theses and dissertations used for the purposes of the University of Novi Sad is defined. Defined metadata can be stored in the CERIF compatible data model which stores metadata about theses and dissertations in the MARC 21 format. A digital library based on this model that can be searched by web applications and also can exchange data with the world and european network of theses and dissertations is implemented. The user interface for input metadata about theses and dissertations is implemented in such manner that it does not require knowledge of the adopted standards.<br />Practical application - Digital library is implemented as part of CRIS UNS system used at the University of Novi Sad. The digital library stores more than 3500 PhD dissertations defended at the University of Novi Sad since its inception.<br />Value &ndash; A data model about theses and dissertations enabling data exchange by different standards is provided. This model is interoperable with the European information systems of scientific-research activities based on the CERIF data model. Implemented digital library can be a node in the worlds as well as European networked digital library of theses and dissertations that require communication between its nodes by OAI-PMH protocol in ETD-MS or Dublin Core format. It is expected that the implementation of this digital library is going to increase the availability of theses and dissertations from the University of Novi Sad, and therefore the ranking of the university.</p>

The use of distributed systems, involving multiple components, has become a common industry practice. However, modeling the behaviour of such systems is a challenge, especially when the behavior consists of several collaborations of different parties, each involving possibly several starting (input) and ending (output) events of the involved components. Furthermore, the global behavior should be described as a composition of several sub-behaviours, in the following called collaborations, and each collaboration may be further decomposed into several sub-collaborations. We assume that the performance of the elementary sub-collaborations is known, and that the performance of the global behavior should be determined from the performance of the contained elementary collaborations and the form of the composition. A collaboration, in this thesis, is characterized by a partial order of input and output events, and the performance of the collaboration is defined by the minimum delays required for a given output event with respect to an input event. This is a generalization of the semantics of UML Activities, where all input events are assumed to occur at the same time, and all output events occur at the same time. We give a semantic definition of the dynamic behavior of composed collaborations using the composition operators for control flow from UML Activity diagrams, in terms of partial order relationships among the involved input and output events. Based on these semantics, we provide formulas for calculating the performance of composed collaborations in terms of the performance of the sub-collaborations, where each delay is characterized by (a) a fixed value, (b) a range of values, and (c) a distribution (in the case of stochastic behaviours). We also propose approximations for the case of stochastic behavior with Normal distributions, and discuss the expected errors that may be introduced due to ignoring of shared resources or possible dependencies in the case of stochastic behaviours. A tool has been developed for evaluating the performance of complex collaborations, and examples and case studies are discussed to illustrate the applicability of the performance analysis and the visual notation which we introduced for representing the partial-order relationships of the input and output events.

The use of distributed systems, involving multiple components, has become a common industry practice. However, modeling the behaviour of such systems is a challenge, especially when the behavior consists of several collaborations of different parties, each involving possibly several starting (input) and ending (output) events of the involved components. Furthermore, the global behavior should be described as a composition of several sub-behaviours, in the following called collaborations, and each collaboration may be further decomposed into several sub-collaborations. We assume that the performance of the elementary sub-collaborations is known, and that the performance of the global behavior should be determined from the performance of the contained elementary collaborations and the form of the composition. A collaboration, in this thesis, is characterized by a partial order of input and output events, and the performance of the collaboration is defined by the minimum delays required for a given output event with respect to an input event. This is a generalization of the semantics of UML Activities, where all input events are assumed to occur at the same time, and all output events occur at the same time. We give a semantic definition of the dynamic behavior of composed collaborations using the composition operators for control flow from UML Activity diagrams, in terms of partial order relationships among the involved input and output events. Based on these semantics, we provide formulas for calculating the performance of composed collaborations in terms of the performance of the sub-collaborations, where each delay is characterized by (a) a fixed value, (b) a range of values, and (c) a distribution (in the case of stochastic behaviours). We also propose approximations for the case of stochastic behavior with Normal distributions, and discuss the expected errors that may be introduced due to ignoring of shared resources or possible dependencies in the case of stochastic behaviours. A tool has been developed for evaluating the performance of complex collaborations, and examples and case studies are discussed to illustrate the applicability of the performance analysis and the visual notation which we introduced for representing the partial-order relationships of the input and output events.

The thesis deals with the modeling of the Component Based Software (CBS) systems in the UML language and with extension of the UML language with using of meta-modeling techniques and with using of the UML Prodile technology. Thesis also deals with Component Based Development (CBD). The main part of this study deals with specifying of methodology for creating of UML Prodiles and with demonstration of this methodology on selected Component System meta-model by creating the profile including the OCL constraints and description of problems with creating of the prodile. Thesis also describes support of the UML Profile technology in existing UML CASE tools. For demonstration purposes thesis contains the case study with example which uses in this work created UML Profile. Profile is created in accordance with specification of UML version 2.3 and OCL in version 2.2. Demonstration is performed and profile itself is created using IBM Rational Software Architect version 8.0.2.

<p>Извршено је моделирање и имплементација софтверског система за циркулацију који&nbsp;омогућава праћење коришћења библиотечког&nbsp;фонда на нивоу конзорцијума библиотека.&nbsp;Коришћен је методолошки приступ&nbsp;унифицирани процес развоја система. У&nbsp;моделирању архитектуре коришћени су дизајн&nbsp;патерни, а модел је приказан у UML 2.0&nbsp;нотацији. Систем је имплементиран у&nbsp;програмском језику Java.</p><p>У оквиру система развијен је подсистем за&nbsp;клијент/сервер комуникацију који омогућава&nbsp;транспарентну комуникацију клијента и&nbsp;сервера у односу на транспортни протокол&nbsp;које се користи. Подсистем има патерн&nbsp;оријентисану софтверску архитектуру која је заснована на комбинацији неколико дизајн патерна. Његовом интеграцијом у софтверски систем БИСИС омогућен је рад система у различитим мрежним окружењима.</p><p>Такође, подсистем је искоришћен и за комуникацију са другим библиотекама. У оквиру подсистема имплементиран је NCIP протокол чиме је омогућена размена података са библиотекама које користе различите библиотечке софтверске системе. Подсистем омогућава једнообразан начин комуникације клијентске апликације, било са сервером своје библиотеке или серверима других библиотека. Имплементиран је и NCIP сервис који служи за приступ подацима по NCIP протоколу од стране других библиотека.</p> / <p>Izvršeno je modeliranje i implementacija softverskog sistema za cirkulaciju koji&nbsp;omogućava praćenje korišćenja bibliotečkog&nbsp;fonda na nivou konzorcijuma biblioteka.&nbsp;Korišćen je metodološki pristup&nbsp;unificirani proces razvoja sistema. U&nbsp;modeliranju arhitekture korišćeni su dizajn&nbsp;paterni, a model je prikazan u UML 2.0&nbsp;notaciji. Sistem je implementiran u&nbsp;programskom jeziku Java.</p><p>U okviru sistema razvijen je podsistem za&nbsp;klijent/server komunikaciju koji omogućava&nbsp;transparentnu komunikaciju klijenta i&nbsp;servera u odnosu na transportni protokol&nbsp;koje se koristi. Podsistem ima patern&nbsp;orijentisanu softversku arhitekturu koja je zasnovana na kombinaciji nekoliko dizajn paterna. NJegovom integracijom u softverski sistem BISIS omogućen je rad sistema u različitim mrežnim okruženjima.</p><p>Takođe, podsistem je iskorišćen i za komunikaciju sa drugim bibliotekama. U okviru podsistema implementiran je NCIP protokol čime je omogućena razmena podataka sa bibliotekama koje koriste različite bibliotečke softverske sisteme. Podsistem omogućava jednoobrazan način komunikacije klijentske aplikacije, bilo sa serverom svoje biblioteke ili serverima drugih biblioteka. Implementiran je i NCIP servis koji služi za pristup podacima po NCIP protokolu od strane drugih biblioteka.</p> / <p> Modeling and implementation of circulation software system with support for direct consortial borrowing has been done. Unified software development process is used. Software architecture modeling is done using design patterns and it is shown in UML 2.0 notation. System implementation is realized in programming language Java. Subsystem for client/server communication is developed as part of circulation system. Subsystem enables transparent communication between client and server in accordance with used transport protocol. Software architecture of this subsystem is pattern oriented and it is based on combination of several design patterns. By integrating subsystem into system BISIS, it is allowed operation of system in different network environments. Also, subsystem is used for communication with other libraries. NCIP protocol is implemented inside the subsystem by which exchange data with different library software systems is enabled. Subsystem provides unique way of communication between client application and server, no matter whether it is its own library server or servers of other libraries. NICP service used by other libraries to access data according to NICP protocol is implemented, as well.</p>

<p>Извршено је моделирање и имплементација&nbsp;софтверског система за каталогизацију по MARC 21&nbsp;формату. За реализацију система коришћен је&nbsp;обједињени процес за развој софтвера, развој заснован&nbsp;на моделу и развој заснован на софтверским&nbsp;компонентама. Моделирање је извршено у CASE алату<br />235&nbsp;MagicDraw верзија 16.0 који подржава UML 2.0.&nbsp;Имплементација је реализована коришћењем Eclipse&nbsp;plug-in технологије и програмског језика Јава.</p><p>У софтверском алату Xtext специфицирана је граматика&nbsp;за опис модела МАRC 21 записа. На основу ове&nbsp;граматике генерисан је основни едитор и EMF модел.&nbsp;Основни едитор је проширен додатним&nbsp;спецификацијама над EMF моделом. То су следеће&nbsp;спецификације: ограничења на структуру и садржај&nbsp;библиографских записа коришћењем језика Check;&nbsp;темплејти за трансформацију записа у форму&nbsp;каталошког листића коришћењем језика Xpand; понуда&nbsp;предефинисаног скупа података за унос у језику Xtend.&nbsp;</p><p><span style="font-size: 12px;">Извршено је проширење основног едитора додатним&nbsp;</span><span style="font-size: 12px;">функционалностима система за каталогизацију: приказ&nbsp;</span><span style="font-size: 12px;">података о библиографском формату, унос локацијских&nbsp;</span><span style="font-size: 12px;">података, експорт и импорт записа, приказ каталошких&nbsp;</span><span style="font-size: 12px;">листића и библиотечко окружење.&nbsp;</span></p><p>Коришћењем RCP технологије генерисана је&nbsp;софтверска компонента за каталогизацију која се може&nbsp;користити у различитим библиотечким&nbsp;информационим системима.</p> / <p>Izvršeno je modeliranje i implementacija&nbsp;softverskog sistema za katalogizaciju po MARC 21&nbsp;formatu. Za realizaciju sistema korišćen je&nbsp;objedinjeni proces za razvoj softvera, razvoj zasnovan&nbsp;na modelu i razvoj zasnovan na softverskim&nbsp;komponentama. Modeliranje je izvršeno u CASE alatu<br />235&nbsp;MagicDraw verzija 16.0 koji podržava UML 2.0.&nbsp;Implementacija je realizovana korišćenjem Eclipse&nbsp;plug-in tehnologije i programskog jezika Java.</p><p>U softverskom alatu Xtext specificirana je gramatika&nbsp;za opis modela MARC 21 zapisa. Na osnovu ove&nbsp;gramatike generisan je osnovni editor i EMF model.&nbsp;Osnovni editor je proširen dodatnim&nbsp;specifikacijama nad EMF modelom. To su sledeće&nbsp;specifikacije: ograničenja na strukturu i sadržaj&nbsp;bibliografskih zapisa korišćenjem jezika Check;&nbsp;templejti za transformaciju zapisa u formu&nbsp;kataloškog listića korišćenjem jezika Xpand; ponuda&nbsp;predefinisanog skupa podataka za unos u jeziku Xtend.&nbsp;</p><p><span style="font-size: 12px;">Izvršeno je proširenje osnovnog editora dodatnim&nbsp;</span><span style="font-size: 12px;">funkcionalnostima sistema za katalogizaciju: prikaz&nbsp;</span><span style="font-size: 12px;">podataka o bibliografskom formatu, unos lokacijskih&nbsp;</span><span style="font-size: 12px;">podataka, eksport i import zapisa, prikaz kataloških&nbsp;</span><span style="font-size: 12px;">listića i bibliotečko okruženje.&nbsp;</span></p><p>Korišćenjem RCP tehnologije generisana je&nbsp;softverska komponenta za katalogizaciju koja se može&nbsp;koristiti u različitim bibliotečkim&nbsp;informacionim sistemima.</p> / <p> Modelling and implementation of software system for MARC 21 cataloguing have been done. Unified software development process is used as well as model-driven software development and component-based software development. System modelling is done in CASE tool MagicDraw (version 16.0) which supports UML 2.0. System implementation is realised using Eclipse plug-in technology and Java programming languages. Software tool Xtext is used for specification of MARC 21 record grammar. On the basis of this grammar the basic editor and its EMF model have been generated. The basic editor is extended with additional specifications on generated EMF model. Those specifications are: constraints on structure and content of bibliographic record written in Check language; Xpand templates for transforming records into cataloguing cards; content assist extensions written in Xtend. Addition functionalities of cataloguing system are also added to basic editor, and those are: showing data about MARC 21 format, entering holdings data, export and import of records, showing cataloguing cards and librarian environment. At the end, RCP technology is used for generating software component for cataloguing that can be used in different library information systems.</p>

The Master's thesis presents specification, analyze and design phase of software development. The most stress is putted on Model Driven Development. It contains brief description of almost all UML 2.0 diagrams (use case diagram, class diagram, sequence diagram, activity diagram, state chart, component diagram and deployment diagram). Those principles have been extended to executable UML which can be used for model-driven software architecture. The design of such architecture is one of the current projects of Faculty of Information Technology, BUT. The part of that project is statechart simulator. The thesis discusses whole design of state chart simulator system step by step. It starts with specification, walk thought use case diagram and class diagram to collaboration diagram. In the last chapter, we mention the biggest implementation problems and specificities of Squeak Smalltalk programming language. Finally, it considers possibilities for extension and it evaluates results.

Face à la complexité des logiciels multitâches, liée aux contextes économique et concurrentiel très pressants, la portabilité des applications et la réutilisabilité des processus de déploiement sont devenues un enjeu majeur. L'ingénierie dirigée par les modèles est une approche qui aspire répondre à ces besoins en séparant les préoccupations fonctionnelles des systèmes multitâches de leurs préoccupations techniques, tout en maintenant la relation entre eux. En pratique, cela se concrétise par des transformations de modèles capables de spécialiser les modèles pour des plates-formes cibles. Actuellement, les préoccupations spécifiques à ces plates-formes sont décrites implicitement dans les transformations eux même. Par conséquence, ces transformations ne sont pas réutilisables et ne permettent pas de répondre aux besoins hétérogènes et évolutifs qui caractérisent les systèmes multitâches. Notre objectif est alors d'appliquer le principe de séparation de préoccupation au niveau même de la transformation des modèles, une démarche qui garantie la portabilité des modèles et la réutilisabilité des processus de transformation.Pour cela, cette étude propose premièrement une modélisation comportementale détaillée des plates-formes d'exécutions logicielles. Cette modélisation permet d'extraire les préoccupations spécifiques à une plate-forme de la transformation de modèle et les capturer dans un modèle détaillé indépendant et réutilisable. Dans un second temps, en se basant sur ces modèles, elle présente un processus générique de développement des systèmes concurrents multitâches. L'originalité de cette approche réside dans une véritable séparation des préoccupations entre trois acteurs à savoir le développeur des chaînes de transformation, qui spécifient une transformation de modèle générique, les fournisseurs des plates-formes qui fournissent des modèles détaillés de leurs plates-formes et le concepteur des applications multitâche qui modélise le système. A la fin de cette étude, une évaluation de cette approche permet de montrer une réduction dans le coût de déploiement des applications sur plusieurs plates-formes sans impliquer un surcoût de performance. / Given the complexity of multitasked software, linked to very pressing economic and competitive contexts, application portability and deployment process reusability has become a major issue. The model driven engineering is an approach that aspires to meet these needs by separating functional concerns of multitasking systems from their technical concerns, while maintaining the relationship between them. In practice, this takes the form of model transformations that specializes models for target platforms. Currently, concerns specific to these platforms are described implicitly in the transformations themselves. Consequently, these transformations are not reusable and do not meet the heterogeneous evolutionary needs that characterize multitasking systems. Our objective is then to apply the principle of separation of concern even at the level of transformation models, an approach that guarantees portability and reusability of models transformation process.To do this, this study provides first a detailed behavioral modeling of software execution platform. This modeling allows to extract specific concerns from model transformation and to capture them in a detailed platform model independent and reusable. In a second step, based on these models, it presents a generic process for developing concurrent systems. The originality of this approach is a true separation of concerns between three actors: the developer of transformation tool, who specifies a generic model transformation, platform providers that provide detailed models of their platforms and the multitasked system designer that models the system. At the end of this study, an evaluation of this approach shows a reduction in the cost of deploying applications on multiple platforms without incurring an additional cost of performance.

Les systèmes temps réel peuvent être grands, distribués et avoir un environnement dynamique. Cela exige la mise en place de différents modes de fonctionnement et techniques de fiabilité. Par ailleurs, ces différents changements dynamiques d'architecture et de comportement ont un impact sur les caractéristiques temporelles des systèmes qui nécessitent une étude particulière de la capacité des comportements d'adaptation à garantir les contraintes fixées aux systèmes. Le travail présenté dans cette thèse est focalisé sur la spécification de l'adaptabilité d'un système temps réel et l'étude sur de jeux de configurations prédéfinis de l'impact temporel des actions d'adaptation dynamique. Pour cela, nous présentons une méthodologie outillée basée sur la notion de Mode du profil MARTE. Chaque mode représente un comportement possible du système pour un environnement bien déterminé associé à une configuration logicielle. L'approche développée propose de modéliser le comportement adaptatif à travers la définition du contexte, de la variabilité, des opérations de reconfigurations et de la configuration de base. L'analyse d'ordonnançabilité est ensuite effectuée au niveau du modèle en intégrant l'impact des comportements d'adaptation. Deux paradigmes de modélisation peuvent alors être exploités pour effectuer cette analyse : les requêtes et les flots de données. Cela permet de vérifier que les contraintes temporelles de notre système resteront satisfaites en intégrant les opérations de reconfiguration issues du comportement adaptatif. Enfin, l'approche permet de générer des implantations des comportements adaptatifs à partir des modèles afin d'automatiser l'intégration des mécanismes d'adaptation dans les systèmes temps réel. / Real-time systems can be large, distributed and have a dynamic environment. This requires the introduction of various operating modes and reliability techniques. Different operating modes are associated with a different architecture and behavior. Dynamic changes between these modes have an impact on the temporal characteristics of systems which requires an analysis whether the constraints of the system are also fulfilled during adaptations. The work presented in this thesis is focused on specifying the adaptability and the study of the temporal impact of dynamic adaptation actions on a predefined set of configurations. For this purpose, we present a tooled methodology based on the concept of Mode of the MARTE profile. Each mode represents a possible behavior of the system for a well determined environment associated with a software configuration. The influence of these operations on the temporal behavior of the system is done via schedulability analysis. This methodology proposes to model the adaptive behavior through the definition of the context, the variability, the reconfiguration operations and of the base configuration. The schedulability analysis is performed at the model level by incorporating the impact of the behavior of adaptation. Two paradigms of modeling can be exploited to perform this analysis: request/reply and data flow. This allows to verify that the temporal constraints of our system will remain satisfied even with the inclusion of reconfiguration operations executing the adaptive behavior. Finally, the approach allows generating the implementation of adaptive behavior from the model to automate the integration of adaptation mechanisms in real-time systems.