title: Seven abstraction rules preserving generalised nonblocking

authors: Malik, Robi

subjects: computer science

abstract: This working paper proposes a compositional approach to verify the generalised nonblocking property of discrete-event systems. Generalised nonblocking is introduced in [15] 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: Seven abstraction rules preserving generalised nonblocking This working paper proposes a compositional approach to verify the generalised nonblocking property of discrete-event systems. Generalised nonblocking is introduced in [15] 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-09-01

title: Researching in cross cultural contexts: a socially just process.

authors: McNae, Rachel Elizabeth

subjects: cross cultural research

abstract: In this paper, we explore culture and its relationship to cross cultural research. The context for this research is Vanuatu, a small South Pacific Island nation. The action research process used was a collaboration between two New Zealand academics, two Ni Vanuatu women researchers and 13 participants over a two year period. The focus of the action research was the design and delivery of a culturally appropriate educational leadership development programme for women. The collaborative research process raised a number of ethical and methodological considerations, for example, the importance of mutually respectful relationships, working in partnership, collaboration, capacity building, transparent communication and consideration of the local context. Using stories from the Vanuatu context, we illustrate how we navigated culture to be able to research in socially just ways. Being involved in socially just, cross cultural research calls for a thoughtful, well-designed and culturally informed approach throughout all stages of the research process, from initial planning through to follow up and capacity building and finally, the sharing of research findings.

text: Researching in cross cultural contexts: a socially just process. In this paper, we explore culture and its relationship to cross cultural research. The context for this research is Vanuatu, a small South Pacific Island nation. The action research process used was a collaboration between two New Zealand academics, two Ni Vanuatu women researchers and 13 participants over a two year period. The focus of the action research was the design and delivery of a culturally appropriate educational leadership development programme for women. The collaborative research process raised a number of ethical and methodological considerations, for example, the importance of mutually respectful relationships, working in partnership, collaboration, capacity building, transparent communication and consideration of the local context. Using stories from the Vanuatu context, we illustrate how we navigated culture to be able to research in socially just ways. Being involved in socially just, cross cultural research calls for a thoughtful, well-designed and culturally informed approach throughout all stages of the research process, from initial planning through to follow up and capacity building and finally, the sharing of research findings.

year: 2010

title: The teaching, learning and testing of te reo Māori in tertiary institutions in Aotearoa/New Zealand

authors: Tihema, Ngaire L. A.

subjects: tertiary educational institutions

abstract: Additional language teaching and learning is fraught with problems the world over and Aotearoa/New Zealand is not immune to these issues.  This doctoral research investigates current practices of teaching and learning te reo Māori (the Māori language) as an additional language in tertiary educational institutions and explores the appropriacy of measuring the language proficiency of speakers and learners of te reo Māori by using a variation of the C-test principle.  The first chapter (Chapter One) sets the context by providing an overview of post-colonial historical events in Aotearoa/New Zealand that led to a language shift which would result in many Māori learning te reo Māori as a second language.  The literature review (Chapter Two) provides an historical overview of additional language teaching methods and approaches since the 18th century and critiques some language teaching methods/approaches – found to be outdated, teacher-centred and/or too limited in scope – that are currently used to teach the Māori language in tertiary institutions.  The next two chapters report on responses from a questionnaire-based survey (Chapter Three) and semi-structured interviews (Chapter Four) with tertiary teachers of te reo Māori, which found that most teachers are largely untrained and unqualified in the area of additional language teaching and learning.  The chapter that follows (Chapter Five) provides an analysis of a textbook series – reported to be the most widely used Māori language resources in tertiary institutions – which was found to be largely influenced by an eclectic approach to textbook design that includes grammar translation and audiolingual methods.  For the next chapter (Chapter Six), the development of a particular type of Māori language proficiency test (variant C-test) is discussed, along with the findings and results of its trial, which was done, firstly, with a sample of highly proficient speakers of te reo and, secondly, with a small sample of second language learners of te reo, prior to a pilot of the test which was conducted with a second sample of tertiary learners of te reo Māori.  While analyses of test scores reveal that satisfactory reliability coefficients were obtained, more research is required, not only to investigate the validity of this particular C-test variant, but also to further explore the appropriacy of applying the (variant) C-test principle to measuring general Māori language proficiency.  This chapter (Chapter Six) concludes with a discussion of the questionnaire responses about the educational backgrounds, language backgrounds, motivations and attitudes of the samples of learners, approximately half of whom are additional language learners and the other half of whom have been raised with te reo Māori as (one of) their main language.  An overview of the research findings and its limitations is provided in the final chapter (Chapter Seven), along with potential contributions of the research and further recommendations for future research.  The challenge that each issue raised in this thesis places on teachers, students and the revitalisation movement of te reo Māori in tertiary institutions, is one which needs to be further explored and addressed.

text: The teaching, learning and testing of te reo Māori in tertiary institutions in Aotearoa/New Zealand Additional language teaching and learning is fraught with problems the world over and Aotearoa/New Zealand is not immune to these issues.  This doctoral research investigates current practices of teaching and learning te reo Māori (the Māori language) as an additional language in tertiary educational institutions and explores the appropriacy of measuring the language proficiency of speakers and learners of te reo Māori by using a variation of the C-test principle.  The first chapter (Chapter One) sets the context by providing an overview of post-colonial historical events in Aotearoa/New Zealand that led to a language shift which would result in many Māori learning te reo Māori as a second language.  The literature review (Chapter Two) provides an historical overview of additional language teaching methods and approaches since the 18th century and critiques some language teaching methods/approaches – found to be outdated, teacher-centred and/or too limited in scope – that are currently used to teach the Māori language in tertiary institutions.  The next two chapters report on responses from a questionnaire-based survey (Chapter Three) and semi-structured interviews (Chapter Four) with tertiary teachers of te reo Māori, which found that most teachers are largely untrained and unqualified in the area of additional language teaching and learning.  The chapter that follows (Chapter Five) provides an analysis of a textbook series – reported to be the most widely used Māori language resources in tertiary institutions – which was found to be largely influenced by an eclectic approach to textbook design that includes grammar translation and audiolingual methods.  For the next chapter (Chapter Six), the development of a particular type of Māori language proficiency test (variant C-test) is discussed, along with the findings and results of its trial, which was done, firstly, with a sample of highly proficient speakers of te reo and, secondly, with a small sample of second language learners of te reo, prior to a pilot of the test which was conducted with a second sample of tertiary learners of te reo Māori.  While analyses of test scores reveal that satisfactory reliability coefficients were obtained, more research is required, not only to investigate the validity of this particular C-test variant, but also to further explore the appropriacy of applying the (variant) C-test principle to measuring general Māori language proficiency.  This chapter (Chapter Six) concludes with a discussion of the questionnaire responses about the educational backgrounds, language backgrounds, motivations and attitudes of the samples of learners, approximately half of whom are additional language learners and the other half of whom have been raised with te reo Māori as (one of) their main language.  An overview of the research findings and its limitations is provided in the final chapter (Chapter Seven), along with potential contributions of the research and further recommendations for future research.  The challenge that each issue raised in this thesis places on teachers, students and the revitalisation movement of te reo Māori in tertiary institutions, is one which needs to be further explored and addressed.

year: 2018