The biconnected verification of workflow nets

Formal representations of business processes are used for analysis of the process behavior. Workflow nets are a widely used formalism for describing the behavior of business processes. Structure theory of processes investigates the relation between the structure of a model and its behavior. In this paper, we propose to employ the connectivity property of workflow nets as an angle to their structural analysis. In particular, we show how soundness verification can be organized using biconnected components of a workflow net. This allows for efficient identification and localization of flaws in the behavior of workflow nets and for supporting process analysts with diagnostic information

In the shadow of the welfare state : the role of payday lending in poverty survival in Australia

A defining characteristic of contemporary welfare governance in many western countries has been a reduced role for governments in direct provision of welfare, including housing, education, health and income support. One of the unintended consequences of devolutionary trends in social welfare is the development of a ‘shadow welfare state’ (Fairbanks, 2009; Gottschalk, 2000), which is a term used to describe the complex partnerships between statebased social protection, voluntarism and marketised forms of welfare. Coupled with this development, conditional workfare schemes in countries such as the United States, Canada, the UK and Australia are pushing more people into informal and semi-formal means of poverty survival (Karger, 2005). These transformations are actively reshaping welfare subjectivities and the role of the state in urban governance. Like other countries such as the US, Canada and the UK, the fringe lending sector in Australia has experienced considerable growth over the last decade. Large numbers of people on low incomes in Australia are turning to non-mainstream financial services, such as payday lenders, for the provision of credit to make ends meet. In this paper, we argue that the use of fringe lenders by people on low incomes reveals important theoretical and practical insights into the relationship between the mixed economy of welfare and the mixed economy of credit in poverty survival.

Narratives of possession : reading for saga authorship

