This research has highlighted the importance of the multiple roles in design and change organizations and the benefits to have quantitative tools and qualitative tools to support decision making. Hence the aims and objectives of this research are a model driven approach to support integrated decision making in MEs. The author has identified a gap in the lack of a systematic way to model MEs to facilitate integrated decision making. Initial Modelling Methodology (IMM) has been established based on Manufacturing System Integration (MSI) group at Loughborough University so that improvement of this methodology can be investigated to facilitate integrated decision making. Artwork is an industrial furniture manufacturer based in Loughborough and is used as the company case study of this research. IMM has been tested in exploratory research case 1 at a low level of production at Artwork. The experimentations of case 1 have been carried out to study the impact of product volume and variety on specific process section at low level. The result has shown that IMM lacks the ability to facilitate integrated decision making aspect and it can be developed to achieve aims and objectives. This leads to additional concepts of (1) modelling at different level of abstraction to realise the benefit of multiple levels of modelling, (2) deploying the improved views of W, P and R sub-systems to assist in exercising simulation modelling and (3) identifying possible users in planning with scope and focus of decision making. These three concepts were added into IMM and known as Extended Modelling Methodology (EMM). The EMM has been tested in exploratory research case 2 at a mid-level of production system at Artfrom with four types of experimentations: 1) balancing resources of production system, 2) demand change, 3) rework impact and 4) delay impact. The evaluation of results has shown a systematic way of the EMM to facilitate decision making individually and collectively. Therefore the overall research contributions are a new model driven approach to support conceptual design and change of manufacturing systems in aspect of integrated decision making. However, limitations of this research can be addressed as limited availability of data, range and detail of case studies and limited range of modelling techniques explored here. It follows that scopes of future works are utilization of EMM in other domains, consideration of other reference models, investigation of EMM in other company case studies and establishment of a comprehensive database applied in EMM and development of coherent simulation models. In addition, this thesis has also presented ongoing research on developing and testing EMM in another company case study in aircraft engine manufacturer.

Pastaruoju metu informacinių technologijų pasaulyje dažnai minimos paslaugomis ir įvykiais grindžiamų sistemų architektūros. Greitai besikeičiančiame verslo pasaulyje įmonėms yra aktualu turėti sistemas, kurios greitai ir lengvai būtų priderintos prie besikeičiančių verslo procesų ir sumažintų tokių sistemų kūrimo ir palaikymo išlaidas. Naudodamos paslaugomis grindžiamą architektūrą, įmonės gali lanksčiai tvarkyti savo veiklą ir kurti sistemas, nekeisdamos turimos techninės ar programinės įrangos. Nors literatūroje yra gausu straipsnių apie įvykiais grindžiamas sistemas ir jų privalumus, tačiau sistemos architektui, nusprendusiam sukurti įvykiais grindžiamos sistemos projektą, iškyla aktualus klausimas: kaip aprašyti ir modeliuoti įvykius, kurie ateina iš išorės arba sugeneruojami pačios sistemos ar vartotojų veiksmų su sistema metu. Akivaizdu, kad šiuo metu nėra populiarios metodikos, kuri apibrėžtų, kaip reikia atlikti įvykių modeliavimą ir jį panaudoti informacinių sistemų kūrimo procese. Šiame darbe nagrinėjami įvykiais grindžiamų sistemų modeliavimo metodai ir realizavimo technologijos. Atsižvelgiant į analizės rezultatus pateikiama įvykiais grindžiamų sistemų modeliavimo ir realizavimo metodika. Ši metodika pritaikyta ir įvertinta sukuriant publikacijų portalo prototipą. / Nowadays the terms SOA (Service Oriented Architecture) and event driven systems are often used when talking about systems with large scalability, performance and interoperability. In fast changing business world it is vital to have systems that could be easily changed whenever new functionality is needed. Using service oriented architecture companies can easier adapt its business process to changed business rules. Even though there are a lot of articles and publications about event driven systems and their advantages, but the system architect who decides to build an event driven system is facing the problem: how to model and describe events of the system. Obviously, that there are no popular and widely accepted methodology for event driven system modelling. The goal of this work is to develop a methodology for modelling an event driven systems. This methodology describes the metamodel for event modelling and the usage of the event model in system development life cycle. The developed methodology for modelling and implementation of event-driven information systems was used for making a model of publications portal prototype. Usage of this methodology in system design process adds more clarity, because all the events, which can be generated in the system and their types, are described in one diagram – event model. The event model elements can be used in other model diagrams, such as sequence or state machine diagrams.

