The Object Management Group Ontology Definition Metamodel

Report of a submission being made to a major international software engineering standards group, the Object Management Group which ties together OMG standards with World-Wide Web Consortium and International Standards Organization standards. Major industry bodies including IBM are collaborating, and the submission has the support of 24 companies. OMG, W3C and ISO standards strongly influence the industry, especially in combination. Colomb was a major contributor, responsible for 30% of the submission, and the primary author of the paper.

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.

Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.

Jules Cotard (1840-1889) - His life and the unique syndrome which bears his name

Dr. Jules Cotard (1840-1889) was a Parisian neurologist who first described the delire des negations. Cotard's syndrome or Cotard's delusion comprises any one of a series of delusions ranging from the fixed and unshakable belief that one has lost organs, blood, or body parts to believing that one has lost one's soul or is dead. In its most profound form, the delusion takes the form of a professed belief that one does not exist. Encountered primarily in psychoses such as schizophrenia and bipolar disorder, Cotard's syndrome has also been described in organic lesions of the nondominant temporoparietal cortex as well as in migraine. Cotard's delusion is the only self-certifiable syndrome of delusional psychosis. Jules Cotard, a Parisian neurologist and psychiatrist and former military surgeon, was one of the first to induce cerebral atrophy by the experimental embolization of cerebral arteries in animals and a pioneer in studies of the clinicopathologic correlates of cerebral atrophy secondary to perinatal and postnatal pathologic changes. He was the first to record that unilateral cerebral atrophy in infancy does not necessarily lead to aphasia and was also the pioneer of studies of altered conscious states in diabetic hyperglycemia.

Testamentary capacity and aphasia: A descriptive case report with implications for clinical practice

Background: Testamentary capacity (the capacity to make a will) is recognised in the literature as an important issue for speech-language pathologists' assessment of people with aphasia, but current guidelines for clinical practice lack an empirical base. Aims: The research aimed to suggest some guidelines for clinical practice based on information considered relevant for the court in determining testamentary capacity. Methods & Procedures: A recent legal case involving a challenge to the will of a woman with severe aphasia was critically examined with reference to current guidelines in the literature regarding assessment of testamentary capacity. Outcomes & Results: Examination of the information available on the case indicated that the judge gave priority to accounts of the everyday communication of the person with aphasia (including reported discourse samples) over the information provided by expert medical witnesses. The extent to which communication effectiveness could be maximised was found to be a matter of key significance to the determination of capacity. Conclusions: This study has implications for speech-language pathologists' assessment practices and reports, as well as for scope of practice with regard to legal decision making of people with aphasia. These issues are discussed in relation to the World Health Organisation's ICF framework of functioning for social participation.