Made available in DSpace on 2014-06-12T15:54:14Z (GMT). No. of bitstreams: 2 arquivo6624_1.pdf: 2520643 bytes, checksum: b69b2ba2918606ef2803cf6322485425 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / The Unified Modeling Language (UML) has far outgrown its initial purpose as a standard visual notation for constructing intuitive, high-level blueprint models of object-oriented software. A series of extension, such as OCL, XMI, ASL, MOF, UML profiles, and different proposed formal semantics, to the language and to its application scope have fedoff each other in synergy. While these extensions constitute a sound starting point to make UML the pivotal element for the Model-Driven Engineering (MDE) and Semantic Web (SW) visions, many other building blocks are still missing, including: (1) Complete formal semantics for UML and OCL; (2) UML inference engine based on such semantics to support model checking and intelligent agent reasoning with UML semantic web ontologies; (3) UML model compilers to fully automate both structural and behavioral code generation from detailed UML/OCL models. In this thesis, we present the MODELOG framework based on a single proposal to address these three issues: it consists of an automatic mapping from fully refined UML/OCL models to the object-oriented logic programs in the Flora-2, an executable and Turing-complete language with a well-defined formal semantics. We developed the MODELOG mapping as model transformations. As source for these transformations, we reused the UML2 and OCL2 metamodels provided by OMG and as target we developed a Flora metamodel. As we experimented and compared two language to implement the transformation: the dedicated transformation language ATL based on OCL, and Flora itself viewed as a model transformation language. As validating case study for MODELOG, we developed the Triangram robotic assembly puzzle. It is an example of planning tasks often executed by agents and it requires a complex class hierarchy together with complex structural and behavioral constraints. The Flora PSM of this puzzle was entirely automatically generated from its UML/OCL model by applying the MODELOG transformations. The main originality of this thesis is twofold. First, it simultaneously tackles various gaps in UML for its new extended role: formal specification language, MDE, semantic web services and agent engineering, Second, it does so without putting forward any new language but only by reusing a theoretically consolidated and efficiently implemented one. In contrast, previous proposals tend be limited to one or two such applications while often proposing new languages. The thesis makes contributions to various fields: For MDE, it shows the feasibility of completely automated full structural and behavioral executable code generation from a UML/OCL PIM, on a non-trivial, complex case study involving automated reasoning; For agile development, it reconcile that the robustness of formal methods with the early testing of fast prototyping, since MODELOG not only generates executable code, but also model checking code from UML/OCL models. For UML and OCL, it provides a fully integrated denotational formal semantics in Transaction Frame Logic on which Flora is based; For logic programming, it provides compositional metamodels of all the languages integrated in the Flora platform that clarify their relations and make them available as source or target language for a variety of MDE tasks such as model checking and fast prototyping; it also provides a way to develop logic programs using the consolidated full-life cycle object-oriented software engineering processes; For agent engineering, it shows how to get combine the complementary strengths of the object-oriented and logic paradigms, the two mostly widely reused in agent-oriented methods; For the semantic web service development, its introduced a highly automated MDE approach allowing to model them visually with UML-based industrial strengths method and CASE tools, and automatically generate their specification in the W3C standard SWSL, which is a XML-enabled variant of Flora