Submitted by MARCIA ROVADOSCHI (marciar@unifra.br) on 2018-08-24T19:52:07Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_TatianaPriscillaMartinsTeixeiraDeCamargo.pdf: 1023201 bytes, checksum: caa2d30e4a8e1c55c17e9f38b7b4a6ef (MD5) / Made available in DSpace on 2018-08-24T19:52:07Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_TatianaPriscillaMartinsTeixeiraDeCamargo.pdf: 1023201 bytes, checksum: caa2d30e4a8e1c55c17e9f38b7b4a6ef (MD5) Previous issue date: 2014-08-01 / The aim of this study was to analyze the Gradebooks of two teachers, participants of our research, who took part in IPTIS (PIBID)/Franciscan University Center and work in two State and City schools in Santa Maria. Considering such records as a device for their continued training , we analyze the report of the facts, observations they considered relevant during the school year of 2013 - year in which they implemented the Mathematical Modelling Methodology with their students - as well as their thoughts about the pedagogical practices they performed. Therefore, the research problem was “Do the gradebooks contribute for the continued training of mathematics teachers involved in IPTIS (PIBID)/Franciscan University Center, focusing on the use of Mathematical Modelling Modelling in their practices?” The study was part of a wider project approved by NCSTD (CNPq): NCSTD (CNPq): Social, Applied Social and Human Sciences edict, announcement MSTI (MCTI)/ NCSTD (CNPq) /MEC/CIHEP (CAPES) Number 18/2012, entitled “The Mathematical Modelling Method as a possibility of improvement in the initial and continued training of teachers who work in several teaching levels”, coordinated by professor Dr. Vanilde Bisognin and of which the advisor of such study is a participant. The research was qualitative, founded on the theories of Denzin and Lincoln (1994), who corroborate ideas of Lüdke and André (1986). They consider the research qualitative when it is developed in a real situation, in a natural context. According to D‘ambrósio (1996) the qualitative research is focused on the individual inserted in his/her natural environment. In the Mathematical Modelling Methodology, we refer Bassanezi (2002), among other authors who research such methodology. The instruments involved gradebooks of two teachers with digital and documental records, and semi-structured interviews, in the end of the research. Based on the interviews, we verified that teachers. Considering their Gradebooks, there were some difficulties in the first records of their practices, since they only described the content and how they developed the content with their students, That was not the aim. However, along the monthly records sent to us, we verified that each teacher’s Gradebook was increasingly being built and that the difficulty of the teachers to write down their thoughts and describe their feelings decreased. One of the results of our endeavor was to remove the lack of habit and motivation regarding writing such registers that, earlier, were sporadic and unstructured, without corresponding to one of the Gradebook models suggested by Porlán and Martin (1997) or by Zabalza (2004). They began to develop models of Gradebooks organized by periods, subjects and well planned activities (representing a significant improvement in their written material). Such activities enabled them to read and reflect about what they had previously developed during the classes, providing a larger involvement with their pedagogical practice. . The Gradebooks, as a support device for continued training, can be used as a reference in the sense of improving those practices. They can be considered as an instrument of documental record to guide teacher’s planning and creation of materials and creative and differentiated didactic activities concerning teaching Mathematics, that can be used in the next school years. As a result, the study highlights more qualified professionals and more motivated students to learn and live Mathematics, considering the adopted methodology, internalizing it from daily situations, and changing the traditional scenery in the classroom. / No presente trabalho, teve-se como objetivo analisar os Diários de Aula de duas professoras participantes do PIBID/Centro Universitário Franciscano que atuam em duas Escolas da rede estadual e municipal de ensino na cidade de Santa Maria, sendo estas os sujeitos participantes de nossa pesquisa. Tendo seus Diários como dispositivo de formação continuada, analisamos os registros de fatos, observações que consideraram relevantes durante o período do ano letivo de 2013, em que implementaram a Metodologia de Modelagem Matemática com seus alunos e as reflexões que fizeram à cerca de sua práticas pedagógicas. Desse modo o problema de pesquisa envolveu: Os Diários de Classe contribuíram para a formação continuada de professores de Matemática envolvidos no PIBID/Centro Universitário Franciscano tendo por foco a utilização da Metodologia de Modelagem Matemática em suas práticas? O trabalho fez parte de um projeto maior aprovado pelo CNPq: Edital Ciências Humanas e Sociais Aplicadas, chamada MCTI/CNPq/MEC/CAPES Nº 18/2012, sob o título “A metodologia da Modelagem Matemática como possibilidade de qualificação da formação inicial e continuada de professores para os diferentes níveis de ensino”, coordenada pela professora Dra. Vanilde Bisognin e que contou com a atuação conjunta da orientadora deste projeto. A pesquisa foi de cunho qualitativo, fundamentada nas teorias de Denzin e Lincoln (1994) que corroboram ideias próximas de Lüdke e André (1986) e que consideram como qualitativa, pois se desenvolve numa situação real, num contexto natural. Para D‘Ambrósio (1996) a pesquisa é focalizada no indivíduo inserido em seu meio natural. Na Metodologia da Modelagem Matemática referenciamos Bassanezi (2002) dentre outros autores que pesquisam esta temática. Os instrumentos utilizados envolveram os Diários de Classe das duas professoras com registro documental e digital, e entrevistas estruturadas no final da pesquisa. Quanto aos seus Diários, houve algumas dificuldades nos primeiros registros de suas práticas, pois descreveram apenas o conteúdo e como o desenvolveram com seus alunos, o que não constitui a finalidade do mesmo. Mas ao longo de seus registros mensais que nos eram enviados o Diário de cada professora ia sendo construído. Percebemos que a dificuldade de colocar seus pensamentos no papel e descrever seus sentimentos tornava-se cada vez mais distante. Um dos resultados de nosso trabalho foi destituir a falta de hábito e estímulo em escrever esses registros que antes eram esporádicos e desestruturados sem atender a um dos modelos de Diário sugerido por Porlán e Martin (1997) ou por Zabalza (2004) e elaborar modelos de seus Diários organizados por períodos, assuntos e atividades bem planejadas (uma melhora significativa até mesmo em suas escritas), em que elas pudessem ler e refletir sobre o que já tinha sido desenvolvido em aulas anteriores, proporcionando um maior envolvimento com sua prática pedagógica. Os Diários, como dispositivo de formação continuada tornaram-se mais um referencial no sentido de melhorar essas práticas. Serviram como um instrumento de registro documental para orientá-las em seus planejamentos e elaboração de materiais e atividades didáticas criativas e diferenciadas voltadas para o ensino da Matemática, podendo ainda ser utilizados para os próximos anos letivos. Como resultados professoras mais qualificadas e alunos mais estimulados para aprender e vivenciar a Matemática a partir da metodologia adotada internalizando-a com situações cotidianas mudando assim o cenário tradicional de sala de aula.

