Precise set sharin analysis for java-style programs (and proofs).

Finding useful sharing information between instances in object- oriented programs has recently been the focus of much research. The applications of such static analysis are multiple: by knowing which variables definitely do not share in memory we can apply conventional compiler optimizations, find coarse-grained parallelism opportunities, or, more importantly, verify certain correctness aspects of programs even in the absence of annotations. In this paper we introduce a framework for deriving precise sharing information based on abstract interpretation for a Java-like language. Our analysis achieves precision in various ways, including supporting multivariance, which allows separating different contexts. We propose a combined Set Sharing + Nullity + Classes domain which captures which instances do not share and which ones are definitively null, and which uses the classes to refine the static information when inheritance is present. The use of a set sharing abstraction allows a more precise representation of the existing sharings and is crucial in achieving precision during interprocedural analysis. Carrying the domains in a combined way facilitates the interaction among them in the presence of multivariance in the analysis. We show through examples and experimentally that both the set sharing part of the domain as well as the combined domain provide more accurate information than previous work based on pair sharing domains, at reasonable cost.

Database evolution on an orthogonal persistent programming system: A semi-transparent approach

In this paper the problem of the evolution of an object-oriented database in the context of orthogonal persistent programming systems is addressed. We have observed two characteristics in that type of systems that offer particular conditions to implement the evolution in a semi-transparent fashion. That transparency can further be enhanced with the obliviousness provided by the Aspect-Oriented Programming techniques. Was conceived a meta-model and developed a prototype to test the feasibility of our approach. The system allows programs, written to a schema, access semi-transparently to data in other versions of the schema.

Evolution feature oriented model driven product line engineering approach for synergistic and dynamic service evolution in clouds: A04BPEL3.0 proposal.

Model Driven based approach for Service Evolution in Clouds will mainly focus on the reusable evolution patterns' advantage to solve evolution problems. During the process, evolution pattern will be driven by MDA models to pattern aspects. Weaving the aspects into service based process by using Aspect-Oriented extended BPEL engine at runtime will be the dynamic feature of the evolution.

Transactions and schema evolution in a persistent object-oriented programming system

Applications are subject of a continuous evolution process with a profound impact on their underlining data model, hence requiring frequent updates in the applications' class structure and database structure as well. This twofold problem, schema evolution and instance adaptation, usually known as database evolution, is addressed in this thesis. Additionally, we address concurrency and error recovery problems with a novel meta-model and its aspect-oriented implementation. Modern object-oriented databases provide features that help programmers deal with object persistence, as well as all related problems such as database evolution, concurrency and error handling. In most systems there are transparent mechanisms to address these problems, nonetheless the database evolution problem still requires some human intervention, which consumes much of programmers' and database administrators' work effort. Earlier research works have demonstrated that aspect-oriented programming (AOP) techniques enable the development of flexible and pluggable systems. In these earlier works, the schema evolution and the instance adaptation problems were addressed as database management concerns. However, none of this research was focused on orthogonal persistent systems. We argue that AOP techniques are well suited to address these problems in orthogonal persistent systems. Regarding the concurrency and error recovery, earlier research showed that only syntactic obliviousness between the base program and aspects is possible. Our meta-model and framework follow an aspect-oriented approach focused on the object-oriented orthogonal persistent context. The proposed meta-model is characterized by its simplicity in order to achieve efficient and transparent database evolution mechanisms. Our meta-model supports multiple versions of a class structure by applying a class versioning strategy. Thus, enabling bidirectional application compatibility among versions of each class structure. That is to say, the database structure can be updated because earlier applications continue to work, as well as later applications that have only known the updated class structure. The specific characteristics of orthogonal persistent systems, as well as a metadata enrichment strategy within the application's source code, complete the inception of the meta-model and have motivated our research work. To test the feasibility of the approach, a prototype was developed. Our prototype is a framework that mediates the interaction between applications and the database, providing them with orthogonal persistence mechanisms. These mechanisms are introduced into applications as an {\it aspect} in the aspect-oriented sense. Objects do not require the extension of any super class, the implementation of an interface nor contain a particular annotation. Parametric type classes are also correctly handled by our framework. However, classes that belong to the programming environment must not be handled as versionable due to restrictions imposed by the Java Virtual Machine. Regarding concurrency support, the framework provides the applications with a multithreaded environment which supports database transactions and error recovery. The framework keeps applications oblivious to the database evolution problem, as well as persistence. Programmers can update the applications' class structure because the framework will produce a new version for it at the database metadata layer. Using our XML based pointcut/advice constructs, the framework's instance adaptation mechanism is extended, hence keeping the framework also oblivious to this problem. The potential developing gains provided by the prototype were benchmarked. In our case study, the results confirm that mechanisms' transparency has positive repercussions on the programmer's productivity, simplifying the entire evolution process at application and database levels. The meta-model itself also was benchmarked in terms of complexity and agility. Compared with other meta-models, it requires less meta-object modifications in each schema evolution step. Other types of tests were carried out in order to validate prototype and meta-model robustness. In order to perform these tests, we used an OO7 small size database due to its data model complexity. Since the developed prototype offers some features that were not observed in other known systems, performance benchmarks were not possible. However, the developed benchmark is now available to perform future performance comparisons with equivalent systems. In order to test our approach in a real world scenario, we developed a proof-of-concept application. This application was developed without any persistence mechanisms. Using our framework and minor changes applied to the application's source code, we added these mechanisms. Furthermore, we tested the application in a schema evolution scenario. This real world experience using our framework showed that applications remains oblivious to persistence and database evolution. In this case study, our framework proved to be a useful tool for programmers and database administrators. Performance issues and the single Java Virtual Machine concurrent model are the major limitations found in the framework.