Submitted by Renata Lopes (renatasil82@gmail.com) on 2018-05-04T11:52:00Z No. of bitstreams: 1 leonardodeaguiarpereira.pdf: 2326653 bytes, checksum: 8c6f963d57bb5da46d8fcfcac54d29b8 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2018-09-03T16:02:00Z (GMT) No. of bitstreams: 1 leonardodeaguiarpereira.pdf: 2326653 bytes, checksum: 8c6f963d57bb5da46d8fcfcac54d29b8 (MD5) / Made available in DSpace on 2018-09-03T16:02:00Z (GMT). No. of bitstreams: 1 leonardodeaguiarpereira.pdf: 2326653 bytes, checksum: 8c6f963d57bb5da46d8fcfcac54d29b8 (MD5) Previous issue date: 2018-03-22 / Plataformas de apoio à experimentação científica apoiam cientistas e permitem que eles possam desfrutar de recursos para prosseguir com suas pesquisas. Dentre esses recursos estão os serviços científicos, usados para processar dados em determinadas tarefas de um processo de experimentação científica. Desenvolvedores especializados criam e mantêm esses serviços científicos. O sucesso de uma experimentação científica depende da correta execução de seu processo. Como os serviços científicos são utilizados em tarefas dos processos, suas falhas comprometem toda a experimentação. Por isso, é importante que os serviços estejam funcionando corretamente. Neste contexto, é necessário apoiar o desenvolvedor de serviços científicos para que ele possa desenvolver serviços com o máximo de eficiência possível. Diante disso, o objetivo deste trabalho é apresentar recursos que buscam apoiar o desenvolvimento de serviços científicos em uma plataforma de ecossistema de software científico. Esses recursos são associados a um processo de desenvolvimento de serviços que mapeia as atividades dos desenvolvedores e cientistas durante o desenvolvimento de serviços. Apresenta uma interface para análise contextual dos serviços, oferecendo elementos de visualização associados a informações contextuais. Além disso, utiliza a análise de redes sociais científicas para auxiliar na seleção de cientistas mais adequados à avaliação dos serviços. Visando avaliar estes recursos, foram realizados estudos de caso envolvendo o desenvolvimento de serviços científicos. Os resultados sugerem que os recursos empregados podem apoiar o desenvolvimento de serviços científicos em uma plataforma de ecossistema de software científico. / Platforms supporting scientific experimentation support scientists and allow them the use of resources to pursue their research. Among these resources are the scientific services, used to process data in certain tasks of a process of scientific experimentation. Specialized developers create and maintain these scientific services. The success of a scientific experiment depends on the correct execution of its process. As scientific services are used in process tasks, their failures undermine all experimentation. Therefore, it is important that the services are working properly. In this context, it is necessary to support the scientific services developer so that he can develop services as efficiently as possible. Therefore, the objective of this work is to present resources that seek to support the development of scientific services in a scientific software ecosystem platform. These resources are associated with a service development process that maps the activities of developers and scientists during service development. It presents an interface for contextual analysis of the services, offering elements of visualization associated with contextual information. In addition, it uses the analysis of scientific social networks to assist in the selection of better suited scientists to the evaluation of services. In order to evaluate these resources, case studies involving the development of scientific services were carried out. The results suggest that the resources employed can support the development of scientific services in a scientific software ecosystem platform.

The power of digital technology serves developers of new services as an access funnel to the vast amount of customer behavioural information. The utilization of this information is forecasted to differentiate the winners from the losers in the market and benefit the new service development process. This study explores the phenomenon of customer information in new service development empirically by looking at the industry at the forefront, the gaming industry. By conducting three case studies with leading Swedish game developers, it challenges the previous research assumptions that acquired and disseminated customer information is implicitly used. This study has made significant contributions by investigating the broader context of customer information use and differentiating among three types of use. The findings show that behavioural information is used to backup own decisions or to enhance the developers understanding, but is not directly applied to the decision task. Despite the great potential, this advanced type of customer information is only used in the post-launch stages of new service development, for service iterations. To further validate the findings and explore information use in new service development more in-depth, future research generating contextual detailed realtime data is needed.

