A tool for a formal pattern modeling language

This paper presents a formal but practical approach for defining and using design patterns. Initially we formalize the concepts commonly used in defining design patterns using Object-Z. We also formalize consistency constraints that must be satisfied when a pattern is deployed in a design model. Then we implement the pattern modeling language and its consistency constraints using an existing modeling framework, EMF, and incorporate the implementation as plug-ins to the Eclipse modeling environment. While the language is defined formally in terms of Object-Z definitions, the language is implemented in a practical environment. Using the plug-ins, users can develop precise pattern descriptions without knowing the underlying formalism, and can use the tool to check the validity of the pattern descriptions and pattern usage in design models. In this work, formalism brings precision to the pattern language definition and its implementation brings practicability to our pattern-based modeling approach.

Linking contracts, processes and services: An event-driven approach

This paper addresses the problem of mapping business contract conditions onto the messages and rules that represent service interactions in a collaborative business process. We describe why this mapping is not straightforward by means of an example. We then consider a message-driven process language as a target for the mapping and use this mapping solution to discuss broad range of problems related to the mapping problem.

Compilation by refinement for a practical assembly language

In this paper we extend the conventional framework of program refinement down to the assembler level. We describe an extension to the Refinement Calculus that supports the refinement of programs in the Guarded Command Language to programs in .NET assembler. This is illustrated by a small example.

The management of stress amongst professional carers within a social services department

This thesis considers four broad areas:(i) ANALYSIS OF THE STRESS FIELD.(a) research studies, relevant to the British Social Services considering the cultural setting, and the rigor with which they were conducted; (b) models of stress, specifically examining the theoretical soundness and practical application of the Medical, Engineering and Transactional models;(c) organisational models of stress relating specifically to human service organisations.(ii) QUALITATIVE AND QUANTITATIVE RESEARCH METHODOLOGIES.(a) the appropriate application of each respective methodology and the particular usefulness of qualitative research designs; (b) the relevance of understanding the language and terminology associated with the subject area prior to the implementation of survey methods; (iii) FIELDWORK.(a) Phase 1. By use of focus groups, in-depth interviews and diary keeping amongst a small range of teams and managers, the Researcher develops a basic conceptual framework of stress within a Social Services context. In addition a small scale personality inventory was administered to participants.(b) Phase 2. This consisted of three key elements: 6 case studies in which the Researcher implements and appraises the impact of a range of intervention strategies designed to assist teams and their managers in dealing more effectively with stress; the administration of a large scale survey to all the field social work teams within the Social Services Department; an analysis of the user role within the stress process by way of two focus groups.(iv) THEORETICAL DEVELOPMENT.

Access to medical information and the role of english language in an Algerian selected community : media and modes of exchange among the paediatricians

DUE TO COPYRIGHT RESTRICTIONS ONLY AVAILABLE FOR CONSULTATION AT ASTON UNIVERSITY LIBRARY AND INFORMATION SERVICES WITH PRIOR ARRANGEMENT

The aquisition of language skill by children

DUE TO COPYRIGHT RESTRICTIONS ONLY AVAILABLE FOR CONSULTATION AT ASTON UNIVERSITY LIBRARY AND INFORMATION SERVICES WITH PRIOR ARRANGEMENT

A language for self-adaptive system requirements

Self-adaptive systems have the capability to autonomously modify their behaviour at run-time in response to changes in their environment. Such systems are now commonly built in domains as diverse as enterprise computing, automotive control systems, and environmental monitoring systems. To date, however, there has been limited attention paid to how to engineer requirements for such systems. As a result, selfadaptivity is often constructed in an ad-hoc manner. In this paper, we argue that a more rigorous treatment of requirements relating to self-adaptivity is needed and that, in particular, requirements languages for self-adaptive systems should include explicit constructs for specifying and dealing with the uncertainty inherent in self-adaptive systems. We present some initial thoughts on a new requirements language for selfadaptive systems and illustrate it using examples from the services domain. © 2008 IEEE.

Transfer of patients from health care centres to special care services:analysis of travel distances in Nordic countries

Objectives: This paper highlights the importance of analysing patient transportation in Nordic circumpolar areas. The research questions we asked are as follows: How many Finnish patients have been transferred to special care intra-country and inter-country in 2009? Does it make any difference to health care policymakers if patients are transferred inter-country? Study design: We analysed the differences in distances from health care centres to special care services within Finland, Sweden and Norway and considered the health care policy implica tions. Methods: An analysis of the time required to drive between service providers using the "Google distance meter" (http://maps.google.com/); conducting interviews with key Finnish stakeholders; and undertaking a quantitative analyses of referral data from the Lapland Hospital District. Results: Finnish patients are generally not transferred for health care services across national borders even if the distances are shorter. Conclusion: Finnish patients have limited access to health care services in circumpolar are as across the Nordic countries for 2 reasons. First, health professionals in Norway and Sweden do not speak Finnish, which presents a language problem. Second, The Social Insurance Institution of Finland does not cover the expenditures of travel or the costs of medicine. In addition, it seems that in circumpolar areas the density of Finnish service providers is greater than Swedish ones, causing many Swedish citizens to transfer to Finnish health care providers every year. However, future research is needed to determine the precise reasons for this.

Learner factors leading to success on intensive language courses

DUE TO COPYRIGHT RESTRICTIONS ONLY AVAILABLE FOR CONSULTATION AT ASTON UNIVERSITY LIBRARY AND INFORMATION SERVICES WITH PRIOR ARRANGEMENT

Verbal negation in the inter-language of Arabic-speaking women acquiring English as a second language

DUE TO COPYRIGHT RESTRICTIONS ONLY AVAILABLE FOR CONSULTATION AT ASTON UNIVERSITY LIBRARY AND INFORMATION SERVICES WITH PRIOR ARRANGEMENT

A statistical analysis of the structure of language found in the essay writing of a sample of technical college students and public school boys

DUE TO COPYRIGHT RESTRICTIONS ONLY AVAILABLE FOR CONSULTATION AT ASTON UNIVERSITY LIBRARY AND INFORMATION SERVICES WITH PRIOR ARRANGEMENT