The aim of this thesis is to show how character analysis can be used to approach conceptions of saga authorship in medieval Iceland. The idea of possession is a metaphor that is adopted early in the thesis, and is used to describe Icelandic sagas as works in which traditional material is subtly interpreted by medieval authors. For example, we can say that if authors claim greater possession of the sagas, they interpret, and not merely record, the sagas' historical information. On the other hand, tradition holds onto its possession of the narrative whenever it is not possible for an author to develop his own creative and historical interests. The metaphor of possession also underpins the character analysis in the thesis, which is based on the idea that saga authors used characters as a vehicle by which to possess saga narratives and so develop their own historical interests. The idea of possession signals the kinds of problems of authorship study which are addressed here, in particular, the question of the authors' sense of saga writing as an act either of preservation or of creation. While, in that sense, the thesis represents an additional voice in a long-standing debate about the saga writers' relation to their source materials, I argue against a clear-cut distinction between creative and non-creative authors, and focus instead on the wide variation in authorial control over saga materials. This variation suggests that saga authorship is a multi-functional activity, or one which co-exists with tradition. Further, by emphasising characterisation as a method, I am adding to the weight of scholarship that seeks to understand the sagas in terms of their literary effects. The Introduction and chapter one lay out the theoretical scope of this thesis. My aim in these first two sections is to inform the reader of the type of critical questions that arise when authorship is approached in relation to characterisation, and to suggest an interpretive framework with which to approach these questions. In the Introduction this aim manifests as a brief discussion of the application of the term "authorship" to the medieval Icelandic corpus, a definition of the scope of this study, and an introduction to the connections, made throughout this thesis, between saga authors, the sagas' narrative style, and the style of characterisation in the sagas. Chapter one is a far more detailed discussion of our ability to make these connections. In particular, the chapter develops the definition of the analytical term "secondary authorship" that I introduce in order to delineate the type of characterisation that is of most interest in this thesis. "Secondary authorship" is a literary term that aims to sharpen our approach to saga authors' relationship to their characters by focusing on characters who make representations about the events of the saga. The term refers to any instance in which characters behave in a manner that resembles the creativity, interpretation, and understanding associated with authorship more generally. Character analysis cannot, however, be divorced from socio-historical approaches to the saga corpus. Most importantly, the sagas themselves are socio-historical representations that claim some degree of truth value. This claim that the sagas make by implication about their historicity is the starting point of a discussion of authorship in medieval Iceland. Therefore, at the beginning of chapter one I discuss some of the approaches to the social context of saga writing. This discussion serves as an introduction to both the culture of saga writing in medieval Iceland and to the nature of the sagas' historical perspective, and reflects my sense that literary interpretations of the sagas cannot be isolated from the historical discourses that frame them. The chapter also discusses possession, which, as I note above, is used alongside the concept of secondary authorship to describe the saga authors' relationship with the stories and characters of the past. At the close of chapter one, I offer a preliminary list the various functions of saga authorship, and give some examples of secondary authorship. From this point I am able to tie my argument about secondary authorship to specific examples from the sagas. Chapter two examines the effect of family obligations and domestic points of view in the depiction of characters' choices and conception of themselves. The examples that are given in that chapter - from Gisla saga Súrssonar and Íslendinga saga - are the first of a number of textual analyses that demonstrate the application of the concepts of secondary authorship and possession of saga narratives. The relationship between narratives about national and domestic matters shows how authorial creativity in the area of kinship obligation provides the basis for the saga's development of historical themes. Thus, the two major case studies given in chapter two tie authorial engagement with characters to the most influential social institution in early and medieval Iceland, the family. The remaining chapters represent similar attempts to relate authorial possession of saga characters to central socio-historical themes in the sagas, such as the settlement process in early Iceland and its influence on the development of regional political life (chapter three). Likewise, the strong authorial interest in an Icelander's journey to Norway in Heimskringla is presented as evidence of the author's use of a saga character to express an Icelandic interpretation of Norwegian history and to promote a sense that Iceland shared the ownership of regal history with Norway (chapter four). In that authorial engagement with the Icelander abroad, we witness saga characterisation being used as a basis for historical interpretation and the means by which foreign traditions and influence, not least the narratives of royal lives and of the Christianisation, are claimed as part of medieval Icelanders' self-conception. While saga authors observe the conventions of saga narration, characters are often subtly positioned as the authors' interpretive mirrors, especially clear than when they act as secondary authors. Nowhere is this more apparent than in Brennu- Njáls saga, which contains many characters who voice the author's claim to interpret the past. Even Hrútr Herjólfsson, through his remarkable perception of events and his conspicuous comments about them, acts as a secondary author by enabling the author to emphasise the importance of the disposition of characters. In Laxdœla saga and Þorgils saga ok Hafliða, authorial interest in characters' perception is matched by the thematising of learning, from the inception of knowledge as prophecy or advice to complete understanding by saga characters (chapter six). In Þorgils saga skarða, a character's inner development from an excessively ambitious and politically ruthless youth to a Christian leader killed by his kinsman allows the author to shape a political life into a lesson about leadership and the community's ability to moderate and contain the behaviour of extraordinary individuals. The portrayal draws on methods of characterisation that we can identify in Grettis saga Ásmundarson, Fóstbrœðra saga, and Orkneyinga saga. A comparison of the characterisation of figures with intense political or military ambitions suggests that saga authors were interested in the community's ability to balance their strength and ability with a degree of social moderation. The discussion of these sagas shows that character study can be used to analyse how the saga authors added their own voice to the voices passed down to medieval Icelanders in traditional narratives. Authorial engagement with characters allowed inherited traditions about early Norway and Iceland and records of thirteenth century events to be transformed into sophisticated historical works with highly creative elements. Through secondary authorship, saga authors took joint-possession of narratives and contested the power of tradition in setting the interpretive framework of a saga.

Exploring subscription renewal intention of operational cloud enterprise systems-a socio-technical approach

Despite the fact that customer retention is crucial for providers of cloud enterprise systems, only little attention has been directed towards investigating the antecedents of subscription renewal in an organizational context. This is even more surprising, as cloud services are usually offered as subscription-based pricing models with the (theoretical) possibility of immediate service cancellation, strongly opposing classical long-term IT-Outsourcing contracts or license-based payment plans of on premise enterprise systems. To close this research gap an empirical study was undertaken. Firstly, a conceptual model was drawn from theories of social psychology, organizational system continuance and IS success. The model was subsequently tested using survey responses of senior management within companies which adopted cloud enterprise systems. Gathered data was then analysed using PLS. The results indicate that subscription renewal intention is influenced by both – social-related and technology-specific factors – which are able to explain 50.4% of the variance in the dependent variable. Beneath the cloud enterprise systems specific contributions, the work advances knowledge in the area of organizational system continuance, as well as IS success.

Augmenting and assisting model elicitation tasks with 3D virtual world context metadata

Accurate process model elicitation continues to be a time consuming task, requiring skill on the part of the interviewer to extract explicit and tacit process information from the interviewee. Many errors occur in this elicitation stage that would be avoided by better activity recall, more consistent specification methods and greater engagement in the elicitation process by interviewees. Theories of situated cognition indicate that interactive 3D representations of real work environments engage and prime the cognitive state of the viewer. In this paper, our major contribution is to augment a previous process elicitation methodology with virtual world context metadata, drawn from a 3D simulation of the workplace. We present a conceptual and formal approach for representing this contextual metadata, integrated into a process similarity measure that provides hints for the business analyst to use in later modelling steps. Finally, we conclude with examples from two use cases to illustrate the potential abilities of this approach.