Co-creation is a new approach to the development of videogames, films, television, music and other creative services. It is a manifestation of open innovation paradigm where the firm collaborates with customers in new service development (NSD) activities. Firm can either co-create with individual customers, or with customer communities. Customers may substantially contribute to ideation, design, production, testing, marketing or distribution of a new or existing service. Customer networks, because of their intrinsic and extrinsic motivations, contribute to the development of services. They have a potential to innovate, as their ideas come from the outside of the organization and reflect their need-related knowledge. Via co-creation a firm can also learn about unarticulated or future customer needs, and what kind of service features they would pay the most for. Co-creation has also benefits for marketing. By inviting customers to participate in their activities, firms can capitalize on positive word of mouth and increased value ascribed to their services. They can also engage in new models of raising finance, i.e. crowdfunding. We studied thirteen videogames firms in North America and in Western Europe. Our goal was to gain insight into their NSD activities when customers were also involved. We observed those studios’ co-creation practices, tracked their communications with customers, and spoke to employees in all levels and functions of those firms. We also participated in various related events. We identified three ideal types of co-creation practice: structured, semi-structured, and loose, and ordered the firms into three cases according to these types. We investigate the main factors that determine co-creation’s practice in firms, as well as firms’ ability co-create. This includes a firm’s propensity for and style of co-creation. We identify four relevant co-creation competences which, together with funding arrangements and organizational culture, influence co-creation. We find that co-creation can occur via formal, as well as informal channels. Informal co-creation takes place on the level of individual interactions between employees and customers (and is linked to hidden innovation), while formal relies on the strategic use of contests, volunteer programs, as well as other legally-regulated exchanges. Firms can use co-creation in NSD to source ideas from the customers, as well as to enhance their marketing by redefining customer relationship. Still, co-creation also has a profound transformative effect on the organization itself. We identify the sites within a firm that are affected by co-creation. Those sites go beyond just the content of the service, and include functions of the firm that normally are hidden from customers (back-end and service design functions). The new service development is also affected. Similarly, the way that firm interacts with its customers is transformed, too.

The road based transportation operations are growing rapidly, but the current infrastructure cannot sustain the entire growth. At the same time vehicle utilisation and fill rates are low. Improved efficiency of the operations is a necessary way forward for road based transportation. Parallel to this, heavy vehicle producers are currently improving the efficiency with services accompanying the product that are focused on the driver and the vehicle performance. However, the data from connected vehicles required for these services only entail a small amount of the operational data generated by connected vehicles. The case study aims to answer how to use connected vehicle operational data in order to suggest value adding services in a dynamic road distribution system. The applied methodology is an inductive study with an explanatory approach to map the current and future service offerings of the case company. This knowledge is combined with an exploratory approach with interviews of transport planners and theories of Lean and fleet management. Primarily, it is concluded that the perspective of operational data requires widening. Considering not only driver and vehicle operations but rather the entire transport operation of a company. It is also concluded that value creation with operational data is possible during three phases of fleet management. First, if knowledge about order data is accessible, the planning of transportations can be improved using route optimisation and operations research. Secondly, it is possible to create value during the execution phase, throughless manual supervision and communication by transport planners. Lastly, both the currently used operational data and further data usage can contribute to a better understanding of the performance of a fleet operation and facilitate for continuous improvements during an evaluation phase.

