MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.

A dynamic model with on-line identification for rotary sugar drying processes

A dynamic modelling methodology, which combines on-line variable estimation and parameter identification with physical laws to form an adaptive model for rotary sugar drying processes, is developed in this paper. In contrast to the conventional rate-based models using empirical transfer coefficients, the heat and mass transfer rates are estimated by using on-line measurements in the new model. Furthermore, a set of improved sectional solid transport equations with localized parameters is developed in this work to reidentified on-line using measurement data, the model is able to closely track the dynamic behaviour of rotary drying processes within a broad range of operational conditions. This adaptive model is validated against experimental data obtained from a pilot-scale rotary sugar dryer. The proposed modelling methodology can be easily incorporated into nonlinear model based control schemes to form a unified modelling and control framework.place the global correlation for the computation of solid retention time. Since a number of key model variables and parameters are identified on-line using measurement data, the model is able to closely track the dynamic behaviour of rotary drying processes within a broad range of operational conditions. This adaptive model is validated against experimental data obtained from a pilot-scale rotary sugar dryer. The proposed modelling methodology can be easily incorporated into nonlinear model based control schemes to form a unified modelling and control framework.

Plataforma web de informação automobilística

Esta dissertação enquadra-se no âmbito dos Sistemas de Informação, em concreto, no desenvolvimento de aplicações Web, como é o caso de um website. Com a utilização em larga escala dos meios tecnológicos tem-se verificado um crescimento exponencial dos mesmos, o que se traduz na facilidade com que podem ser encontradas na Internet diversos tipos de plataformas informáticas. Além disso, hoje em dia, uma grande parte das organizações possui o seu próprio sítio na Internet, onde procede à divulgação dos seus serviços e/ou produtos. Pretende-se com esta dissertação explorar estas novas tecnologias, nomeadamente, os diagramas UML - Unified Modeling Language e a concepção de bases de dados, e posteriormente desenvolver um website. Com o desenvolvimento deste website não se propõe a criação de uma nova tecnologia, mas o uso de diversas tecnologias em conjunto com recurso às ferramentas UML. Este encontra-se organizado em três fases principais: análise de requisitos, implementação e desenho das interfaces. Na análise de requisitos efectuou-se o levantamento dos objectivos propostos para o sistema e das necessidades/requisitos necessários à sua implementação, auxiliado essencialmente pelo Diagrama de Use Cases do sistema. Na fase de implementação foram elaborados os arquivos e directórios que formam a arquitectura lógica de acordo com os modelos descritos no Diagrama de Classes e no Diagrama de Entidade-Relação. Os requisitos identificados foram analisados e usados na composição das interfaces e sistema de navegação. Por fim, na fase de desenho das interfaces foram aperfeiçoadas as interfaces desenvolvidas, com base no conceito artístico e criativo do autor. Este aperfeiçoamento vai de encontro ao gosto pessoal e tem como objectivo elaborar uma interface que possa também agradar ao maior número possível de utilizadores. Este pode ser observado na maneira como se encontram distribuídas as ligações (links) entre páginas, nos títulos, nos cabeçalhos, nas cores e animações e no seu design em geral. Para o desenvolvimento do website foram utilizadas diferentes linguagens de programação, nomeadamente a HyperText Markup Language (HTML), a Page Hypertext Preprocessor (PHP) e Javascript. A HTML foi utilizada para a disposição de todo o conteúdo visível das páginas e para definição do layout das mesmas e a PHP para executar pequenos scripts que permitem interagir com as diferentes funcionalidades do site. A linguagem Javascript foi usada para definir o design das páginas e incluir alguns efeitos visuais nas mesmas. Para a construção das páginas que compõem o website foi utilizado o software Macromedia Dreamweaver, o que simplificou a sua implementação pela facilidade com que estas podem ser construídas. Para interacção com o sistema de gestão da base de dados, o MySQL, foi utilizada a aplicação phpMyAdmin, que simplifica o acesso à base de dados, permitindo definir, manipular e consultar os seus dados.