Student interactivity and teacher participation: An application of legitimate peripheral participation in higher education online learning environments

Lave and Wenger’s legitimate peripheral participation is an important aspect of online learning environments. It is common for teachers to scaffold varying levels of online participation in Web 2.0 contexts, such as online discussion forums and blogs. This study argues that legitimate peripheral participation needs to be redefined in response to students’ decentralised multiple interactions and non-linear engagement in hyperlinked learning environments. The study examines students’ levels of participation in online learning through theories of interactivity, distinguishing between five levels of student participation in the context of a first-year university course delivered via a learning management system. The data collection was implemented through two instruments: i) a questionnaire about students’ interactivity perception in the online reflective learning (n = 238) and then ii) an open discussion on the reason for the diverse perceptions of interactivity (n = 34). The study findings indicate that student participants, other than those who were active, need high levels of teacher or moderator intervention, which better enables legitimate peripheral participation to occur in online learning contexts.

Exploring the usefulness of structural–functional approaches to analyse governance of planning systems

Existing planning theories tend to be limited in their analytical scope and often fail to account for the impact of many interactions between the multitudes of stakeholders involved in strategic planning processes. Although many theorists rejected structural–functional approaches from the 1970s, this article argues that many of structural–functional concepts remain relevant and useful to planning practitioners. In fact, structural–functional approaches are highly useful and practical when used as a foundation for systemic analysis of real-world, multi-layered, complex planning systems to support evidence-based governance reform. Such approaches provide a logical and systematic approach to the analysis of the wider governance of strategic planning systems that is grounded in systems theory and complementary to existing theories of complexity and planning. While we do not propose its use as a grand theory of planning, this article discusses how structural–functional concepts and approaches might be applied to underpin a practical analysis of the complex decision-making arrangements that drive planning practice, and to provide the evidence needed to target reform of poorly performing arrangements.

Evaluation of the Australian Performing Arts Market 2014-2018 - Year One Report

The Australia Council awarded the tender of APAMs 2014, 2016 and 2018 to the Brisbane Powerhouse. The Australia Council, in awarding the contract for the presentation of APAM by Brisbane Powerhouse, stipulated that a formal evaluation of the three iterations of APAM and activity in the intervening years be undertaken. Queensland University of Technology, Creative Industries Faculty, under the leadership of Associate Professor Sandra Gattenhof, were contracted to undertake the formal evaluation. This is the first year report on the Brisbane iteration of the Market. This report has drawn from data collected across a range of sources, drawing on the scoping study undertaken by Justin Macdonnell addressing the Market from 1994–2010; the tender document submitted by the Brisbane Powerhouse; in-person interviews with APAM staff, APAM Stakeholders, Vox Pops from delegates in response to individual sessions, producer company/artist case studies and, most significantly, responses from a detailed online survey sent to all delegates. The main body of the report is organised around three key research aims, as outlined in the Brisbane Powerhouse Tender document (2011). These have been articulated as: Evaluation of international market development outcomes through showcasing work to targeted international presenters and agents Evaluation of national market development outcomes through showcasing work to national presenters and producers Evaluation of the exchange ideas, dialogue, skill 
development, partnerships, collaborations and co- productions and networks with local and international peers. The culmination of the data analysis has been articulated through five key recommendations, which may assist the APAM delivery team for the next version, in 2016. In summary, the recommendations are described as: 1. Indigenous focus to remain central to the conception and delivery of APAM 2. Re-framing APAM’s function and its delivery 3. Logistics and communications in a multi-venue approach, including communications and housekeeping, volunteers, catering, re-calibrating the employment of Brisbane Powerhouse protocols and processes for APAM 4. Presentation and promotion for presenters 5. Strategic targeting of Asian producers.

Writing embodied practice from the inside : outside the exegesis