Estudos de expressão gênica geralmente envolvem a realização de processos de análise integrados para a obtenção de respostas biológicas de interesse. A realização destes processos frequentemente requer o uso combinado de uma série de ferramentas de software. No entanto, o processo de integração manual de ferramentas pode ser demorado e propenso a erros devido ao crescente número de ferramentas e formatos de dados disponíveis no domínio. De modo a automatizar o processo de integração, algumas abordagens têm sido propostas tanto para a adaptação das ferramentas de análise existentes como serviços web semânticos, quanto para o desenvolvimento de ambientes de suporte à integração (composição) de serviços web semânticos. Embora estas abordagens representem avanços, nenhuma solução adequada para o desenvolvimento e composição de serviços foi especificamente definida para o domínio de genômica funcional. Neste contexto, o principal objetivo deste projeto foi investigar uma solução completa para o desenvolvimento e composição de serviços web semânticos para a análise de expressão gênica. Como parte da solução proposta, definimos uma metodologia integrada para a implementação de serviços web semânticos criados a partir de ferramentas de software existentes e para a anotação semântica destes serviços. Nossa metodologia fornece diretrizes concretas para o desenvolvimento sistemático de serviços, considerando também os principais aspectos técnicos associados ao processo de desenvolvimento. Esta metodologia foi aplicada a um conjunto representativo de serviços que fornecem suporte às principais atividades de análise realizadas em diferentes tipos de dados de expressão gênica. De forma complementar, definimos uma solução completa para a composição semântica de serviços no domínio de análise de expressão gênica. A solução proposta foi implementada em uma plataforma de suporte semi-automático à composição de serviços web semânticos, chamada SemanticSCo. Esta plataforma fornece suporte flexível a todas as atividades envolvidas no processo de composição de serviços, incluindo a criação, publicação, requisição, descoberta, seleção, composição e execução de serviços. Além disto, a plataforma SemanticSCo foi projetada para prover suporte adequado a diferentes tipos de usuários, incluindo biologistas e bioinformatas. Neste sentido, a plataforma fornece aos usuários um alto nível de abstração para a definição de seus processos de análise, permitindo que os mesmos se concentrem mais nas questões de pesquisa biológicas do que nos aspectos subjacentes do processo de composição. Adicionalmente, a plataforma SemanticSCo suporta a definição e incorporação não apenas de serviços simples, definidos em termos de uma única operação, mas também de serviços complexos, definidos em termos de um conjunto de condições que restringem a ordem de invocação de suas operações. Finalmente, de modo a avaliar a plataforma de suporte desenvolvida, definimos diferentes cenários de composição para a análise (integrada) de dados de expressão gênica. O uso da plataforma SemanticSCo facilitou a definição destes cenários, permitindo assim a reprodução dos resultados obtidos a partir de diferentes estudos de expressão gênica previamente documentados na literatura / Gene expression studies usually involve the creation of integrated analysis processes for obtaining responses for a biological question. The creation of such processes often require the combined use of a number of software tools. However, the manual integration of tools can be cumbersome and error prone due to the increasing number of tools and data formats available in the domain. In order to automate the integration process, some approaches have been proposed for the adaptation of existing analysis tools as semantic web services as well as for the development of software environments to support the integration (composition) of semantic web services. Although these approaches present advances, to the best of our knowledge, no suitable solution has been proposed for the development and composition of web services in the functional genomics domain. In this context, this project aimed at investigating a complete solution for the development and composition of semantic web services to support gene expression analysis. As part of the proposed solution, we have defined an integrated methodology for the implementation of semantic web services created from existing software tools and the semantic annotation of such services. Our methodology provides concrete guidelines for the systematic development of services, also taking into account the main technical aspects associated with the development process. This methodology has been applied in the development of a representative set of services that support the main analysis activities performed on different types of gene expression data. Complementary to our methodology, we have defined a complete solution for the semantic composition of web services in the gene expression analysis domain. The proposed solution has been implemented in a software platform to support the semi-automatic composition of semantic web services, named SemanticSCo. This platform provides flexible support to all activities involved in the service composition process including service creation, publication, request, discovery, selection, composition and execution. Additionally, the SemanticSCo platform has been designed to support different types of users, including biologists and bioinformaticians. In this sense, the platform provides users with a high level of abstraction in the definition of their analysis processes, thus allowing them to focus more on biological research issues rather than on underlying details of the composition process. In addition, the SemanticSCo platform supports not only the definition and incorporation of (simple) services defined in terms of a single operation, but also (complex) services defined in terms of a set of conditions that constrain the order in which service operations should be invoked. Finally, in order to evaluate the developed support platform, we have defined a number of composition scenarios for the (integrated) analysis of gene expression data. The use of the SemanticSCo platform has facilitated the definition of these scenarios, thus allowing the reproduction of the results obtained from different gene expression studies previously documented in the literature.

