Feature Nets: behavioural modelling of software product lines

Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.

Hierarchical modelling of timber reference properties using probabilistic methods: Maximum Likelihood Method, Bayesian Methods and Probability Networks

In recent decades, an increased interest has been evidenced in the research on multi-scale hierarchical modelling in the field of mechanics, and also in the field of wood products and timber engineering. One of the main motivations for hierar-chical modelling is to understand how properties, composition and structure at lower scale levels may influence and be used to predict the material properties on a macroscopic and structural engineering scale. This chapter presents the applicability of statistic and probabilistic methods, such as the Maximum Likelihood method and Bayesian methods, in the representation of timber’s mechanical properties and its inference accounting to prior information obtained in different importance scales. These methods allow to analyse distinct timber’s reference properties, such as density, bending stiffness and strength, and hierarchically consider information obtained through different non, semi or destructive tests. The basis and fundaments of the methods are described and also recommendations and limitations are discussed. The methods may be used in several contexts, however require an expert’s knowledge to assess the correct statistic fitting and define the correlation arrangement between properties.

Step towards to improve the voluntary interruption of pregnancy by means of business intelligence

With the implementation of Information and Communication Technologies in the health sector, it became possible the existence of an electronic record of information for patients, enabling the storage and the availability of their information in databases. However, without the implementation of a Business Intelligence (BI) system, this information has no value. Thus, the major motivation of this paper is to create a decision support system that allows the transformation of information into knowledge, giving usability to the stored data. The particular case addressed in this chapter is the Centro Materno Infantil do Norte, in particular the Voluntary Interruption of Pregnancy unit. With the creation of a BI system for this module, it is possible to design an interoperable, pervasive and real-time platform to support the decision-making process of health professionals, based on cases that occurred. Furthermore, this platform enables the automation of the process for obtaining key performance indicators that are presented annually by this health institution. In this chapter, the BI system implemented in the VIP unity in CMIN, some of the KPIs evaluated as well as the benefits of this implementation are presented.

A quantitative research about attitudes of pre-service teachers on inclusive education

In this paper we propose to characterize the inclusive philosophy in Thailand as well as to present and discuss results from a quantitative research carried out within the teacher pre-service context, viewed as one of the components that should be addressed by school systems that seek to be inclusive.

Modelação de processos num serviço de uma organização de ensino superior

Dissertação de mestrado integrado em Engenharia e Gestão Industrial

Impact of nutritional counseling in reducing serum cholesterol in public health service patients

OBJECTIVE: To assess the impact of nutritional attention on the lipid profile and nutritional status of hypercholesterolemic patients attended in health centers of Belo Horizonte. METHODS: Using nutritional attendance patient record cards from two health units, the evolution of the lipid profile and the nutritional state (BMI) was monitored of 96 hypercholesterolemic patients who received diet. The patients were appraised at the following moments: initial (1st consultation), after 3 months (2nd consultation) and last consultation (variable for each patient). RESULTS: On the first attendance, 44,4% of the patients presented not only high total cholesterol and LDL-c, but also hypertriglyceridemia and 70.3% were overweight or obese, but most patients (75.6%) presented adequate HDL-c levels. There was significant reduction in the BMI, total cholesterol, LDL-c values (p < 0.01) and also in the triglyceride levels (p < 0.05) in the first three months, without alteration in the HDL-c levels. A significant reduction (p < 0.01) was observed in the frequency of individuals with high cholesterol (from 89.6% down to 47.9%), high and very high LDL-c (from 82.6% down to 45.7%), as well as high and very high triglyceride (from 43.6% down to 16.7%). The observed reduction in frequency of the low HDL-c was statistically meaningless. CONCLUSION: This study evidences the effect of the nutritional attention on lipid profile in hypercholesterolemic patients, reinforcing the need for a multiprofessional team to attend them at the public health services.

Desarrollo e interrupción de la generatividad en ámbitos familiares, comunitarios y políticos. Development and interruption of the generatividad in familiar, communitarian and political ambients.