The textual turn is a good friend of expert spectating, where it assumes the role of writing-productive apparatus, but no friend at all of expert practices or practitioners (Melrose, 2003). Introduction The challenge of time-based embodied performance when the artefact is unstable As a former full-time professional practitioner with an embodied dance practice as performer, choreographer and artistic director for three decades, I somewhat unexpectedly entered the world of academia in 2000 after completing a practice-based PhD, which was described by its examiners as ‘pioneering’. Like many artists my intention was to deepen and extend my practice through formal research into my work and its context (which was intercultural) and to privilege the artist’s voice in a research world where it was too often silent. Practice as research, practice-based research, and practice-led research were not yet fully named. It was in its infancy and my biggest challenge was to find a serviceable methodology which did not betray my intentions to keep practice at the centre of the research. Over the last 15 years, practice led doctoral research, where examinable creative work is placed alongside an accompanying (exegetical) written component, has come a long way. It has been extensively debated with a range of theories and models proposed (Barrett & Bolt, 2007, Pakes, 2003 & 2004, Piccini, 2005, Philips, Stock & Vincs 2009, Stock, 2009 & 2010, Riley & Hunter 2009, Haseman, 2006, Hecq, 2012). Much of this writing is based around epistemological concerns where the research methodologies proposed normally incorporate a contextualisation of the creative work in its field of practice, and more importantly validation and interrogation of the processes of the practice as the central ‘data gathering’ method. It is now widely accepted, at least in the Australian creative arts context, that knowledge claims in creative practice research arise from the material activities of the practice itself (Carter, 2004). The creative work explicated as the tangible outcome of that practice is sometimes referred to as the ‘artefact’. Although the making of the artefact, according to Colbert (2009, p. 7) is influenced by “personal, experiential and iterative processes”, mapping them through a research pathway is “difficult to predict [for] “the adjustments made to the artefact in the light of emerging knowledge and insights cannot be foreshadowed”. Linking the process and the practice outcome most often occurs through the textual intervention of an exegesis which builds, and/or builds on, theoretical concerns arising in and from the work. This linking produces what Barrett (2007) refers to as “situated knowledge… that operates in relation to established knowledge” (p. 145). But what if those material forms or ‘artefacts’ are not objects or code or digitised forms, but live within the bodies of artist/researchers where the nature of the practice itself is live, ephemeral and constantly transforming, as in dance and physical performance? Even more unsettling is when the ‘artefact’ is literally embedded and embodied in the work and in the maker/researcher; when subject and object are merged. To complicate matters, the performing arts are necessarily collaborative, relying not only on technical mastery and creative/interpretive processes, but on social and artistic relationships which collectively make up the ‘artefact’. This chapter explores issues surrounding live dance and physical performance when placed in a research setting, specifically the complexities of being required to translate embodied dance findings into textual form. Exploring how embodied knowledge can be shared in a research context for those with no experiential knowledge of communicating through and in dance, I draw on theories of “dance enaction” (Warburton, 2011) together with notions of “affective intensities” and “performance mastery” (Melrose, 2003), “intentional activity” (Pakes, 2004) and the place of memory. In seeking ways to capture in another form the knowledge residing in live dance practice, thus making implicit knowledge explicit, I further propose there is a process of triple translation as the performance (the living ‘artefact’) is documented in multi-facetted ways to produce something durable which can be re-visited. This translation becomes more complex if the embodied knowledge resides in culturally specific practices, formed by world views and processes quite different from accepted norms and conventions (even radical ones) of international doctoral research inquiry. But whatever the combination of cultural, virtual and genre-related dance practices being researched, embodiment is central to the process, outcome and findings, and the question remains of how we will use text and what forms that text might take.

“I’m Happy with Who I Am” : A Discursive Analysis of the Self-characterisation Practices of Boys in “Behaviour” Schools

In this chapter, I draw on poststructural theories of language to examine the self-characterisation practices of 33 boys attending special schools for students with disruptive behaviour. During a semi-structured interview, each boy was asked to describe his personality and then to choose from a selection of positive/negative word pairs. The objective was to determine whether these young people would characterise themselves in positive or negative ways. Participants were then asked if there was anything they would change about themselves if they could. Responses were analysed and compared against a discourse model developed from media reports and interviews with their principals. Findings suggest that while discourse may well ‘form the objects of which it speaks’ (Foucault, 1972, p. 49) in the eyes of teachers, principals, psychiatrists and paediatricians, it also offers a means through which the constituted subject can re-author itself in a more positive frame.

Modes of criminal justice, indigenous youth and social democracy