Att arbeta mer miljövänligt och hållbart blir alltmer viktigt för många företag. Så även inom logistik- och IT-branschen. Gröna informationssystem har hyllats för sina positiva effekter. Dessvärre undersöks oftast inte dess effekter utifrån ett miljöperspektiv, vilken påverkan dessa har på miljön utan mer vilka organisatoriska effekter som uppnås av dess implementation. Det har även identifierats att flest antal fel i utveckling av informationssystem uppkommer genom kravhanteringsprocessen. Problemet adresseras genom att undersöka vilken effekt de gröna informationssystemen inom logistikbranschen har på miljön och hur dessa möjliggör för uppnående av miljömålen i Agenda 2030. Kravhanteringsprocessen studeras även för att undersöka dess inverkan på de möjliga positiva miljöeffekterna av informationssystemen. För att kunna besvara studiens syfte och forskningsfrågor har en kvalitativ studie genomförts med intervjuer hos tre IT-tjänsteleverantörer. Alla med ett gediget hållbarhetsarbete och kunder i logistikbranschen. Litteraturen i uppsatsen låg till grund för intervjuguiden och användes vid de semistrukturerade intervjuer. Intervjuguiden är uppbyggd av sju kategorier. Dessa kategorier är gröna IS lösningar, miljöaspekter, organisatorisk påverkan, utmaningar, förhållningsregler, kravhantering och arbetsmetoder. Efter analys av de transkriberade intervjuerna identifierades ytterligare en kategori med relevans för studiens syfte, arbetsmiljö & hållbarhetsarbete. Dessa kategorier har varit betydelsefulla för utvecklandet av två modeller som förklarar kategoriernas påverkan vid utvecklandet av informationssystem som genererar positiva effekter på miljön. / Working more environmentally friendly and sustainable is becoming more important for a lot of organizations. Both in the logistics and IT industry. Green information systems have been acknowledged for their positive effects. Though when examined it is often not from an environmental view, effects on the environment, but instead on organizational effects from the implementation of the information systems. It has also been identified that most errors in the development of information systems occur through the requirements management process. The problem is addressed through examining the possibility of reaching the environmental goals in Agenda 2030 by the effects of green information systems in the logistics industry. The requirements management process was also studied to examine the impact of possible positive environmental effects by the information systems. To be able to answer the purpose of the research questions, a qualitative study was conducted with interviews with three IT service providers. All with genuine sustainability work and customers in the logistics industry. The literature in the thesis was the basis for the interview guide and was used in the semi-structured interviews. The interview guide is built upon seven categories. These categories are green IS solutions, environmental aspects, organizational impact, challenges, rules of conduct, requirements management and working methods. After analysis of the transcribed interviews, another category relevant for the purpose of the study was identified, work environment & sustainability work. These categories have been important for the development of two models that explain the categories' impact at the development of information systems that generate positive effects on the environment.

Актуальность работы обусловлена тем, что при нехватке времени у молодых родителей на поиск и обработку информации по детскому питанию, они хотят восполнить потребности ребенка в еде таким образом, чтобы рецепты блюд были качественными, полезными, вкусными и разнообразными. Полученные результаты и их новизна: спроектированный электронный сервис по подбору детского питания по возрасту значительно упростит ежедневный процесс поиска информации по теме детского питания для молодых родителей, поскольку в настоящее время общество насыщено различной информацией, которую необходимо правильно упорядочивать. / The relevance of the work is due to the fact that when young parents do not have enough time to search and process information on baby food, they want to fill the child's food needs in such a way that the recipes for the dishes are high-quality, healthy, tasty and varied. The results obtained and their novelty: the designed electronic service for the selection of baby food by age will greatly simplify the daily process of searching for information on the topic of baby food for young parents, since at present society is saturated with various information that needs to be properly organized.