Derivation and consistency checking of models in early software product line engineering

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

Refinement and variability techniques in model transformation of software requirements

Tese de Doutoramento em Tecnologias e Sistemas de Informação

Geração de aplicações a partir de especificações UML como fator de sucesso para o desenvolvimento de sistemas de informação

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

A UML-based approach for modeling industrial control applications

The main purpose of the poster is to present how the Unified Modeling Language (UML) can be used for diagnosing and optimizing real industrial production systems. By using a car radios production line as a case study, the poster shows the modeling process that can be followed during the analysis phase of complex control applications. In order to guarantee the continuity mapping of the models, the authors propose some guidelines to transform the use cases diagrams into a single object diagram, which is the main diagram for the next phases of the development.

Reusing IMS-LD formalized best practices in collaborative learning structuring

Designs of CSCL (Computer Supported Collaborative Learning)activities should be flexible, effective and customizable toparticular learning situations. On the other hand, structureddesigns aim to create favourable conditions for learning. Thus,this paper proposes the collection of representative and broadlyaccepted (best practices) structuring techniques in collaborative learning. With the aim of establishing a conceptual common ground among collaborative learning practitioners and softwaredevelopers, and reusing the expertise that best practicesrepresent, the paper also proposes the formulation of these techniques as patterns: the so-called CLFPs (CollaborativeLearning Flow Patterns). To formalize these patterns, we havechosen the educational modelling language IMS Learning Design (IMS-LD). IMS-LD has the capability to specify many of the collaborative characteristics of the CLFPs. Nevertheless, the language bears limited capability for describing the services that mediate interactions within a learning activity and the specification of temporal or rotated roles. This analysis isdiscussed in the paper, as well as our approaches towards thedevelopment of a system capable of integrating tools using IMSLDscripts and a CLFP-based Learning Design authoring tool.

Sistema de gestão de benefícios sociais

As constantes mudanças na situação socioeconómica têm intensificado e modificado as demandas e pressões sociais a que as organizações são submetidas. É neste sentido que a Câmara Municipal de São Vicente - CMSV pretende implementar aos Serviços de Promoção Social um Sistema de Gestão dos Benefícios Sociais para que o processo de atribuição de apoios sociais seja mais democrático, promovendo assim igualdade social. Com este trabalho pretende-se desenvolver um sistema de gestão de benefícios sociais, que será um módulo integrante do Sistema de Informação Municipal – SIM, indo desde à definição dos vários processos até a sua finalização, mantendo na base de dados da mesma todas as informações socioeconómicas dos agregados familiares, de modo a zelar pela igualdade social. Todo o sistema foi modelado utilizando o UML (Unified Modeling Language) com extensão web. No desenvolvimento do protótipo foi utilizado um framework que está sendo desenvolvido pela equipa da Divisão de Informática da CMSV – DICMSV e com a utilização deste framework que possui um gerador de código, ferramenta esta que é capaz de realizar funcionalidades eficientes e eficazes das aplicações que facilitam na programação em linguagem Oracle PL/SQL Web e JavaScript e, ainda as linguagens de formatação HTML5 e CSS3, linguagens que fazem parte do desenvolvimento do projeto.

Modeling information in software languages

Ohjelmiston kehitystyökalut käyttävät infromaatiota kehittäjän tuottamasta lähdekoodista. Informaatiota hyödynnetään ohjelmistoprojektin eri vaiheissa ja eri tarkoituksissa. Moderneissa ohjelmistoprojekteissa käytetyn informaation määrä voi kasvaa erittäin suureksi. Ohjelmistotyökaluilla on omat informaatiomallinsa ja käyttömekanisminsa. Informaation määrä sekä erilliset työkaluinformaatiomallit tekevät erittäin hankalaksi rakentaa joustavaa työkaluympäristöä, erityisesti ongelma-aluekohtaiseen ohjelmiston kehitysprosessiin. Tässä työssä on analysoitu perusinformaatiometamalleja Unified Modeling language kielestä, Python ohjelmointikielestä ja C++ ohjelmointikielestä. Metainformaation taso on rajoitettu rakenteelliselle tasolle. Ajettavat rakenteet on jätetty pois. ModelBase metamalli on yhdistetty olemassa olevista analysoiduista metamalleista. Tätä metamallia voidaan käyttää tulevaisuudessa ohjelmistotyökalujen kehitykseen.

