There exist a number of well-known and validated design metrics, and the fault prediction available through these metrics has been well documented for systems developed in languages such as C and Ada. However, the mapping and application of these metrics to SDL systems has not been thoroughly explored. The aim of this project is to test the applicability of these metrics in classifying components for testing purposes in a large-scale SDL system. A new model has been developed for this purpose. This research was conducted using a number of SDL systems, most notably actual production models provided by Motorola Corporation. / Department of Computer Science

Thesis (Ph.D.)--University of Waikato, 2007. / Title from PDF cover (viewed February 29, 2008) Includes bibliographical references (p. 149-160)

Stuttgart, Univ., Fakultät Informatik, Diplomarb., 1998.

Orientador: Eleri Cardozo / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-22T00:45:17Z (GMT). No. of bitstreams: 1 RomeroAlvarez_MariaAdela_M.pdf: 4956354 bytes, checksum: 485df929b92a112e3338d22f6c617063 (MD5) Previous issue date: 1996 / Resumo: No desenvolvimento de Sistemas Distribuídos Abertos o uso de recursos que facilitem o entendimento do sistema, a verificação do seu comportamento, a implementação e a documentação são muito importantes. O objetivo deste trabalho é empregar práticas de Engenharia de Software ao processo de desenvolvimento de Sistemas Distribuídos Abertos através da aplicação de métodos, técnicas e ferramentas adequadas. Um estudo de caso foi realizado abordando requisitos temporais e de comunicação, próprios de aplicações distribuídas. Foi utilizado o método OMT (Object Modeling Technique) na modelagem estática do sistema e a técnica SDL (Specification and Description Language) na parte dinâmica e funcional. Duas ferramentas foram utilizadas para edição dos modelos, simulação do comportamento do sistema, geração de código e documentação do sistema. São apresentados os resultados obtidos bem como uma avaliação dos métodos, técnicas e ferramentas utilizados. Conclui-se que a combinação de OMT e SDL e a utilização das ferramentas escolhidas beneficiam significativamente o processo de desenvolvimento de Sistemas Distribuídos Abertos / Abstract: The development of open distributed systems is better conducted when the activities related to overall system understanding, behavior verification, implementation, and documentation are well supported. The objective of this work is to use Software Enginneering practices in the development of open distributed systems, proposing an appropriate combination of methods, techniques, and tools. A study was carried out taking into account temporal and communication requirements, characteristics very common in distributed applications. The combination mentioned above inc1udes the OMT method for modeling the static aspects of the system, the SDL technique for modeling the dynamical and functional aspects, and CASE tools for graphical edition df the diagrams, simulation, code generation, and documentation. An evaluation of the methods, techniques and tools used is also presented. One conc1usionof this evaluation reveals that the proposed combination of methods improve several aspects of the open distributed systems development process, as reported in the thesis / Mestrado / Automação Industrial / Mestre em Engenharia Elétrica

Orientador: Walter da Cunha Borelli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-25T11:13:00Z (GMT). No. of bitstreams: 1 Barreto_MatheusdeCarvalho_M.pdf: 5411951 bytes, checksum: 03617380c5b23608e58b09d83a021a4f (MD5) Previous issue date: 1999 / Resumo: Nessa tese são especificadas formalmente em SDL (Specification and Description Language) e simuladas através do SDT1 (SDL Design Tool), as sinalizações de Registro (Registration) e Conexão (Call Setup) de um terminal em uma rede ATM sem fio - WATM. Na especificação da sinalização de Registro, é proposta a inclusão de um sinal, Updated, cuja função é atualizar os dados de registro do terminal, quando ocorrer dele ser registrado inicialmente como visitante, e ter seu registro modificado para seu próprio domínio. Para a sinalização de Conexão é proposta uma modificação na seqüência onde é verificada a aceitação da qualidade de serviço (QoS) da conexão. Essa modificação visa diminuir o fluxo de mensagens entre os componentes da rede quando o pedido de conexão é recusado devido ao QoS. As especificações propostas foram simuladas com o objetivo de validação. Foram simuladas várias configurações para a rede WATM. Os resultados das simulações são apresentados em gráficos MSC (Message Sequence Chart) onde são mostradas as mensagens trocadas entre os elementos da rede, para cada uma das sinalizações especificadas. São também mostrados exemplos de falhas de especificação detectadas durante as simulações e suas correções / Abstract: In this thesis, the Registration and Call Setup signallings of a terminal in a wireless ATM network - WATM are formally specified in SDL (Specification and Description Language) and simulated using the SDT1 (SDL Design Tool). During the Registration signalling specification, the insertion of a signal, Updated, is proposed, which has the function of updating the terminal registration data, whenever the terminal is initially registered as a visitor, and has its register data modified to its own domain. To the Call Setup signalling a modification on the sequence is proposed, where the acceptance of the quality of service (QoS) of the connection is verified. This modification aims at decreasing the messages flow among the components of the network when the connection request is denied due to the QoS. For the purpose of validation, the specifications proposed were simulated. Many configurations of the WATM network were simulated. The simulations results were presented in MSC (Message Sequence Chart) graphics, where the messages swapped among the network devices, for each specified signalling, are shown. Some examples of specifications faults detected during the simulations as well as their corrections were also shown / Mestrado / Mestre em Engenharia Elétrica