Efeitos de um programa baseado em tarefas orientadas na competência de marcha em indivíduos com acidente vascular cerebral

Mestrado em Fisioterapia.

Integrating the theme approach with aspectual scenarios

Dissertação de Mestrado em Engenharia Informática

Política(s) de saúde no trabalho : um inquérito sociológico às empresas portuguesas

Resumo Política(s) de saúde no trabalho: um inquérito sociológico às empresas portuguesas A literatura portuguesa sobre políticas, programas e actividades de Segurança, Higiene e Saúde no Trabalho (abreviadamente, SH&ST) é ainda escassa. Com este projecto de investigação pretende-se (i) colmatar essa lacuna, (ii) melhorar o conhecimento dos sistemas de gestão da saúde e segurança no trabalho e (iii) contribuir para a protecção e a promoção da saúde dos trabalhadores. Foi construída uma tipologia com cinco grupos principais de políticas, programas e actividades: A (Higiene & Segurança no Trabalho / Melhoria do ambiente físico de trabalho); B (Avaliação de saúde / Vigilância médica / Prestação de cuidados de saúde); C (Prevenção de comportamentos de risco/ Promoção de estilos de vida saudáveis); D (Intervenções a nível organizacional / Melhoria do ambiente psicossocial de trabalho); E (Actividades e programas sociais e de bem-estar). Havia uma lista de mais de 60 actividades possíveis, correspondendo a um índice de realização de 100%. Foi concebido e desenhado, para ser auto-administrado, um questionário sobre Política de Saúde no Local de Trabalho. Foram efectuados dois mailings, e um follow-up telefónico. O trabalho de campo decorreu entre a primavera de 1997 e o verão de 1998. A amostra (n=259) é considerada representativa das duas mil maiores empresas do país. Uma em cada quatro é uma multinacional. A taxa de sindicalização rondava os 30% da população trabalhadora, mas apenas 16% dos respondentes assinalou a existência de representantes dos trabalhadores eleitos para a SH&ST. A hipótese de investigação principal era a de que as empresas com um sistema integrado de gestão da SH&ST seriam também as empresas com um (i) maior número de políticas, programas e actividades de saúde; (ii) maior índice de saúde; (iii) maior índice de realização; e (iv) maior percentagem dos encargos com a SH&ST no total da massa salarial. As actividades de tipo A e B, tradicionalmente associadas à SH&ST, representavam, só por si, mais de 57% do total. Os resultados, correspondentes às respostas da Secção C do questionário, apontam, para (i) a hipervalorização dos exames de medicina do trabalho; e por outro para (ii) o subaproveitamento de um vasto conjunto de actividades (nomeadamente as de tipo D e E), que são correntemente levadas a cabo pelas empresas e que nunca ou raramente são pensadas em termos de protecção e promoção da saúde dos trabalhadores. As actividades e os programas de tipo C (Prevenção de comportamentos de risco/Promoção de estilos de vida saudáveis), ainda eram as menos frequentes entre nós, a seguir aos Programas sociais e de bem-estar (E). É a existência de sistemas de gestão integrados de SH&ST, e não o tamanho da empresa ou outra característica sociodemográfica ou técnico-organizacional, que permite predizer a frequência de políticas de saúde mais activas e mais inovadores. Os três principais motivos ou razões que levam as empresas portuguesas a investir na protecção e promoção da saúde dos seus trabalhadores eram, por ordem de frequência, (i) o absentismo em geral; (ii) a produtividade, qualidade e/ou competitividade, e (iii) a filosofia de gestão ou cultura organizacional. Quanto aos três principais benefícios que são reportados, surge em primeiro lugar (i) a melhoria da saúde dos trabalhadores, seguida da (ii) melhoria do ambiente do ambiente de trabalho e, por fim, (iii) a melhoria da produtividade, qualidade e/ou competitividade.Quanto aos três principais obstáculos que se põem, em geral, ao desenvolvimento das iniciativas de saúde, eles seriam os seguintes, na percepção dos respondentes: (i) a falta de empenho dos trabalhadores; (ii) a falta de tempo; e (iii) os problemas de articulação/ comunicação a nível interno. Por fim, (i) o empenho das estruturas hierárquicas; (ii) a cultura organizacional propícia; e (iii) o sentido de responsabilidade social surgem, destacadamente, como os três principais factores facilitadores do desenvolvimento da política de saúde no trabalho. Tantos estes factores como os obstáculos são de natureza endógena, susceptíveis portanto de controlo por parte dos gestores. Na sua generalidade, os resultados deste trabalho põem em evidência a fraqueza teóricometodológica de grande parte das iniciativas de saúde, realizadas na década de 1990. Muitas delas seriam medidas avulsas, que se inserem na gestão corrente das nossas empresas, e que dificilmente poderão ser tomadas como expressão de uma política de saúde no local de trabalho, (i) definida e assumida pela gestão de topo, (ii) socialmente concertada, (iii) coerente, (iv) baseada na avaliação de necessidades e expectativas de saúde dos trabalhadores, (v) divulgada, conhecida e partilhada por todos, (vi) contingencial, flexível e integrada, e, por fim, (vii) orientada por custos e resultados. Segundo a Declaração do Luxemburgo (1997), a promoção da saúde engloba o esforço conjunto dos empregadores, dos trabalhadores, do Estado e da sociedade civil para melhorar a segurança, a saúde e o bem-estar no trabalho, objectivo isso que pode ser conseguido através da (i) melhoria da organização e das demais condições de trabalho, da (ii) participação efectiva e concreta dos trabalhadores bem como do seu (iii) desenvolvimento pessoal. Abstract Health at work policies: a sociological inquiry into Portuguese corporations Portuguese literature on workplace health policies, programs and activities is still scarce. With this research project the author intends (i) to improve knowledge on the Occupational Health and Safety (shortly thereafter, OSH) management systems and (ii) contribute to the development of health promotion initiatives at a corporate level. Five categories of workplace health initiatives have been identified: (i) Occupational Hygiene and Safety / Improvement of Physical Working Environment (type A programs); (ii) Health Screening, Medical Surveillance and Other Occupational Health Care Provision (type B programs); (iii) Preventing Risk Behaviours / Promoting Healthy Life Styles (type C programs); (iv) Organisational Change / Improvement of Psycho-Social Working Environment (type D programs); and (v) Industrial and Social Welfare (type E programs). A mail questionnaire was sent to the Chief Executive Officer of the 1500 largest Portuguese companies, operating in the primary and secondary sectors (≥ 100 employees) or tertiary sector (≥ 75 employees). Response rate has reached about 20% (259 respondents, representing about 300 companies). Carried out between Spring 1997 and Summer 1998, the fieldwork has encompassed two direct mailings and one phone follow-up. Sample is considered to be representative of the two thousand largest companies. One in four is a multinational. Union membership rate is about 30%, but only 16% has reported the existence of a workers’ health and safety representative. The most frequent workplace health initiatives were those under the traditional scope of the OSH field (type A and B programs) (57% of total) (e.g., Periodical Medical Examinations; Individual Protective Equipment; Assessment of Working Ability). In SMEs (< 250) it was less likely to find out some time-consuming and expensive activities (e.g., Training on OSH knowledge and skills, Improvement of environmental parameters as ventilation, lighting, heating).There were significant differences in SMEs, when compared with the larger ones (≥ 250) concerning type B programs such as Periodical medical examinations, GP consultation, Nursing care, Other medical and non-medical specialities (e.g., psychiatrist, psychologist, ergonomist, physiotherapist, occupational social worker). With regard to type C programs, there were a greater percentage of programs centred on Substance abuse (tobacco, alcohol, and drug) than on Other health risk behaviours. SMEs representatives reported very few prevention- oriented programs in the field of Drug abuse, Nutrition, Physical activity, Off- job accidents, Blood pressure or Weight control. Frequency of type D programs included Training on Human Resources Management, Training on Organisational Behaviour, Total Quality Management, Job Design/Ergonomics, and Workplace rehabilitation. In general, implementation of this type of programs (Organisational Change / Improvement of Psychosocial Working Environment) is not largely driven by health considerations. Concerning Industrial and Social Welfare (Type E programs), the larger employers are in a better position than SMEs to offer to their employees a large spectrum of health resources and facilities (e.g., Restaurant, Canteen, Resting room, Transport, Infra-structures for physical activity, Surgery, Complementary social protection, Support to recreational and cultural activities, Magazine or newsletter, Intranet). Other workplace health promotion programs like Training on Stress Management, Employee Assistance Programs, or Self-help groups are uncommon in the Portuguese worksites. The existence of integrated OSH management systems, not the company size, is the main variable explaining the implementation of more active and innovative workplace health policies in Portugal. The three main prompting factors reported by employers for health protection and promotion initiatives are: (i) Employee absenteeism; (ii) Productivity, quality and/or competitiveness; and (iii) Corporate culture/management philosophy. On the other hand, (i) Improved staff’s health, (ii) Improved working environment and (iii) Improved productivity, quality and/or competitiveness were the three main benefits reported by companies’ representatives, as a result of successful implementation of workplace health initiatives. (i) Lack of staff commitment; (ii) Lack of time; and (iii) Problems of co-operation and communication within company or establishment (iii) are perceived to be the main barriers companies must cope with. Asked about the main facilitating factors, these companies have pointed out the following ones: (i) Top management commitment; (ii) Corporate culture; and (iii) Sense of social responsibility. This sociological research report shows the methodological weaknesses of workplace health initiatives, carried out by Portuguese companies during the last ‘90s. In many cases, these programs and actions were not part of a corporate health strategy and policy, (i) based on the assessment of workers’ health needs and expectancies, (ii) advocated by the employer or the chief executive officer, (ii) planned and implemented with the staff consultation and participation or (iv) evaluated according to a cost-benefit analysis. In short, corporate health policy and action were still rather based on more traditional OSH approaches and should be reoriented towards Workplace Health Promotion (WHP) approach. According to the Luxembourg Declaration of Workplace Health Promotion in the European Union (1997), WHP is “a combination of: (i) improving the work organisation and environment; (ii) promoting active participation; (iii) encouraging personal development”.Résumée Politique(s) de santé au travail: une enquête sociologique aux entreprises portugaises Au Portugal on ne sait presque rien des politiques de santé au travail, adoptés par les entreprises. Avec ce projet de recherche, on veut (i) améliorer la connaissance sur les systèmes de gestion de la santé et de la sécurité au travail et, au même temps, (ii) contribuer au développement de la promotion de la santé des travailleurs. Une typologie a été usée pour identifier les politiques, programmes et actions de santé au travail: A. Amélioration des conditions de travail / Sécurité au travail; B. Médecine du travail /Santé au travail; C. Prévention des comportements de risque / Promotion de styles de vie sains; D. Interventions organisationnelles / Amélioration des facteurs psychosociaux au travail; E. Gestion de personnel et bien-être social. Un questionnaire postal a été envoyé au représentant maximum des grandes entreprises portugaises, industrielles (≥ 100 employés) ou des services (≥ 75 employés). Le taux de réponse a été environ 20% (259 répondants, concernant trois centaines d’entreprises et d’établissements). La recherche de champ, conduite du printemps 1997 à l’été 1998, a compris deux enquêtes postales et un follow-up téléphonique. L´échantillon est représentatif de la population des deux miles plus grandes entreprises. Un quart sont des multinationales. Le taux de syndicalisation est d’environ 30%. Toutefois, il y a seulement 16% de lieux de travail avec des représentants du personnel pour la santé et sécurité au travail. Les initiatives de santé au travail les plus communes sont celles concernant le domaine plus traditionnel (types A et B) (57% du total): par exemple, les examens de médecine du travail, l’équipement de protection individuelle, les tests d’aptitude au travail. En ce qui concerne les programmes de type C, les plus fréquents sont le contrôle et la prévention des addictions (tabac, alcool, drogue). Les interventions dans le domaine de du système technique et organisationnelle du travail peuvent comprendre les courses de formation en gestion de ressources humaines ou en psychosociologie des organisations, l’ergonomie, le travail posté ou la gestion de la qualité totale. En général, la protection et la promotion de la santé des travailleurs ne sont pas prises en considération dans l’implémentation des initiatives de type D. Il y a des différences quand on compare les grandes entreprises et les moyennes en matière de politique de gestion du personnel e du bien-être (programmes de type E, y compris l’allocation de ressources humaines ou logistiques comme, par exemple, restaurant, journal d’entreprise, transports, installations et équipements sportifs). D’autres activités de promotion de la santé au travail comme la formation en gestion du stress, les programmes d’ assistance aux employés, ou les groupes de soutien et d’auto-aide sont encore très peu fréquents dans les entreprises portugaises. C’est le système intégré de gestion de la santé et de la sécurité au travail, et non pas la taille de l’entreprise, qui aide à prédire l’existence de politiques actives et innovatrices dans ce domaine. Les trois facteurs principaux qui encouragent les actions de santé (prompting factors, en anglais) sont (i) l’absentéisme (y compris la maladie), (ii) les problèmes liés à la productivité, qualité et/ou la compétitivité, et aussi (iii) la culture de l’entreprise/philosophie de gestion. Du coté des bénéfices, on a obtenu surtout l’amélioration (i) de la santé du personnel, (ii) des conditions de travail, et (iii) de la productivité, qualité et/ou compétitivité.Les facteurs qui facilitent les actions de santé au travail sont (i) l’engagement de la direction, (ii) la culture de l’entreprise, et (iii) le sens de responsabilité sociale. Par contre, les obstacles à surmonter, selon les organisations qui ont répondu au questionnaire, seraient surtout (i) le manque d’engagement des travailleurs et de leur représentants, (ii) le temps insuffisant, et (iii) les problèmes de articulation/communication au niveau interne de l’entreprise/établissement. Ce travail de recherche sociologique montre la faiblesse méthodologique des services et activités de santé et sécurité au travail, mis en place par les entreprises portugaises dans les années de 1990, à la suite des accords de concertation sociale de 1991. Dans beaucoup de cas, (i) ces politiques de santé ne font pas partie encore d’un système intégré de gestion, (ii) il n’a pas d’évaluation des besoins et des expectatives des travailleurs, (iii) c’est très bas ou inexistant le niveau de participation du personnel, (iv) on ne fait pas d’analyse coût-bénéfice. On peut conclure que les politiques de santé au travail sont plus proches de la médecine du travail et de la sécurité au travail que de la promotion de la santé des travailleurs. Selon la Déclaration du Luxembourg sur la Promotion de la Santé au Lieu de Travail dans la Communauté Européenne (1997), celle-ci « comprend toutes les mesures des employeurs, des employés et de la société pour améliorer l'état de santé et le bien être des travailleurs » e « ceci peut être obtenu par la concentration des efforts dans les domaines suivants: (i) amélioration de l'organisation du travail et des conditions de travail ; (ii) promotion d'une participation active des collaborateurs ; (iii) renforcement des compétences personnelles ».

