Formalization of the classification pattern: Survey of classification modeling in information systems engineering

Formalization is becoming more common in all stages of the development of information systems, as a better understanding of its benefits emerges. Classification systems are ubiquitous, no more so than in domain modeling. The classification pattern that underlies these systems provides a good case study of the move towards formalization in part because it illustrates some of the barriers to formalization; including the formal complexity of the pattern and the ontological issues surrounding the ‘one and the many’. Powersets are a way of characterizing the (complex) formal structure of the classification pattern and their formalization has been extensively studied in mathematics since Cantor’s work in the late 19th century. One can use this formalization to develop a useful benchmark. There are various communities within Information Systems Engineering (ISE) that are gradually working towards a formalization of the classification pattern. However, for most of these communities this work is incomplete, in that they have not yet arrived at a solution with the expressiveness of the powerset benchmark. This contrasts with the early smooth adoption of powerset by other Information Systems communities to, for example, formalize relations. One way of understanding the varying rates of adoption is recognizing that the different communities have different historical baggage. Many conceptual modeling communities emerged from work done on database design and this creates hurdles to the adoption of the high level of expressiveness of powersets. Another relevant factor is that these communities also often feel, particularly in the case of domain modeling, a responsibility to explain the semantics of whatever formal structures they adopt. This paper aims to make sense of the formalization of the classification pattern in ISE and surveys its history through the literature; starting from the relevant theoretical works of the mathematical literature and gradually shifting focus to the ISE literature. The literature survey follows the evolution of ISE’s understanding of how to formalize the classification pattern. The various proposals are assessed using the classical example of classification; the Linnaean taxonomy formalized using powersets as a benchmark for formal expressiveness. The broad conclusion of the survey is that (1) the ISE community is currently in the early stages of the process of understanding how to formalize the classification pattern, particularly in the requirements for expressiveness exemplified by powersets and (2) that there is an opportunity to intervene and speed up the process of adoption by clarifying this expressiveness. Given the central place that the classification pattern has in domain modeling, this intervention has the potential to lead to significant improvements.The UK Engineering and Physical Sciences Research Council (grant EP/K009923/1)

Dose-related effects of alcohol on cognitive functioning

We assessed the suitability of six applied tests of cognitive functioning to provide a single marker for dose-related alcohol intoxication. Numerous studies have demonstrated that alcohol has a deleterious effect on specific areas of cognitive processing but few have compared the effects of alcohol across a wide range of different cognitive processes. Adult participants (N = 56, 32 males, 24 females aged 18–45 years) were randomized to control or alcohol treatments within a mixed design experiment involving multiple-dosages at approximately one hour intervals (attained mean blood alcohol concentrations (BACs) of 0.00, 0.048, 0.082 and 0.10%), employing a battery of six psychometric tests; the Useful Field of View test (UFOV; processing speed together with directed attention); the Self-Ordered Pointing Task (SOPT; working memory); Inspection Time (IT; speed of processing independent from motor responding); the Traveling Salesperson Problem (TSP; strategic optimization); the Sustained Attention to Response Task (SART; vigilance, response inhibition and psychomotor function); and the Trail-Making Test(TMT; cognitive flexibility and psychomotor function). Results demonstrated that impairment is not uniform across different domains of cognitive processing and that both the size of the alcohol effect and the magnitude of effect change across different dose levels are quantitatively different for different cognitive processes. Only IT met the criteria for a marker for wide-spread application: reliable dose-related decline in a basic process as a function of rising BAC level and easy to use non-invasive task properties.Mathew J. Dry, Nicholas R. Burns, Ted Nettelbeck, Aaron L. Farquharson and Jason M. Whit

Leaflet arrest in St Jude Medical and CarboMedics valves: an experimental study

Objective: Two patients who suffered acute failure of their St Jude Medical Masters aortic valve prostheses due to leaflet arrest that were unrelated to suture material are presented. It was hypothesized that the valves failed because force applied to bear upon the valve annulus caused the hinge mechanism to become restricted or to arrest. Methods: A study was designed to measure the force that would cause leaflet arrest in three sizes of St Jude Medical Masters valves and CarboMedics mechanical valves. A specially manufactured pushrod device was used to apply a variable force to the sewing cuff, low annulus level, or to the pivot guards of all the valves. Results: For every valve size tested, the St Jude Medical Masters valves required significantly less force applied than did the CarboMedics valves to cause one or both leaflets to arrest (P < 0.0004). Conclusions: A force applied on the valve ring of mechanical valves can cause leaflet arrest. The force required to arrest the leaflets is within an order of magnitude of that measured in other in vivo animal studies. We conclude that force on the valve rings in patients after aortic valve surgery could cause leaflet malfunction and even arrest in some patients. (C) 2004 Elsevier B.V. All rights reserved