An automated tool for semantic accessing to formal software models

Many software engineers have found that it is difficult to understand, incorporate and use different formal models consistently in the process of software developments, especially for large and complex software systems. This is mainly due to the complex mathematical nature of the formal methods and the lack of tool support. It is highly desirable to have software models and their related software artefacts systematically connected and used collaboratively, rather than in isolation. The success of the Semantic Web, as the next generation of Web technology, can have profound impact on the environment for formal software development. It allows both the software engineers and machines to understand the content of formal models and supports more effective software design in terms of understanding, sharing and reusing in a distributed manner. To realise the full potential of the Semantic Web in formal software development, effectively creating proper semantic metadata for formal software models and their related software artefacts is crucial. This paper proposed a framework that allows users to interconnect the knowledge about formal software models and other related documents using the semantic technology. We first propose a methodology with tool support is proposed to automatically derive ontological metadata from formal software models and semantically describe them. We then develop a Semantic Web environment for representing and sharing formal Z/OZ models. A method with prototype tool is presented to enhance semantic query to software models and other artefacts. © 2014.

Decision-making in product quality based on failure knowledge

Decision-making in product quality is an indispensable stage in product development, in order to reduce product development risk. Based on the identification of the deficiencies of quality function deployment (QFD) and failure modes and effects analysis (FMEA), a novel decision-making method is presented that draws upon a knowledge network of failure scenarios. An ontological expression of failure scenarios is presented together with a framework of failure knowledge network (FKN). According to the roles of quality characteristics (QCs) in failure processing, QCs are set into three categories namely perceptible QCs, restrictive QCs, and controllable QCs, which present the monitor targets, control targets and improvement targets respectively for quality management. A mathematical model and algorithms based on the analytic network process (ANP) is introduced for calculating the priority of QCs with respect to different development scenarios. A case study is provided according to the proposed decision-making procedure based on FKN. This methodology is applied in the propeller design process to solve the problem of prioritising QCs. This paper provides a practical approach for decision-making in product quality. Copyright © 2011 Inderscience Enterprises Ltd.

Representing supply chain events on the Web of data

The Electronic Product Code Information Service (EPCIS) is an EPCglobal standard, that aims to bridge the gap between the physical world of RFID1 tagged artifacts, and information systems that enable their tracking and tracing via the Electronic Product Code (EPC). Central to the EPCIS data model are "events" that describe specific occurrences in the supply chain. EPCIS events, recorded and registered against EPC tagged artifacts, encapsulate the "what", "when", "where" and "why" of these artifacts as they flow through the supply chain. In this paper we propose an ontological model for representing EPCIS events on the Web of data. Our model provides a scalable approach for the representation, integration and sharing of EPCIS events as linked data via RESTful interfaces, thereby facilitating interoperability, collaboration and exchange of EPC related data across enterprises on a Web scale.

The non-violence of love:a Hildebrand-Girard encounter

If love is a social as well as a personal reality, it could be fruitful to compare Von Hildebrand’s understanding of love and desire with that of cultural anthropologist René Girard. Girard depicts love and desire as a triangular process which arises from imitation, rather than the result of auto-generative affection. In this sense, Girardian theory would seem to convict Von Hildebrand of what is called the romantic lie wherein desire is thought to arise through the mutual appreciation of two subjects. However, in The Nature of Love Von Hildebrand shows his awareness of the possibility that love can be awakened by imitation. Moreover, the lack of a sufficient reason in Girardian theory for avoiding violence can be answered by turning to Von Hildebrand’s appreciation of the ontological basis for desire.

Living well to the end:a phenomenological analysis of life in extra care housing

OBJECTIVES: To understand older adults' experiences of moving into extra care housing which offers enrichment activities alongside social and healthcare support. DESIGN: A longitudinal study was conducted which adopted a phenomenological approach to data generation and analysis. METHODS: Semi-structured interviews were conducted in the first 18 months of living in extra care housing. Interpretative phenomenological analysis was used because its commitment to idiography enabled an in-depth analysis of the subjective lived experience of moving into extra care housing. Themes generated inductively were examined against an existential-phenomenological theory of well-being. RESULTS: Learning to live in an extra care community showed negotiating new relationships was not straightforward; maintaining friendships outside the community became more difficult as capacity declined. In springboard for opportunity/confinement, living in extra care provided new opportunities for social engagement and a restored sense of self. Over time horizons began to shrink as incapacities grew. Seeking care illustrated reticence to seek care, due to embarrassment and a sense of duty to one's partner. Becoming aged presented an ontological challenge. Nevertheless, some showed a readiness for death, a sense of homecoming. CONCLUSIONS: An authentic later life was possible but residents required emotional and social support to live through the transition and challenges of becoming aged. Enhancement activities boosted residents' quality of life but the range of activities could be extended to cater better for quieter, smaller scale events within the community; volunteer activity facilitators could be used here. Peer mentoring may help build new relationships and opportunities for interactive stimulation. Acknowledging the importance of feeling-empathic imagination-in caregiving may help staff and residents relate better to each other, thus helping individuals to become ontologically secure and live well to the end.

Learning to live with Parkinson’s disease in the family unit:an interpretative phenomenological analysis of well-being

We investigated family members’ lived experience of Parkinson’s disease (PD) aiming to investigate opportunities for well-being. A lifeworld-led approach to healthcare was adopted. Interpretative phenomenological analysis was used to explore in-depth interviews with people living with PD and their partners. The analysis generated four themes: It’s more than just an illness revealed the existential challenge of diagnosis; Like a bird with a broken wing emphasizing the need to adapt to increasing immobility through embodied agency; Being together with PD exploring the kinship within couples and belonging experienced through support groups; and Carpe diem! illuminated the significance of time and fractured future orientation created by diagnosis. Findings were interpreted using an existential-phenomenological theory of well-being. We highlighted how partners shared the impact of PD in their own ontological challenges. Further research with different types of families and in different situations is required to identify services required to facilitate the process of learning to live with PD. Care and support for the family unit needs to provide emotional support to manage threats to identity and agency alongside problem-solving for bodily changes. Adopting a lifeworld-led healthcare approach would increase opportunities for well-being within the PD illness journey.