El presente proyecto está centrado en tres crisis vitales del desarrollo humano: la identidad, la generatividad y la integridad del yo (Erikson, 1961). Se indagará la relación existente entre estos momentos del desarrollo psicosocial con las vicisitudes y crisis sociales y políticas que atraviesan el desarrollo personal. El sentido de lo político, la participación comunitaria y social se pondrán en tensión con la historia de acontecimientos que le sucedieron a las personas a lo largo de su vida y se plasman en las narrativas vitales.La tarea de actualizar las identificaciones tempranas, fundirse en un proyecto personal, de pareja, social y laboral implica la consolidación de la identidad y prepara a las personas para la etapa más fructífera de la adultez: la intimidad y la generatividad. Esta tarea implica involucrarse en la guía de otras generaciones más jóvenes a la vez que se sostiene el cuidado personal y el propio desarrollo y expansión del self.Sin embargo, existen dificultades en el desarrollo adulto que, sin conformarse en patologías, obturan la expresión de estos componentes egosintónicos y se manifiestan otros componentes egodistónicos o debilidades del yo. Asimismo, crisis sociales y eventos históricos significativos atraviesan la vida de las personas marcando sus metas de desarrollo y transformando el sentido de sí mismos y el significado de ser en el mundo con otros. Las expresiones personales y familiares de la generatividad tienen diferentes manifestaciones que se expresan en el campo social, comunitario y político y en el ejercicio de distintos roles sociales (voluntariado, participación política, inclusión en organizaciones comunitario, liderazgo de instituciones sociales, gremiales, partidarias o religiosas). En cualquier caso interesa conocer y determinar qué factores del desarrollo temprano y adulto establecen diferentes niveles de compromiso, interés e involucramiento. Los objetivos se centran en determinar los componentes de la generatividad y sus expresiones agénticas y comunitarias. Se utilizará un abordaje combinado de metodología cuantitativa y cualitativa. Se desarrollará una escala de generatividad aportando las evidencias de confiabilidad y validez requeridos en el desarrollo psicométrico. Posteriormente se administrará una entrevista pautada semidirigida, que permita valorar cualitativamente las diferencias centrales en las historias de vida entre sujetos con diferentes niveles de generatividad y grupos u organizaciones específicamente vinculadas al cuidado de los otros (derechos humanos, organizaciones comunitarias y ONG's vinculados al desarrollo infantil y cuidado de la vejez). De esta forma se valorará el impacto de crisis vitales y familiares, tanto como adversidades sociales y políticas (violencia, represión) en la generatividad, la madurez en adultez y la participación social y comunitaria.Se espera, así, identificar los aspectos egosintónicos comunes que son esenciales para desarrollar y consolidar fortalezas, secuencias de sentido, de redención y plenitud vital y compromiso político y comunitario a pesar de las adversidades en poblaciones diversas. La contrastación de las narrativas vitales permitirá elucidar qué potencialidades y recursos psicológico se ponen en juego, no sólo para la recuperación tras la adversidad (factores resilientes), sino para el desarrollo de una madurez comprometida con causas sociales y humanitarias que de forma reparatoria, restauran una porción de la realidad en la que se sufrió la injusticia y la crueldad, no ya para sí mismos sino para el resto de la sociedad.

Mission du Service Geographique de l'Armée pour la mesure d'un arc de méridien équatorial en Amérique du Sud sous le contrôle scientifique de l'Académie des Sciences, 1899-1906

T. 10, Fasc. 1

Socially integrative customer service (SICS) : identification of a symbiotic link with corporate social responsibility

The aim of this study is to answer the research question "can customer service be revitalised through identification of a symbiotic relationship with social responsibility, linked by people-centricity?" The concept of customer service remains weak and there has been a lack of attention to the underlying purpose: "to serve". To strengthen the theory the humanistic nature of the concept should be revised. Fundamental to this argument is the question of who is a customer? To fully discover the scope of the concept requires a broader or more specifically a societal view. Herein the theme of social corporate responsibility is critical to the recognition of the customer service network (CSN). This suggestion in isolation is useful but structural. Another aspect must be identified to validate the "service" ethos. Through this reasoning the relational theme (RT) provides for a mechanism for this to be achieved. Therefore the theory of socially integrative customer service is based on broadening and deepening the customer service concept. This study is illustrated in the context of the grocery retail sector in the Republic of Ireland. Four case studies are presented, three based on company-wide and in-store research and a fourth is a cross-company study. Results across companies indicate acceptance of the research question and show evidence to validate SICS. There is scope to further develop SICS and to build on the CSN and the RT. Finally the concept of SICS provides for a diverse basis for further research. This theory does no purport to cause a paradigm shift but does add innovation to the body of knowledge. As is the hallmark of good theoretical development, the author has aimed to keep the philosophy simple.

Motivating techniques within Irish and American manufacturing and service companies in the Northwest of Ireland

In today’s world, many companies are concentrating on both their technology and human resources to provide them with their competitive advantage. Hence, understanding what motivates people is particularly important for managers in order to develop and sustain a competitive edge. As a result, numerous theories have been advanced to help our understanding of the subject matter and from these theories many motivational methods have evolved to enhance motivation within the workplace. In addition, research has been conducted on the various types of motivational techniques utilised by companies within Ireland. However, very little research has been completed within specific geographical regions in Ireland concerning the types of motivational techniques implemented at different job levels and their impact on employees work performance. Thus the objective of this research was to identify the motivational techniques utilised at different job levels within large manufacturing and service companies in the Northwest of Ireland and examine how these techniques influence the performance levels of employees. Furthermore, the study examined if these companies have changed from traditional ways of motivating employees to newer techniques. The research methodologies used to undertake the research included interviews with the HR managers and questionnaires completed by different employees at various job levels within the participating companies. Overall the conclusions were varied. Many different types of motivation techniques were found within the study’s participating companies. Irish companies are improving their motivational techniques, however most of these techniques are only used within higher job levels. In contrast to their American counterparts, a variety of motivational techniques are utilised and implemented at all job levels. On a more positive note, the majority of these motivational techniques do increase performance levels at all job levels. From the extensive primary and secondary research conducted, the thesis concludes by offering a number of recommendations to assist companies in further development of their motivational techniques for all job levels. These recommendations hope to augment the success of companies through an enhanced motivated workforce.

An investigation into system security requirements and implementation in an Application Service Provider (ASP) environment

Although the ASP model has been around for over a decade, it has not achieved the expected high level of market uptake. This research project examines the past and present state of ASP adoption and identifies security as a primary factor influencing the uptake of the model. The early chapters of this document examine the ASP model and ASP security in particular. Specifically, the literature and technology review chapter analyses ASP literature, security technologies and best practices with respect to system security in general. Based on this investigation, a prototype to illustrate the range and types of technologies that encompass a security framework was developed and is described in detail. The latter chapters of this document evaluate the practical implementation of system security in an ASP environment. Finally, this document outlines the research outputs, including the conclusions drawn and recommendations with respect to system security in an ASP environment. The primary research output is the recommendation that by following best practices with respect to security, an ASP application can provide the same level of security one would expect from any other n-tier client-server application. In addition, a security evaluation matrix, which could be used to evaluate not only the security of ASP applications but the security of any n-tier application, was developed by the author. This thesis shows that perceptions with regard to fears of inadequate security of ASP solutions and solution data are misguided. Finally, based on the research conducted, the author recommends that ASP solutions should be developed and deployed on tried, tested and trusted infrastructure. Existing Application Programming Interfaces (APIs) should be used where possible and security best practices should be adhered to where feasible.

Modelling of a symmetric molten carbonate fuel cell stack

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2011

Failure rates modelling for heterogenous populations

Mixture of distributions, decreasing failure rate, increasing failure rate, proportional hazards model, accelerated life model, asymptotic behavior of mixture failure rate

Modelling and analysis of a production plant for low density polyethylene

Dynamic model, tubular reactor, polyethylene, LDPE, discretization, simulation, sensitivity analysis, nonlinear analysis