title: Selection of Components in Compositional Verification of Safety Properties

authors: Shi, Jinjian

subjects: Model verification

abstract: This report presents a two-step components selection method to compose the components for compositional verification. This method employs different methods for the selection of components to be composed during compositional verification. Also, this report presents some automata transformation strategies to improve the efficiency of composing and projection. This enhanced compositional verification method is applied to a set of large and complex realistic industrial examples to evaluate and compare the performance of different methods for components selection. The example profisafe_i6 [MM03] [MM02] [PN02], which was never verified for the language inclusion check before, is verified first by this enhanced compositional verification method.

text: Selection of Components in Compositional Verification of Safety Properties This report presents a two-step components selection method to compose the components for compositional verification. This method employs different methods for the selection of components to be composed during compositional verification. Also, this report presents some automata transformation strategies to improve the efficiency of composing and projection. This enhanced compositional verification method is applied to a set of large and complex realistic industrial examples to evaluate and compare the performance of different methods for components selection. The example profisafe_i6 [MM03] [MM02] [PN02], which was never verified for the language inclusion check before, is verified first by this enhanced compositional verification method.

year: 2009

title: Dismissal protections in a global market: Lessons to be learned from Serco Ltd v Lawson

authors: Mackinnon, Jacquelin

subjects: law

abstract: The rise of labour as a transnational phenomenon is an aspect of globalisation. New Zealand law relating to protection from dismissal without cause (unjustifiable dismissal) is failing employers and employees whose employment agreements have international elements. In New Zealand, protection from dismissal without cause is contained in the Employment Relations Act 2000 (ERA 2000) (NZ). However, the Act is not an ‘overriding statute’. Cases where the facts show the operation of global employment markets are decided according to conflict of laws rules relating to contracts. The operation of these rules can result in employees being inappropriately excluded from New Zealand dismissal protections. The complexity of the rules makes them inappropriate for the resolution of employment relationship problems, to the detriment of both employers and employees.

text: Dismissal protections in a global market: Lessons to be learned from Serco Ltd v Lawson The rise of labour as a transnational phenomenon is an aspect of globalisation. New Zealand law relating to protection from dismissal without cause (unjustifiable dismissal) is failing employers and employees whose employment agreements have international elements. In New Zealand, protection from dismissal without cause is contained in the Employment Relations Act 2000 (ERA 2000) (NZ). However, the Act is not an ‘overriding statute’. Cases where the facts show the operation of global employment markets are decided according to conflict of laws rules relating to contracts. The operation of these rules can result in employees being inappropriately excluded from New Zealand dismissal protections. The complexity of the rules makes them inappropriate for the resolution of employment relationship problems, to the detriment of both employers and employees.

year: 2009

title: Māori and kava: New drug fashion or re-engagement with 'kawa'?

authors: Aporosa, S. 'Apo'

subjects: kava

abstract: The Pacific “cultural keystone species” (Garibaldi & Turner, 2004, pp.1,5) kava is uniquely linked with notions of mana (spiritual power) and used to infuse efficacy into celebrations and life events. The drink, made from this potent icon of identity, brings on feelings of relaxation without marked euphoria, aiding clear-minded talanoa (discussion) to facilitate important and/or contentious dialogue. The sharing and drinking of kava as part of host/guest formalities is used in bringing about mutuality and unity (Aporosa, 2019). It is estimated there are more than 20,000 kava users in Aotearoa/New Zealand on an average Friday or Saturday night, with increasing interest and uptake of this indigenous drink by Māori. Crowley (1994) reports that the Māori word ‘kawa’, literally meaning ‘marae protocol’, has its linguistic foundations in ‘kava’ and the practices associated with this cultural keystone species. This paper explores that linguistic union to ask whether increased kava use by Māori has greater significance than simply a new interaction with a foreign drug substance. Further, due to the use of kava in facilitating talanoa (discussion), the possibility of kava playing a similar role for Māori is considered, one linked to ancestral Pacific connections aimed at assisting kōrero (talanoa), cultural connectedness and practice.

text: Māori and kava: New drug fashion or re-engagement with 'kawa'? The Pacific “cultural keystone species” (Garibaldi & Turner, 2004, pp.1,5) kava is uniquely linked with notions of mana (spiritual power) and used to infuse efficacy into celebrations and life events. The drink, made from this potent icon of identity, brings on feelings of relaxation without marked euphoria, aiding clear-minded talanoa (discussion) to facilitate important and/or contentious dialogue. The sharing and drinking of kava as part of host/guest formalities is used in bringing about mutuality and unity (Aporosa, 2019). It is estimated there are more than 20,000 kava users in Aotearoa/New Zealand on an average Friday or Saturday night, with increasing interest and uptake of this indigenous drink by Māori. Crowley (1994) reports that the Māori word ‘kawa’, literally meaning ‘marae protocol’, has its linguistic foundations in ‘kava’ and the practices associated with this cultural keystone species. This paper explores that linguistic union to ask whether increased kava use by Māori has greater significance than simply a new interaction with a foreign drug substance. Further, due to the use of kava in facilitating talanoa (discussion), the possibility of kava playing a similar role for Māori is considered, one linked to ancestral Pacific connections aimed at assisting kōrero (talanoa), cultural connectedness and practice.

year: 2019