The business model ontology a proposition in a design science approach

The goal of this dissertation is to find and provide the basis for a managerial tool that allows a firm to easily express its business logic. The methodological basis for this work is design science, where the researcher builds an artifact to solve a specific problem. In this case the aim is to provide an ontology that makes it possible to explicit a firm's business model. In other words, the proposed artifact helps a firm to formally describe its value proposition, its customers, the relationship with them, the necessary intra- and inter-firm infrastructure and its profit model. Such an ontology is relevant because until now there is no model that expresses a company's global business logic from a pure business point of view. Previous models essentially take an organizational or process perspective or cover only parts of a firm's business logic. The four main pillars of the ontology, which are inspired by management science and enterprise- and processmodeling, are product, customer interface, infrastructure and finance. The ontology is validated by case studies, a panel of experts and managers. The dissertation also provides a software prototype to capture a company's business model in an information system. The last part of the thesis consists of a demonstration of the value of the ontology in business strategy and Information Systems (IS) alignment. Structure of this thesis: The dissertation is structured in nine parts: Chapter 1 presents the motivations of this research, the research methodology with which the goals shall be achieved and why this dissertation present a contribution to research. Chapter 2 investigates the origins, the term and the concept of business models. It defines what is meant by business models in this dissertation and how they are situated in the context of the firm. In addition this chapter outlines the possible uses of the business model concept. Chapter 3 gives an overview of the research done in the field of business models and enterprise ontologies. Chapter 4 introduces the major contribution of this dissertation: the business model ontology. In this part of the thesis the elements, attributes and relationships of the ontology are explained and described in detail. Chapter 5 presents a case study of the Montreux Jazz Festival which's business model was captured by applying the structure and concepts of the ontology. In fact, it gives an impression of how a business model description based on the ontology looks like. Chapter 6 shows an instantiation of the ontology into a prototype tool: the Business Model Modelling Language BM2L. This is an XML-based description language that allows to capture and describe the business model of a firm and has a large potential for further applications. Chapter 7 is about the evaluation of the business model ontology. The evaluation builds on literature review, a set of interviews with practitioners and case studies. Chapter 8 gives an outlook on possible future research and applications of the business model ontology. The main areas of interest are alignment of business and information technology IT/information systems IS and business model comparison. Finally, chapter 9 presents some conclusions.

Tietojärjestelmien tukipalveluprosessien kehittäminen - case Helsoft

Tässä diplomityössä on käsitelty tietojärjestelmien tukipalveluun liittyviä prosesseja ja toimintoja. Tukipalvelutoiminnot ovat tietojärjestelmäteollisuuden merkittävä osa-alue ja siihen nähden aiheen tutkimus on ollut hyvin vähäistä. Viimeaikoina aihe on herättänyt kiinnostusta varsinkin asiakaskohtaisia ohjelmistoja toimittavien ohjelmistoyritysten keskuudessa. Diplomityön tarkoituksena oli suunnitella ja kehittää Helsoft Oy:n asiakaskohtaisten ohjelmistojen tukipalvelutoimintoja. Tämän työn näkökulmasta tukipalveluun kuuluu tietojärjestelmän toimituksen jälkeinen asiakkaiden neuvontapalvelu sekä ohjelmiston muutos- ja ylläpitopalvelu. Tukipalvelun sisältö vaihtelee usein asiakaskohtaisesti. Tämän vuoksi tukipalvelusta on syytä tehdä asianmukainen toimittajan ja asiakkaan välinen sopimus. Sopimuksen lisäksi tässä työssä on käsitelty myös muita tukipalvelun työkaluja kuten esimerkiksi tukipalveluohjetta, joka muodostetaan tukipalveluun ottamisvaiheessa. Työn teoriaosassa on käsitelty tietojärjestelmien tukipalvelun perusasioita sekä edellytyksiä tukipalveluprosessin onnistuneen kuvauksen muodostamiselle. Prosessin kuvauskieleksi on valittu UML. Työn soveltavan osuuden sisältö koostuu Helsoftin tukipalvelun nykytilanteen kartoituksesta, uuden yhtenäisemmän prosessimallin suunnittelusta (vaihe 1) sekä tukipalveluprosessin jatkokehityksen ja tehostamisen (vaihe 2) suunnittelusta. Uusi yhtenäinen prosessimalli on suhteellisen helposti käyttöönotettavissa ja standardinmukaisen kuvaustavan johdosta sitä voidaan kehittää jatkossa jatkuvan parantamisen periaatteella.