There are a countless number of methods in the field of Information Systems Development (ISD) today, where only a few have received much attention by practitioners. These ISD methods are described and developed using knowledge in the field of Method Engineering (ME). Most methods concern either what a system is to contain or how the system is to be realised, but as of now, there is no best method for all situations. Bridging the gap between the fuzzier "what"-methods and the more formal "how"-methods is difficult, if not impossible. Methods therefore need to be integrated to cover as much of the systems life cycle as possible. An integration of two methods, one from each side of the gap, can be performed in a number of different ways, each way having its own obstacles that need to be overcome. The case study we have performed concerns a method integration of the fuzzier Business Process Model (BPM) in the EKD method with the more formal description technique SDL (Specification and Description Language). One meta model per technique was created, which were then used to compare BPM and SDL. The integration process consisted of translating EKD business process diagrams into SDL correspondences, while carefully documenting and analysing encountered problems. The encountered problems mainly arose because of either transaction-independence differences or method focus deviations. The case study resulted in, for example, a number of implications for both EKD and SDL, as well as for ME, and include suggestions for future work.

Dagens samhälle lägger mer fokus på hållbarhet än tidigare, där institutionella investerare är en central aktör, vilket gör att intresset för hållbara investeringar växer. Institutionella investerare har skiftat fokus mot mer hållbara investeringar på grund av press från deras kunder och företagen har idag ett stort socialt ansvar, grundat på sociala-, bolagsstyrnings- och miljökriterier. Aktörer på finansmarknaden erbjuder idag ett stort antal gröna fonder, där de ställer hållbarhetskrav på bolaget som ingår i fonden. Företagen som ger ut hållbarhetsrapporten har även ett ökat engagemang för att ge ut rapporter av hög kvalité, samtidigt som kraven på rapporterna har ökat. 2014 presenterades ett nytt EU-direktiv som ligger till grund för den svenska lagstiftning som trädde i kraft 2016. Den nya lagen innehåller bestämmelser om att bolag med en viss storlek ska upprätta en hållbarhetsrapport och företagen ska även lämna upplysningar kring sociala förhållanden, miljö, personal, korruption och mänskliga rättigheter. Vilka icke-monetära värde som skapas genom en hållbarhetsrapport har till viss del undersökts, men vilka faktorer som bidrar till detta värde har inte tydligt förklarats. Därav var syftet med studien att genom ett tjänstelogiskt perspektiv förstå vilka värdefaktorer i hållbarhetsrapporteringen som påverkar värdeförslaget baserat på icke-monetära värden till institutionella investerare. Genom förståelse för existerande brister i dagens hållbarhetsrapporter kopplat till lagkrav och extern granskning var syftet att presentera hur ett tydligare värdeförslag kan uppnås i framtiden. I studien tillämpades en kvalitativ ansats där telefonintervjuer genomfördes med 11 respondenter med goda kunskaper inom området. Resultatet visar på att det finns värdefaktorer som skapar ett värdeförslag idag, där de mest centrala faktorerna var information kring risker och möjligheter, samt hur bolagets självkännedom kan gynna både företagets interna verksamhet och externa kommunikation. De främsta bristerna som i hållbarhetsrapporterna var bristen på jämförbarhet och bristen på tydliga, kvantifierbara mål. För att skapa ett tydligare värdeförslag föreslogs fortsatt samarbete mellan aktörerna, en ökad extern granskning, enhetliga ramverk samt ändrat lagstiftning för att driva utvecklingen kring rapporteringen framåt.

