title: A compositional approach for verifying generalized nonblocking

authors: Malik, Robi

subjects: computer science

abstract: This paper proposes a compositional approach to verify the generalised nonblocking property of discrete-event systems. Generalised nonblocking is introduced in to overcome weaknesses of the standard nonblocking check in discrete-event systems and increase the scope of liveness properties that can be handled. This paper addresses the question of how generalised nonblocking can be verified efficiently. The explicit construction of the complete state space is avoided by first composing and simplifying individual components in ways that preserve generalised nonblocking. The paper extends and generalises previous results about compositional verification of standard nonblocking and lists a new set of computationally feasible abstraction rules for standard and generalised nonblocking.

text: A compositional approach for verifying generalized nonblocking This paper proposes a compositional approach to verify the generalised nonblocking property of discrete-event systems. Generalised nonblocking is introduced in to overcome weaknesses of the standard nonblocking check in discrete-event systems and increase the scope of liveness properties that can be handled. This paper addresses the question of how generalised nonblocking can be verified efficiently. The explicit construction of the complete state space is avoided by first composing and simplifying individual components in ways that preserve generalised nonblocking. The paper extends and generalises previous results about compositional verification of standard nonblocking and lists a new set of computationally feasible abstraction rules for standard and generalised nonblocking.

year: 2009

title: Pacific Islanders and Health in the Print News Media

authors: Loto, Robert

subjects: Pacific

abstract: Pacific Islanders have faced discrimination in New Zealand particularly since the 1960s when members of communities, particularly from the Cook Islands, Samoa, Niue and Tonga began to be transplanted from their home nations to Aotearoa as cheap immigrant labour. Subsequently, the New Zealand vernacular has contained references to Pacific Islanders as 'overstayers', 'coconuts', 'bungas' and 'fresh off the boat' [FOB]. However, the legacy of a domineering relationship between the Palagi1 majority group and Pacific2 minorities that is captured by such derogatory terms is still evident in public forums such as the media. Using a quantitative content and qualitative narrative analysis, this first chapter documents portrayals of Pacific Islanders in New Zealand print media reports (n= 65) published over a three-month period. Findings reveal that Pacific people are predominantly portrayed as unmotivated, unhealthy and criminal others who are overly dependent on Palagi support. Consideration of this offered Pacific identity formation is explored and compared with that implied for Palagi, which is active, independent, competent and caring. Issues in coverage are discussed in relation to how Pacific Islanders are encouraged to see themselves, and the health and social consequences of dominant practices in press coverage.

The second part of this thesis will take the findings from the investigation of the characterizations of Pacific Islanders in newspaper coverage and consider audience responses to such coverage. Focus group discussions will be used to explore how different New Zealand audiences view and respond to the portrayals of Pacific Island people and health in news media. The focus on audience responses supports the development of a better understanding of how groups can internalise media portrayals and use these as anchor points for understanding their own situations. Qualitative content from the two groups of Pacific Islanders (P1, P2) and two groups of Palagi (NP1, NP2) enabled a comparative analysis of audience interpretations. Findings propose that health issues are predominantly framed from the perspective of the dominant social group - in the local context Palagi - often at the expense of minority groups such as Māori and Pacific peoples. In appropriating aspects of news coverage, audience members do not engage or regurgitate what they are told or shown through the media. It is a rather complex process with audience members interpreting and using fragments of what they are presented with in making sense of issues of concern in their own lives. All the participants (n= 24) were compensated for their time and travel. We offer some suggestions as to how more equitable representations of Pacific people could be fostered in news media and how changes to a more civilised media will impact Pacific health positively.


1 Palagi (pronounced Palangi) is a term used by Pacific Islanders to refer to people of European decent.
2 We use the terms 'Pacific people' and 'Pacific Islanders' to denote a general social category or minority in Aotearoa used by the media. However, we need to qualify the use of these terms because their use can lead to a glossing over of the diversity in languages and cultures that exists between over 20 different Polynesian, Melanesian and Micronesian communities.