Yhtenäistetyn mallinnuskielen hyödyntäminen betoniaseman ohjausjärjestelmän kehityksessä

Yhtenäistetty mallinnuskieli, Unified Modeling Language (UML), on saavuttanut ohjelmistoteollisuudessa defacto standardin mallinnuskielen aseman. UML:n pääasiallinen käyttökohde on ollut ohjelmistojärjestelmien mallinnus, mutta sitä on sovellettu myös muillakin ongelma-alueilla, kuten erilaisten prosessien mallinnuksessa. Tässä diplomityössä mallinnetaan eräs betoniaseman ohjausjärjestelmä käyttäen UML:ää. Työssä perehdytään alan kirjallisuuden avulla siihen, miten teollisuus on hyödyntänyt UML:ää prosessien ohjausjärjestelmien mallinnuksessa. Kirjallisuudesta saatua tietoa sovelletaan betoniaseman ohjausjärjestelmän mallinnuksessa. Luotua mallia analysoidaan sen oikeellisuuden ja käytettävyyden perusteella. Työssä havaittiin, että UML soveltuu hyvin betoniaseman ohjausjärjestelmän kaltaisen teollisuusprosessin ohjauksen mallinnukseen. UML-mallilla voidaan kuvata järjestelmän rakenne ja toiminta kattavasti. Luotua mallia voidaan hyödyntää suoraan ohjausjärjestelmän jatkokehityksessä. Julkista tutkimustietoa aiheesta on kuitenkin niukasti saatavilla, joten lisätarve julkiselle tutkimukselle on olemassa.

Diseño e implementación de un sistema de gestión de amonestaciones y sanciones en centros educativos

Diseño e implementación de un sistema de gestión de amonestaciones y sanciones en centros educativos.

Modelagem de um sistema de informação para rastreabilidade na indústria do vinho baseado em uma arquitetura orientada a serviços

Apresenta-se neste trabalho pesquisa científica que levou à modelagem de um sistema de informação para o registro de dados de rastreabilidade destinado à indústria do vinho, segundo os conceitos de uma arquitetura computacional orientada a serviços (service oriented architecture, SOA). Desde 2005, a manutenção de tais registros é obrigatória para todos os produtores que pretendem exportar para países da União Europeia. Ademais, os consumidores finais, inclusive brasileiros, preocupados com a segurança alimentar, apresentam demanda crescente por informações. Buscou-se uma solução que contemple a indústria coletivamente, por meio de consórcios ou associações de produtores, diluindo custos e compartilhando benefícios. A partir do levantamento bibliográfico realizado e de contatos com pesquisadores e representantes do setor produtivo vinícola brasileiro, em Bento Gonçalves -RS, pesquisaram-se tópicos de tecnologia da informação ligados ao tema, além de detalhes sobre o processo produtivo do vinho. A partir de um modelo do processo produtivo do vinho sugerido pelos autores, empregou-se a Unified Modeling Language (UML), para a modelagem do sistema, que utiliza a tecnologia de web services para o tráfego de dados. Com um protótipo funcional, constataram-se a viabilidade do modelo e a possibilidade de sua utilização em outros domínios.