Den tekniska utvecklingen har skapat en unik möjlighet för den traditionella handelns verksamheter att övergå till en digital plattform eller e-handel. E-handeln har sett en stor ökning de senaste åren och anses vara ett seriöst alternativ till den traditionella handel då det ger konsumenter en möjlighet att anpassa tjänsten efter sina egna krav och behov.    Syftet med studien är att undersöka informationsutbyte mellan aktörer inom e-handelns dagligvaruhandel. Digitaliseringen innebär att konsument och leverantör av tjänsten inte möts som de tidigare gjort. Detta innebär att kommunikationen måste bli tydligare för att hjälpa konsumenten. Informationsutbytet mellan konsument och handlare måste ersättas med tillräcklig produktinformation för att underlätta kundens inhandling. E-handel och fysiska butiker skiljer sig på många sätt och hanteringen av färskvaror är en viktig aspekt.  Service-dominant logic (SDL) används som studiens primära ramverk för att analysera empirin och förstå vad som drar konsumenter till dagligvaruhandelns e-handel. SDL är en logik som till skillnad från sin föregångare ställer aktörer i centrum, inom dagligvaruhandeln inkluderar det primärt kunden och handlaren. Aktörerna skapar gemensamt ett value co-creation vilket kan ses som ett samskapat värde där båda parter måste finnas för att skapa ett värdeerbjudande.      Studien valde att utforma en kvalitativ undersökning utifrån tre centrala punkter: konsumentperspektivet, tekniska perspektivet och tjänsteperspektivet. Utifrån det gjordes intervjuer som sedan transkriberades och analyserades för att besvara studiens frågeställningar.    Analysen av resultatet gjordes genom studiens ramverk (SDL) samt den omskrivna litteraturen för att komma fram till ett resultat. Resultatet av analysen visar att studiens informanter upplever informationsutbytet som otillräckligt samt att det inte uppfyller deras krav kring tjänsten. Bristen av information påverkar därför även hanteringen av färskvaror, det framgår inte tydligt hur konsumenten ska gå till väga för att lösa situationen. / The technical development has created a unique opportunity for the traditional trade businesses to move to a digital platform or e-commerce format. E-commerce has seen a large increase in the past years and is considered a major alternative to the more traditional trade since it gives consumers an opportunity to adapt the service to meet their needs. The aim of the study is to investigate information exchange between actors involved in grocery stores e-commerce. The digitization means that consumers and suppliers of the service do not physically meet, which means that that communication must be replaced to help the consumer. The exchange of information between consumer and retailer must be replaced with sufficient product information to facilitate customer needs. E-commerce and physical stores differ in many ways and the handling of fresh produce is an important aspect. Service-dominant logic (SDL) is used as the study's primary theoretical framework for analyzing the empirical data and to better understand what draws consumers to the grocery trade's e-commerce. SDL is a logic that, unlike its predecessor, puts actors at the center, in the grocery trade it primarily includes the customer and the retailer. The actors create a value co-creation, which can be seen as a co-created value where both parties must be present to create the joint value. The study chose to design a qualitative study based on three central points: the consumer perspective, the technical perspective and the service perspective. Based on this, interviews were conducted which were then transcribed and analyzed to answer the study's questions. Analysis of the result was done with the theoretical framework (SDL) and the rewritten literature to arrive at a conclusion. The results of the analysis show that the study's informants perceive the exchange of information as insufficient and do not meet their demands regarding the service. The lack of information therefore also affects the handling of fresh produce, it’s not clear how the consumer should go about resolving the situation.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Empresas de manufatura tradicionalmente concentram os seus esforços em concepção, desenvolvimento, fabricação e comercialização de produtos físicos. No entanto, alguns fabricantes têm alterado suas estratégias de negócio, complementando a venda de produtos com o fornecimento de serviços, incorporando conhecimentos e atividades associados ao seu uso, e gerando maior percepção de valor por parte dos seus clientes. Com isso, a competição estratégica por meio de serviços tem se tornado uma marca distintiva das empresas de manufatura inovadoras, proporcionando à empresa um meio robusto para proteger o seu mercado dos concorrentes. Assim, observa-se um interesse crescente em pesquisas sobre o papel dos serviços para sustentar a competitividade da indústria. Abordagens orientadas a serviço, que incorporam esta mudança de foco do negócio, da oferta de produtos isolados para soluções integradas, têm sido tratadas na comunidade acadêmica como servitização, e tipicamente acarretam inovações no modelo de negócios (MN) da empresa. O objetivo deste trabalho é investigar como as empresas podem promover inovações em seus MNs para suportar suas estratégias de servitização, e propor um conjunto de artefatos para apoiá-las na implantação destas estratégias, a partir do seguinte problema de pesquisa: \"Como inovar o MN de uma empresa que adota a estratégia de servitização?\", que se desdobra nas seguintes questões: (i) quais são os principais fatores motivadores para uma empresa adotar a estratégia de servitização?; (ii) como representar o MN de uma empresa incorporando a lógica dominante de serviço, mais adequada para servitização?; (iii) como inovar o MN de uma empresa para implantar sua estratégia de servitização?; e (iv) como aplicar os artefatos propostos para apoiar a implantação da estratégia de servitização em uma empresa? Realiza-se uma pesquisa de natureza exploratória e prescritiva, baseada no método design scienceresearche amparada por uma revisão sistemática da literatura sobre os temas correlatos, visando propor artefatos em resposta às questões colocadas. A demonstração de um dos artefatos propostos é feita com suporte de um estudo de caso em uma empresa multinacional, fabricante de equipamentos médicos, seguida por uma avaliação empírica desta demonstração, suportada pelo método thinkingaloud. A partir das quatro questões de pesquisa, são obtidos os seguintes resultados: (i) identificação, análise e categorização dos principais fatores motivadores para adoção da servitização; (ii) proposição de uma arquitetura de MN incorporando a lógica dominante de serviço, para facilitar o estudo da servitização; (iii) proposição de um processo de inovação do MN da empresa, para implantar a servitização. e (iv) demonstração e avaliação da arquitetura proposta de MN para servitização. A pesquisa oferece contribuições à literatura de MN e servitização, e aos gestores de empresas, propondo os artefatos canvas do modelo de negócios para servitização (CMNS) e o processo IPIDI para inovação do MN para servitização, além de contribuições metodológicas relativas a design scienceresearch e thinking aloud. / Manufacturing companies traditionally are focused on designing, developing, manufacturing and marketing physical products. However, some manufacturers are changing their business strategies, complementing the sale of products by providing services, adding knowledge and activities associated with their use, and creating a higher perception of value by their customers.Strategic competition through service delivery has become a hallmark of the innovative manufacturing companies, providing the companies with a robust means to protect their market from competitors. Thus, there is a growing interest in researching the role of services in sustaining the competitiveness of manufacturing industry.Service-oriented approaches, which incorporate this shift in business\' focus from offering isolated products, to proposing integrated solutions, have been addressed in the literature as servitization, and typically entail innovations in the company\'s business model (BM). The goal of this research is investigating how companies can promote transformations in their BMs to support their servitization strategies, and proposing a set of artifacts to support them in the implementation of these strategies, since the following research problem: \"How to innovate the BM of a company which adopts the servitization strategy? \", which unfolds in the following questions: (i) what are the main motivating factors for a company to adopt the servitization strategy?; (ii) how to represent the BM of a company incorporating the service-dominant logic, more suitable for servitization?; (iii) how to innovate a company\'s BM to implement its servitization strategy ?; and (iv) how to apply the proposed artifacts to support the implementation of the servitization strategy in a company? An exploratory and prescriptive research is carried out, based on the design science research methodology, and supported by a systematic literature review on the related subjects, aiming at proposing artifacts in response to the questions posed. The demonstration of the proposed artifacts is done by means of a case study in a multinational company, which manufactures medical devices, followed by an assessment of this demonstration, supported by the thinking aloud method. From the four research questions, the following results are obtained: (i) identification, analysis and categorization of the main motivating factors for servitization adoption; (ii) proposing a BM architecture according to the service-dominant logic, to help the servitization study; (iii) proposing an innovation process for the company\'s BM, to implement the servitization; and (iv) demonstration and assessment of the proposed BM architecture for servitization. The research offers contributions to the literature of BM and servitization, and to practitioners, proposing the artifacts business model canvas for servitization (BMCS) and the IPIDI process for innovation of BM for servitization, besides some methodological contributions related to design science research and thinking aloud.