Le développement et l’application des langages formels sont un défi à long terme pour la science informatique. Un enjeu particulier est l’acceptation par l’industrie. Cette thèse présente une approche pour la modélisation et la vérification des postes d’aiguillage français. La première question est la modélisation du système d’enclenchement par les réseaux de Petri colorés (RdPC). Un cadre de modélisation générique et compact est introduit, dans lequel les règles d’enclenchement sont modélisées dans une structure hiérarchique, tandis que les installations sont modélisées dans une perspective géographique. Ensuite, un patron de modèle est présenté. C’est un modèle paramétré qui intègre les règles nationales françaises qui peut être appliquée pour différentes gares. Puis, un concept basé sur l’événement est présenté dans le processus de modélisation des parties basses des postes d’aiguillage. La deuxième question est la transformation des RdPCs en machines B, qui va aider les concepteurs sur la route de l’analyse à application. Tout d’abord, une méthodologie détaillée, s’appuyant sur une table de correspondance, du RdPCs non-hiérarchiques vers les notations B est présentée. Ensuite, la hiérarchie et la priorité des transitions du RdPC sont successivement intégrées dans le processus de mapping, afin d’enrichir les possibilités de types de modèles en entrées de la transformation. Les machines B produites par la transformation permettent la preuve automatique intégrale par l’Atelier B. L’ensemble de ces travaux, chacun à leur niveau, contribuent à renforcer l’efficacité d’un cadre global d’analyse sécuritaire / Development and application of formal languages are a long-standing challenge within the computer science domain. One particular challenge is the acceptance of industry. This thesis presents some model-based methodologies for modelling and verification of the French railway interlocking systems (RIS). The first issue is the modellization of interlocking system by coloured Petri nets (CPNs). A generic and compact modelling framework is introduced, in which the interlocking rules are modelled in a hierarchical structure while the railway layout is modelled in a geographical perspective. Then, a modelling pattern is presented, which is a parameterized model respecting the French national rules. It is a reusable solution that can be applied in different stations. Then, an event-based concept is brought into the modelling process of low-level part of RIS to better describe internal interactions of relay-based logic. The second issue is the transformation of coloured Petri nets into B machines, which can help designers on the way from analysis to implementation. Firstly, a detailed mapping methodology from non-hierarchical CPNs to abstract B machine notations is presented. Then the hierarchy and the transition priority of CPNs are successively integrated into the mapping process, in order to enrich the adaptability of the transformation. This transformation is compatible with various types of colour sets and the transformed B machines can be automatically proved by Atelier B. All these works at different levels contribute towards a global safe analysis framework