Analysis of support for modularity in object teams based on design patterns

Dissertação de Mestrado em Engenharia Informática

Towards a flexible and transparent database evolution

Applications refactorings that imply the schema evolution are common activities in programming practices. Although modern object-oriented databases provide transparent schema evolution mechanisms, those refactorings continue to be time consuming tasks for programmers. In this paper we address this problem with a novel approach based on aspect-oriented programming and orthogonal persistence paradigms, as well as our meta-model. An overview of our framework is presented. This framework, a prototype based on that approach, provides applications with aspects of persistence and database evolution. It also provides a new pointcut/advice language that enables the modularization of the instance adaptation crosscutting concern of classes, which were subject to a schema evolution. We also present an application that relies on our framework. This application was developed without any concern regarding persistence and database evolution. However, its data is recovered in each execution, as well as objects, in previous schema versions, remain available, transparently, by means of our framework.

Evolution of the application and database with aspects

Generally, the evolution process of applications has impact on their underlining data models, thus becoming a time-consuming problem for programmers and database administrators. In this paper we address this problem within an aspect-oriented approach, which is based on a meta-model for orthogonal persistent programming systems. Applying reflection techniques, our meta-model aims to be simpler than its competitors. Furthermore, it enables database multi-version schemas. We also discuss two case studies in order to demonstrate the advantages of our approach.

