title: An algorithm for compositional nonblocking verification of extended finite-state machines

authors: Mohajerani, Sahar

abstract: This paper describes an approach for compositional nonblocking verification of discrete event systems modelled as extended finite-state machines (EFSM). Previous results about finite-state machines in lock-step synchronisation are generalised and applied to EFSMs communicating via shared variables. This gives rise to an EFSM-based conflict check algorithm that composes EFSMs gradually and partially unfolds variables as needed. At each step, components are simplified using conflict-equivalence preserving abstraction. The algorithm has been implemented in the discrete event systems tool Supremica. The paper presents experimental results for the verification of two scalable manufacturing system models, and shows that the EFSM-based algorithm verifies some large models faster than previously used methods.

text: An algorithm for compositional nonblocking verification of extended finite-state machines This paper describes an approach for compositional nonblocking verification of discrete event systems modelled as extended finite-state machines (EFSM). Previous results about finite-state machines in lock-step synchronisation are generalised and applied to EFSMs communicating via shared variables. This gives rise to an EFSM-based conflict check algorithm that composes EFSMs gradually and partially unfolds variables as needed. At each step, components are simplified using conflict-equivalence preserving abstraction. The algorithm has been implemented in the discrete event systems tool Supremica. The paper presents experimental results for the verification of two scalable manufacturing system models, and shows that the EFSM-based algorithm verifies some large models faster than previously used methods.

year: 2014

title: Makahiki – Nā Maka o Lono utilizing the Papakū Makawalu method to analyze mele and pule of Lono and the Makahiki

authors: Nuuhiwa, Ann Kaleilokelani

subjects: Makahiki

abstract: This paper seeks to affirm Papakū Makawalu as a Hawaiian methodology that can be utilized to understand moʻolelo, mele and pule. Papakū makawalu is a name given to the process of deconstructing, analyzing, and reconstructing Hawaiian genres of discourse for the purpose of separating the embedded layers of metaphor to reveal the many possibilities of interpretation. The topics of choice that will be subjected to the papakū makawalu process are Lono and his role in the Makahiki festivities as recorded in mele and pule.
	This paper specifically examines the processes of time keeping, as Lonoikamakahiki is the akua of establishing the annual calendar by feeding the stars and aligning the calendar with the star constellation Makaliʻi. Lonomakua is the akua of ritual fire and all the geological activities that occur during the Makahiki. Lononuiākea is the akua for the celestial and atmospheric activities that transpire during the Makahiki season. The rituals, mele and pule that have been composed for these environmental expectations are rooted in generational observations to which layers upon layers of metaphor are added to describe Lono and his kino lau akua (manifestations). Papakū makawalu will establish that the environmental indicators that are affiliated with the season of Lono are in fact the kino lau akua of Lono.
	Papakū makawalu allows modern Hawaiians the means to expose the many layers and to understand Lono, which in turn allows the kānaka to better understand the ritual rules of engagement between the kānaka Hawaiʻi and the natural environment.

text: Makahiki – Nā Maka o Lono utilizing the Papakū Makawalu method to analyze mele and pule of Lono and the Makahiki This paper seeks to affirm Papakū Makawalu as a Hawaiian methodology that can be utilized to understand moʻolelo, mele and pule. Papakū makawalu is a name given to the process of deconstructing, analyzing, and reconstructing Hawaiian genres of discourse for the purpose of separating the embedded layers of metaphor to reveal the many possibilities of interpretation. The topics of choice that will be subjected to the papakū makawalu process are Lono and his role in the Makahiki festivities as recorded in mele and pule.
	This paper specifically examines the processes of time keeping, as Lonoikamakahiki is the akua of establishing the annual calendar by feeding the stars and aligning the calendar with the star constellation Makaliʻi. Lonomakua is the akua of ritual fire and all the geological activities that occur during the Makahiki. Lononuiākea is the akua for the celestial and atmospheric activities that transpire during the Makahiki season. The rituals, mele and pule that have been composed for these environmental expectations are rooted in generational observations to which layers upon layers of metaphor are added to describe Lono and his kino lau akua (manifestations). Papakū makawalu will establish that the environmental indicators that are affiliated with the season of Lono are in fact the kino lau akua of Lono.
	Papakū makawalu allows modern Hawaiians the means to expose the many layers and to understand Lono, which in turn allows the kānaka to better understand the ritual rules of engagement between the kānaka Hawaiʻi and the natural environment.

year: 2020

title: Cultural knowledge and identity for wellbeing and success: Trying to make the connections in the north of New Zealand.

authors: Hohepa, Margie Kahukura

subjects: New Zealand

abstract: This paper argues that secure cultural identity is essential to wellbeing and cultural identity is important to Māori youth participation and success. The roles of community and schools in developing secure cultural identity are increasingly complex, as both become increasingly more culturally and ethnically diverse in many parts of the world.
The paper discusses findings from student survey data from a 2 year project ‘Te Wehi Nui a Mamao: Maximising the potential of tribal marae and regional language among youth', which began in July 2008, supported by funding from New Zealand's Foundation of Research, Science and Technology. This project aims to strengthen the relevance of tribal marae and regional Maori language among Maori youth, which are identified as important to Māori cultural identity.
Inter-generational transfer of tribal marae knowledge and language is becoming more compromised. Many cultural values are defined on marae. Tribal leaders have long been concerned about disconnections between Māori youth and tribal marae, poor knowledge of regional dialect and the potential negative consequences for full participation in society. .It appears that Māori youth are disconnected from regional language dialects and marae knowledge now more than ever. Reconnecting Māori youth with these two sources of tribal identity is the key to the purpose of this project.

text: Cultural knowledge and identity for wellbeing and success: Trying to make the connections in the north of New Zealand. This paper argues that secure cultural identity is essential to wellbeing and cultural identity is important to Māori youth participation and success. The roles of community and schools in developing secure cultural identity are increasingly complex, as both become increasingly more culturally and ethnically diverse in many parts of the world.
The paper discusses findings from student survey data from a 2 year project ‘Te Wehi Nui a Mamao: Maximising the potential of tribal marae and regional language among youth', which began in July 2008, supported by funding from New Zealand's Foundation of Research, Science and Technology. This project aims to strengthen the relevance of tribal marae and regional Maori language among Maori youth, which are identified as important to Māori cultural identity.
Inter-generational transfer of tribal marae knowledge and language is becoming more compromised. Many cultural values are defined on marae. Tribal leaders have long been concerned about disconnections between Māori youth and tribal marae, poor knowledge of regional dialect and the potential negative consequences for full participation in society. .It appears that Māori youth are disconnected from regional language dialects and marae knowledge now more than ever. Reconnecting Māori youth with these two sources of tribal identity is the key to the purpose of this project.

year: 2010