Static consistency checking of web applications with WebDSL

Modern web application development frameworks provide web application developers with high-level abstractions to improve their productivity. However, their support for static verification of applications is limited. Inconsistencies in an application are often not detected statically, but appear as errors at run-time. The reports about these errors are often obscure and hard to trace back to the source of the inconsistency. A major part of this inadequate consistency checking can be traced back to the lack of linguistic integration of these frameworks. Parts of an application are defined with separate domain-specific languages, which are not checked for consistency with the rest of the application. Examples include regular expressions, query languages and XML-based languages for definition of user interfaces. We give an overview and analysis of typical problems arising in development with frameworks for web application development, with Ruby on Rails, Lift and Seam as representatives.To remedy these problems, in this paper, we argue that domain-specific languages should be designed from the ground up with static verification and cross-aspect consistency checking in mind, providing linguistic integration of domain-specific sub-languages. We show how this approach is applied in the design of WebDSL, a domain-specific language for web applications, by examining how its compiler detects inconsistencies not caught by web frameworks, providing accurate and clear error messages. Furthermore, we show how this consistency analysis can be expressed with a declarative rule-based approach using the Stratego transformation language.     

Allocation mechanisms in public provision of transport and communication infrastructure

This study explores the allocation mechanisms in the public provision of interregional transport and communication infrastructure in Sweden. The logistics of the flow of infrastructure investments from the government budget is examined. The purpose is to consider how the demand for infrastructure investment is estimated by public agencies, how judgments are made on governmental expenditure policy, and what determines the spatial distribution of infrastructure investment. The analysis is carried out along four main lines; demand for infrastructure services, political intentions and goals, the modal composition of investments for transport and communication, and the spatial distribution of infrastructure. The discussion considers functional, spatial, and temporal consistency aspects in the public provision of infrastructure.     

Coping with anger-provoking situations, psychosocial working conditions, and ECG-detected signs of coronary heart disease.

This study explored the association among coping, psychosocial work factors, and signs of coronary heart disease (CHD) among prison staff (777 men, 345 women). Electrocardiogram (ECG) recordings at rest, health examinations, and a questionnaire were used. A high level of covert coping in men and a low level of open coping in women showed the strongest association with signs of CHD. Among several traditional biological and lifestyle risk factors, only age and systolic blood pressure in men and none in the case of women were significantly associated with CHD signs in the final multivariate regression analyses. A coping style of repressed emotions and actions in anger-provoking situations, independent of traditional risk factors, seems to be associated with a prevalence of ECG signs in male and female prison staff. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Abstraction and subsumption in modular verification of C programs

Formal Methods in System Design - The type-theoretic notions of existential abstraction, subtyping, subsumption, and intersection have useful analogues in separation-logic proofs of imperative...     

Service life assessment and moisture influence on bio-based composites

A race towards a more sustainable society is going on worldwide, and decreasing dependence on fossil resources in energy and transport sectors are main goals. One path to decreased oil usage is development of lightweight materials from renewable resources like bio-based composites. However, these new bio-based materials not only have to compete in mechanical performance but also have to restrain environmental loads like moisture and temperature over time. In this study, two bio-based composites have been compared to an oil-based composite in terms of long-term properties and water absorption behaviour. The long-term behaviour is determined by dynamic mechanical thermal analysis, DMTA and time temperature superposition, TTSP. The water uptake is determined by submersion of specimens into water and tracking their weight change over time. The moisture influence is characterised in form of water uptake and change in the master curves created by TTSP procedure. The results show that there is a significant difference in long-term performance between the bio-based and oil-based composites. It is realised that the bio-based composites can be a good alternative for some applications especially when taking their eco-friendly nature into account.     

On the Settling Velocity in a Nonstationary Atmosphere

A general drag coefficient has been used in the equation of motion for solid spherical particles. The time constants, stopping times, and settling velocities in a still atmosphere are computed for a wide range of Reynolds numbers. The settling times are compared with the times calculated when a particle is falling in a fluctuating atmosphere. It is found that such particles will get significantly longer settling times owing to an enhancement in the drag coefficient caused by an increase of the relative velocity between the particle and the fluid. Surprisingly, this enhancement is present for a horizontal wind field due to a coupling between particle motion in different directions, but it is also present for a vertical field. The effect is most pronounced in the intermediate Reynolds number region, slightly above the Stokes range, where the increase in settling time can be more than 10% for certain fluctuation frequencies and amplitudes. This indicates that such particles must be carefully treated when they are falling in a nonstationary medium