The political question of how the will of a community is to be democratically formed and adhered to, the question of social democracy, is normatively tied to the mode of criminal justice employed within that democratic public sphere. Liberal, republican, procedural and communitarian forms of democratic will-formation respectively reflect retributive,restorative, procedural and co-operative modes of criminal justice. After first elaborating these links through the critical response of republican and procedural theories of democracy to the liberal practice of democratic will-formation and its retributive mode of justice, our discussion considers the recent practice of restorative and procedural justice with respect to Indigenous youth; and this in the context of a severely diminished role for Indigenous justice agencies in the public sphere. In light of certain shortcomings in both the restorative and procedural modes of justice, and so too with republican and procedural understandings of the democratic public sphere, we turn to a discussion of procedural communitarianism, anchored as it is in Dewey’s notion of social co-operation. From here we attempt a brief formulation of what a socially co-operative mode of justice might consist of; a mode of justice where historically racial and economically coercive injustices are sufficiently recognised.

Assembly and disassembly of temporary public spaces : establishing the theoretical needs

Contemporary cities no longer offer the same types of permanent environments that we planned for in the latter part of the twentieth century. Our public spaces are increasingly temporary, transient, and ephemeral. The theories, principles and tactics with which we designed these spaces in the past are no longer appropriate. We need a new theory for understanding the creation, use, and reuse of temporary public space. Moe than a theory, we need new architectural tactics or strategies that can be reliably employed to create successful temporary public spaces. This paper will present ongoing research that starts that process through critical review and technical analysis of existing and historic temporary public spaces. Through the analysis of a number of public spaces, that were either designed for temporary use or became temporary through changing social conditions, this research identifies the tactics and heuristics used in such projects. These tactics and heuristics are then analysed to extract some broader principles for the design of temporary public space. The theories of time related building layers, a model of environmental sustainability, and the recycling of social meaning, are all explored. The paper will go on to identify a number of key questions that need to be explored and addressed by a theory for such developments: How can we retain social meaning in the fabric of the city and its public spaces while we disassemble it and recycle it into new purposes? What role will preservation have in the rapidly changing future; will exemplary temporary spaces be preserved and thereby become no longer temporary? Does the environmental advantage of recycling materials, components and spaces outweigh the removal or social loss of temporary public space? This research starts to identify the knowledge gaps and proposes a number of strategies for making public space in the age of temporary, recyclable, and repurposing of our urban infrastructure; a way of creating lighter, cheaper, quicker, and temporary interventions.

Aesthetics of urban media façades

This paper sets out to develop and extend current literature on design practices for ambient media façades. It does this by bringing together theories of ambient media, computational aesthetics, and urban aesthetics. This unique theoretical combination has informed the design of several exemplars produced by the author, which are discussed as case studies.

Setting limits to laughter : university teaching and the boundaries of humour

This paper forms one part of a broadly-based study into the use of humour within tertiary teaching. One theme to emerge from semi-structured, in-depth interviews with university academics concerns the setting of boundaries to the appropriate use of humour within lectures and tutorials. Following the ‘benign violations’ theory of humour—wherein, to be funny, a situation/statement must be some kind of a social violation, that violation must be regarded as relatively benign, and the two ideas must be held simultaneously—this paper suggests that the willingness of academics to use particular types of humour in their teaching revolves around the complexities of determining the margins of the benign. These margins are shaped in part by pedagogic limitations, but also by professional delimitations. In terms of limitations, the boundaries of humour are set by the academic environment of the university, by the characteristics of different cohorts of students, and by what those students are prepare to laugh at. In terms of delimitations—where humour choice is moderated, not by the possibility of immediate laughter, but rather by the consequences of that choice—academic seniority and security play a large role in determining what kinds of humour will be used, and where boundaries are to be set. The central conclusion here is that formal maxims of humour use—‘Never tease students’, ‘Don’t joke about potentially sensitive issues’—fail to account for the complexity of teaching relationships, for the differences between student cohorts, and for the talents and standing of particular teachers.

Do e-learning applications click with students globally? A study of the development and adoption of WriteCite.com

This paper traces the process of invention of adoption of WriteCite.com which is an internet based learning tool used by students to format citation lists. A number of theoretical issues relating to development and deployment of online learning tools are addressed in this paper. A significant finding in this paper is that adoption rate of new technologies amongst students, in this case for WriteCite.com, is not immediately global in nature despite the internet's ubiquity and the existence of internationally accepted bibliographic styles. Rather, and in contrast to neo theories of technology internationalisation, early-stage adoption tends to be geo-centric and concentrated in the US. In the case of WriteCite.com, which has not been sponsored by an academic institution, the findings reflect voluntary rates of globa adoption. From an applied perspective, the process of identifying globally contestable markets is relevant to developers of online learning tools.