A graph-based aspect interference detection approach for UML-based aspect-oriented models

Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique. While this improves the understandability of each submodel, in order to reason about the behavior of the composed system and to detect conflicts among submodels, automated tool support is required. Current techniques for conflict detection among aspects generally have at least one of the following weaknesses. They require to manually model the abstract semantics for each system; or they derive the system semantics from code assuming one specific aspect-oriented language. Defining an extra semantics model for verification bears the risk of inconsistencies between the actual and the verified design; verifying only at implementation level hinders fixng errors in earlier phases. We propose a technique for fully automatic detection of conflicts between aspects at the model level; more specifically, our approach works on UML models with an extension for modeling pointcuts and advice. As back-end we use a graph-based model checker, for which we have defined an operational semantics of UML diagrams, pointcuts and advice. In order to simulate the system, we automatically derive a graph model from the diagrams. The result is another graph, which represents all possible program executions, and which can be verified against a declarative specification of invariants.\ud To demonstrate our approach, we discuss a UML-based AOM model of the "Crisis Management System" and a possible design and evolution scenario. The complexity of the system makes con°icts among composed aspects hard to detect: already in the case of two simulated aspects, the state space contains 623 di®erent states and 9 different execution paths. Nevertheless, in case the right pruning methods are used, the state-space only grows linearly with the number of aspects; therefore, the automatic analysis scales

Blending classroom-based and web-based learning of English for specific purposes for social care specialities at Kuressaare Regional Training Centre

The main purpose of this MA thesis is to examine the ways of blending classroombased and web-based learning and teaching of English for Specific Purposes (ESP) for adult social care learners at Kuressaare Regional Training Centre. A needs analysis research by means of questionnaires and interviews was conducted at Kuressaare Regional Training Centre in order to determine the needs of learners. The questionnaires were completed by forty learners and graduates of Kuressaare Regional Training Centre in the period of February – April 2016. The interviews were organised among twelve social care learners and graduates in the same period. In general terms, the completed research aimed to determine the language skills needed for social care learners in occupation-related fields, the most practical ESP tasks and activities in order to gain the necessary skills and finally, to evaluate and provide rationales for the implementation of the current web-based course. The thesis comprises the introduction, two core chapters, the conclusion, references and seven appendices. The introduction lists the reasons of the present study, the aims and the introduction of methodology. Furthermore, the background and rationales of the current research are discussed in this chapter. Chapter One presents a theoretical overview of combining technology and ESP, pedagogy in computer-assisted learning and in addition, the learner-centred approach in teaching adults and the discussion of needs analysis are described in this chapter. The practical part consists of the presentation and the analysis of the survey results and besides, the blended course outline is provided in the last section.http://www.ester.ee/record=b4582725*es

Aspects of Availability Enforcing timed properties to prevent denial of service

We propose a domain-specific aspect language to prevent denial of service caused by resource management. Our aspects specify availability policies by enforcing time limits in the allocation of resources. In our language, aspects can be seen as formal timed properties on execution traces. Programs and aspects are specified as timed automata and the weaving process as an automata product. The benefit of this formal approach is two-fold: the user keeps the semantic impact of weaving under control and (s)he can use a model-checker to optimize the woven program and verify availability properties

The Inaugural Australasian Mental Health and Higher Education Conference 2017: conference information and book of abstracts

Mental health difficulties, as we know, are an invisible malady that affects all of us either directly or indirectly and hence the statement - "Mental health is everyone's business". Mental health and wellbeing among students represents an important growing public health concern.With Australian research suggesting that there is a high prevalence rate of students experiencing mental health difficulties in universities, mental health and wellbeing is a significant issue for higher education

New era in service delivery models: greek SLPs knowledge and perceptions of telepractice

Trabalho de Projeto apresentado à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Terapêutica da Fala, área de especialização em Linguagem no AdultoTelepractice is a service delivery model that allows speech- language pathologists to provide their services in remote areas via a teleconference tool. The current study aimed to investigate the knowledge, the use, the perceptions and intentions of Greek SLPs on telepractice. For the purposes of this study a non experimental, descriptive method survey research design selected. Information collected via an online, distributed, self- administered questionnaire. The instrumental tool designed by the author and the Greek SLP Association –SELLE (Σύλλογος Επιστημών Λογοπαθολόγων Λογοθεραπευτών Ελλάδος - Association of Greek Sciences, Speech Language Pathologists Speech Language Therapists) the link of the survey was sent to 925 members via newsletter. Seventy-five responded to the survey indicating a response rate 8% and finally 74 participants met the inclusion criteria. The results indicated that the majority of Greek SLPs know what telepractice means. Some of them , use it as a service delivery model for both adults and children with a wide range of disorders. In addition, they provided interesting benefits and barriers of this model and in general have a positive intention in using it in the future. The results obtained have numerous significant clinical and theoretical implications regarding this new service delivery model in Greece. Recommendations are made to Greek speech language therapists as well as future researchers. Teleprática é um modelo de prestação de serviço que permite aos terapeutas da fala prestarem os seus serviços em zonas remotas através de uma ferramenta de teleconferência. O presente estudo teve como objetivo investigar o conhecimento, o uso, as perceções e as intenções dos terapeutas da fala gregos sobre a teleprática. Para o propósito deste estudo, foi selecionado um desenho de investigação descritivo e não experimental. As informações foram recolhidas com reurso à distribuição de um questionário on-line, de autoadministração. O instrumento foi concebido pela autora, tendo a Associação Grega de Terapia da Fala -SELLE (Σύλλογος Επιστημών Λογοπαθολόγων Λογοθεραπευτών Ελλάδος - Association of Greek Sciences, Speech Language Pathologists Speech Language Therapists) enviado o link do questionário a 925 membros via newsletter. Setenta e cinco terapeutas da fala responderam, o que indica uma taxa de resposta de 8% e, finalmente, 74 participantes preencheram os critérios de inclusão. Os resultados indicaram que a maioria dos terapeutas da fala gregos sabe o que significa teleprática. Alguns deles usam este modelo de prestação de serviços, tanto com adultos como com crianças e com uma ampla gama de perturbações. Além disso, os participantes apontaram benefícios interessantes deste modelo, bem como barreiras, revelando, em geral, terem uma intenção positiva em usá-lo no futuro. Os resultados obtidos têm diversas implicações significativas, clínicas e teóricas, em relação a este novo modelo de prestação de serviços na Grécia. São feitas recomendações para terapeutas da fala gregos, bem como para futuros investigadores