Uma linguagem de domínio específico para AO

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Inform

SHõWA: A Self-healing Framework for Web-based Applications

The complexity of systems is considered an obstacle to the progress of the IT industry. Autonomic computing is presented as the alternative to cope with the growing complexity. It is a holistic approach, in which the systems are able to configure, heal, optimize, and protect by themselves. Web-based applications are an example of systems where the complexity is high. The number of components, their interoperability, and workload variations are factors that may lead to performance failures or unavailability scenarios. The occurrence of these scenarios affects the revenue and reputation of businesses that rely on these types of applications. In this article, we present a self-healing framework for Web-based applications (SHõWA). SHõWA is composed by several modules, which monitor the application, analyze the data to detect and pinpoint anomalies, and execute recovery actions autonomously. The monitoring is done by a small aspect-oriented programming agent. This agent does not require changes to the application source code and includes adaptive and selective algorithms to regulate the level of monitoring. The anomalies are detected and pinpointed by means of statistical correlation. The data analysis detects changes in the server response time and analyzes if those changes are correlated with the workload or are due to a performance anomaly. In the presence of per- formance anomalies, the data analysis pinpoints the anomaly. Upon the pinpointing of anomalies, SHõWA executes a recovery procedure. We also present a study about the detection and localization of anomalies, the accuracy of the data analysis, and the performance impact induced by SHõWA. Two benchmarking applications, exercised through dynamic workloads, and different types of anomaly were considered in the study. The results reveal that (1) the capacity of SHõWA to detect and pinpoint anomalies while the number of end users affected is low; (2) SHõWA was able to detect anomalies without raising any false alarm; and (3) SHõWA does not induce a significant performance overhead (throughput was affected in less than 1%, and the response time delay was no more than 2 milliseconds).

Aspektorientierung und Programmfamilien im Betriebssystembau

Operating system, program families, aspect-oriented programming, aspectC++, embedded systems, PURE operating system family

role of features and aspects in software development

Feature-Oriented Programming, Aspect-Oriented Programming, Software Product Lines, Stepwise Development

Implementació del disseny per contractes mitjançant la tecnologia orientada a aspectes

L'objectiu d'aquest projecte és fer un prototipus capaç de generar l'entorn necessari per a implementar els contractes de les classes que formen part de la llibreria TAD de l'assignatura d'Estructura de la informació, mitjançant la tecnologia orientada a aspectes i el llenguatge Java.