Re-integration into work

This is the first complete textbook designed for physiotherapists and occupational therapists on the topic of pain. It was developed for use in conjunction with the International Association for the Study of Pain's pain curriculum for OTs and PTs. The book addresses the nature of pain, the neuroanatomical and neurophysiological substrates of pain, the psychological... More aspects of pain, the lifespan approach to pain, pain measurement, pain and placebo, modalities for treating pain, and special topics in pain. It provides an overview of the physiological, psychosocial, and environmental aspects of pain experience across the lifespan. Aimed primarily at OTs and PTs the assessment and interventions issues pertaining to the perspectives of each profession are discussed in detail. The book is also relevant to the other health professions involved in pain management or intending to work in this area.

MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.