text: Pacific Islanders and Health in the Print News Media Pacific Islanders have faced discrimination in New Zealand particularly since the 1960s when members of communities, particularly from the Cook Islands, Samoa, Niue and Tonga began to be transplanted from their home nations to Aotearoa as cheap immigrant labour. Subsequently, the New Zealand vernacular has contained references to Pacific Islanders as 'overstayers', 'coconuts', 'bungas' and 'fresh off the boat' [FOB]. However, the legacy of a domineering relationship between the Palagi1 majority group and Pacific2 minorities that is captured by such derogatory terms is still evident in public forums such as the media. Using a quantitative content and qualitative narrative analysis, this first chapter documents portrayals of Pacific Islanders in New Zealand print media reports (n= 65) published over a three-month period. Findings reveal that Pacific people are predominantly portrayed as unmotivated, unhealthy and criminal others who are overly dependent on Palagi support. Consideration of this offered Pacific identity formation is explored and compared with that implied for Palagi, which is active, independent, competent and caring. Issues in coverage are discussed in relation to how Pacific Islanders are encouraged to see themselves, and the health and social consequences of dominant practices in press coverage.

The second part of this thesis will take the findings from the investigation of the characterizations of Pacific Islanders in newspaper coverage and consider audience responses to such coverage. Focus group discussions will be used to explore how different New Zealand audiences view and respond to the portrayals of Pacific Island people and health in news media. The focus on audience responses supports the development of a better understanding of how groups can internalise media portrayals and use these as anchor points for understanding their own situations. Qualitative content from the two groups of Pacific Islanders (P1, P2) and two groups of Palagi (NP1, NP2) enabled a comparative analysis of audience interpretations. Findings propose that health issues are predominantly framed from the perspective of the dominant social group - in the local context Palagi - often at the expense of minority groups such as Māori and Pacific peoples. In appropriating aspects of news coverage, audience members do not engage or regurgitate what they are told or shown through the media. It is a rather complex process with audience members interpreting and using fragments of what they are presented with in making sense of issues of concern in their own lives. All the participants (n= 24) were compensated for their time and travel. We offer some suggestions as to how more equitable representations of Pacific people could be fostered in news media and how changes to a more civilised media will impact Pacific health positively.


1 Palagi (pronounced Palangi) is a term used by Pacific Islanders to refer to people of European decent.
2 We use the terms 'Pacific people' and 'Pacific Islanders' to denote a general social category or minority in Aotearoa used by the media. However, we need to qualify the use of these terms because their use can lead to a glossing over of the diversity in languages and cultures that exists between over 20 different Polynesian, Melanesian and Micronesian communities.

year: 2007

title: Critical reflection for researcher–community partnership effectiveness: The He Pikinga Waiora process evaluation tool guiding the implementation of chronic condition interventions in Indigenous communities

authors: Rarere, Moana

subjects: community health planning

abstract: Critically reflecting on researcher–community partnerships is a key component in implementing chronic condition interventions in Indigenous communities. This paper draws on the results and learnings from a process evaluation that measures how well two research–community partnerships have followed the He Pikinga Waiora (HPW) Implementation Framework while co-designing chronic condition interventions in primary care. The HPW framework is centred on Indigenous self-determination and knowledge surrounded by community engagement, cultural centredness, systems thinking and integrated knowledge translation. The evaluation included in-depth interviews and online surveys with 10 team members. The findings demonstrate that the HPW framework was followed well, with strengths particularly in community engagement and relationship building. Areas for improvement included systems thinking and integrated knowledge translation to support sustainability of the interventions. The need for partnerships to use process evaluation results to support critical reflection is asserted, which helps build strong trust and synergy, power sharing and effective and sustainable implementation practices. It is concluded that the HPW framework is well suited to evaluating implementation of health interventions in primary care as it assists in the facilitation of better collaboration between researchers and Indigenous communities, and encourages the implementation team to reflect on power and privilege.

text: Critical reflection for researcher–community partnership effectiveness: The He Pikinga Waiora process evaluation tool guiding the implementation of chronic condition interventions in Indigenous communities Critically reflecting on researcher–community partnerships is a key component in implementing chronic condition interventions in Indigenous communities. This paper draws on the results and learnings from a process evaluation that measures how well two research–community partnerships have followed the He Pikinga Waiora (HPW) Implementation Framework while co-designing chronic condition interventions in primary care. The HPW framework is centred on Indigenous self-determination and knowledge surrounded by community engagement, cultural centredness, systems thinking and integrated knowledge translation. The evaluation included in-depth interviews and online surveys with 10 team members. The findings demonstrate that the HPW framework was followed well, with strengths particularly in community engagement and relationship building. Areas for improvement included systems thinking and integrated knowledge translation to support sustainability of the interventions. The need for partnerships to use process evaluation results to support critical reflection is asserted, which helps build strong trust and synergy, power sharing and effective and sustainable implementation practices. It is concluded that the HPW framework is well suited to evaluating implementation of health interventions in primary care as it assists in the facilitation of better collaboration between researchers and Indigenous communities, and encourages the implementation team to reflect on power and privilege.

year: 2019