Denna studie utvecklar en digital tjänst för att förbättra hanteringen av media på webbplatser, särskilt riktad mot mikroföretag. I takt med ökande digitalisering och behovet av en effektiv digital närvaro blir det allt viktigare för dessa företag att använda sin webbplats. Trots en mängd tillgängliga tjänster inriktade på webbplatshantering finns det ingen lösning som på ett enkelt sätt uppfyller mikroföretagarnas behov. Studiens syfte är att utveckla en tjänst som förenklar uppladdning och hantering av bilder, videor och text på webbplatser för mikroföretag. Genom att använda design science research methodology (DSRM), strävar studien efter att utveckla en användarcentrerad tjänst som möter mikroföretagens specifika behov. Den utvecklade tjänsten består av en uppladdningstjänst och ett frontend-API i form av ett bildspel. Tjänsten testades och utvärderas genom användartester med mikroföretagare samt experter inom området digital tjänsteutveckling och backend utveckling. Slutsatsen från studien är en tjänst som kräver minimal teknisk expertis, där användarna kan ladda upp valfri media vilket speglas på respektive webbplats. Tjänsten blev väl bemött av användarna där den effektiviserade deras webbplatshantering genom att spara tid och pengar. Forskningen bidrar till områdena tjänsteutveckling och systemutveckling genom att visa på en framgångsrik process för att utveckla en användarcentrerad digital tjänst som möter mikroföretagens unika behov. / This study develops a digital service to improve the management of media on websites, particularly aimed at micro-enterprises. With increasing digitalization and the need for an effective digital presence, it becomes increasingly important for these companies to use their website effectively. Despite a variety of services available for website management, there is no solution that easily meets the needs of micro-enterprises. The purpose of the study is to develop a service that simplifies the process of uploading and managing of images, videos, and text on websites for micro-enterprises. By following the design science research methodology (DSRM), the study aims to develop a usercentered service that meets the specific needs of micro-enterprises. The developed service consists of an upload service and a frontend-API in the form of a slideshow. The service was tested and evaluated through user tests with micro-enterprises and experts in the fields of digital service development and backend development. The conclusion from the study is a service that requires minimal technical expertise, where users can upload any media which is then reflected on their respective website. The digital service was well received by the users where it streamlined their website management by saving time and money. The research contributes to the fields of service development and systems development by demonstrating a successful process for developing a user-centered digital service that meets the unique needs of micro-enterprises.

In this thesis, we present a review of the current practices of user involvement. Different methods and tools have proliferated for user-involvement, however, to comprehend the explicit features of a small and medium-sized web-based platform service companies, we contrast our findings with previous experiences and research of user involvement in big companies. In the basis of the aforementioned, we identify methods and contexts that may be appropriate in the context of small and medium-sized web-based platform service companies. Mainly, we reviewed the research field of: user-involvement and new service development.   The central purpose of this study is to determine how do small and medium-sized web-based platform service companies utilize the process of the user involvement across the stages of new service development. Building on previous researches, we suggested that there are different methods to consider under the service development stage (i.e. ideation, development and testing). These methods are grouped under the following terms user-involvement ecosystem, user-involvement interactions, user-involvement platform and user-involvement personnel. The aforementioned methods are suggested to help web-based platform service companies utilize user involvement across the new service development stages. This study is of qualitative nature with a deductive approach. We conducted eight semi-structured interviews in order to get insights from high-level managers responsible of the user-involvement process. All the small and medium-sized companies operated in the service sector and provided a web-based platform. The theoretical framework was utilized in order to analyze the empirical data gathered. We used thematic analysis for our deductive study approach, to interpret the gathered material in order to conclude the results and answer the research question.   Our results revealed that in the ideation and development stages the following is vital: involving lead-users or those who are tech-savvy and tolerant to ambiguity, educating users to familiarize them with the company’s system, moderate rules and structure, mixing focus groups, encouraging user-to-user communication, small number of participants, multi-media approach and online tools, and encouraging idea hunting culture among company’s staff. However, in testing the following is recommended: involving average-users or those who are open-minded and tolerant to risk and innovation, unifying goals and common view by tangibilizing the service, setting rules and regulations for testing the service, having permanent interactions with users, and large number of participants. Finally, it is important to ensure a close relationship, transparency, motivation, face-to-face interactions, and to have an entrepreneurial leader to oversee the whole process across all the former three stages of NSD. To improve on this study, we would recommend the investigation on the user perspective to gain insights on their views of the process of user-involvement across the NSD, as they are directly involved in the development of a new service. Hence, a more extensive research on the user-involvement in web-based platform service companies on both, internal and external facets instantaneously would be of great significance.