Specifying and analysing networks of processes in CSPt (or in search of associativity)

In proposing theories of how we should design and specify networks of processes it is necessary to show that the semantics of any language we use to write down the intended behaviours of a system has several qualities. First in that the meaning of what is written on the page reflects the intention of the designer; second that there are no unexpected behaviours that might arise in a specified system that are hidden from the unsuspecting specifier; and third that the intention for the design of the behaviour of a network of processes can be communicated clearly and intuitively to others. In order to achieve this we have developed a variant of CSP, called CSPt, designed to solve the problems of termination of parallel processes present in the original formulation of CSP. In CSPt we introduced three parallel operators, each with a different kind of termination semantics, which we call synchronous, asynchronous and race. These operators provide specifiers with an expressive and flexible tool kit to define the intended behaviour of a system in such a way that unexpected or unwanted behaviours are guaranteed not to take place. In this paper we extend out analysis of CSPt and introduce the notion of an alphabet diagram that illustrates the different categories of events that can arise in the parallel composition of processes. These alphabet diagrams are then used to analyse networks of three processes in parallel with the aim of identifying sufficient constraints to ensure associativity of their parallel composition. Having achieved this we then proceed to prove associativity laws for the three parallel operators of CSPt. Next, we illustrate how to design and construct a network of three processes that satisfy the associativity law, using the associativity theorem and alphabet diagrams. Finally, we outline how this could be achieved for more general networks of processes.

Design as Symbolic Violence. Design for Social Justice.

Design embeds ideas in communication and artefacts in subtle and psychologically powerful ways. Sociologist Pierre Bourdieu coined the term ‘symbolic violence’ to describe how powerful ideologies, priorities, values and even sensibilities are constructed and reproduced through cultural institutions, processes and practices. Through symbolic violence, individuals learn to consider unjust conditions as natural and even come to value customs and ideas that are oppressive. Symbolic violence normalises structural violence and enables real violence to take place, often preceding it and later justifying it. Feminist, class, race and indigenous scholars and activists describe how oppressions (how patriarchy, racism, colonialism, etc.) exist within institutions and structures, and also within cultural practices that embed ideologies into everyday life. The theory of symbolic violence sheds light on how design can function to naturalise oppressions and then obfuscate power relations around this process. Through symbolic violence, design can function as an enabler for the exploitation of certain groups of people and the environment they (and ultimately ‘we’) depend on to live. Design functions as symbolic violence when it is involved with the creation and reproduction of ideas, practices, tools and processes that result in structural and other types of violence (including ecocide). Breaking symbolic violence involves discovering how it works and building capacities to challenge and transform dysfunctional ideologies, structures and institutions. This conversation will give participants an opportunity to discuss, critique and/or develop the theory of design as symbolic violence as a basis for the development of design strategies for social justice.

The institutional design of intra-party democracy through legal instruments: Turkish case

The importance of political parties for contemporary representative democracies is beyond dispute. Despite their significance for state-level democracy, political parties continue to be regarded as oligarchical and to be criticised because of their internal practices. For this reason, intra-party democracy (IPD) warrants in-depth analysis. This thesis investigates IPD in Turkey, primarily from the perspective of participatory democracy, with the purpose of suggesting reforms to the Turkish Political Parties Law (TPPL). Turkish political parties and Turkish party regulation provide an interesting case because there is a significant difference between mature democracies and Turkey regarding IPD regulation. IPD in established democracies has always been regarded as a private concern of parties and has been left unregulated. IPD in Turkey, by contrast, is provided for both by the constitution and the TPPL. Although IPD is a constitutional and legal requirement in Turkey, however, political parties in fact display a high level of non-democratic administration. The main reason is that the TPPL only pays lip service to the idea of IPD and requires no specific measures apart from establishing a party congress with a representative form of democracy. By establishing and holding party congresses, political parties are perceived as conforming to the requirements of IPD under the law. In addition, the contested nature of democracy as a concept has impeded the creation of efficacious legal principles. Thus, the existing party law fails to tackle the lack of IPD within political parties and, for this reason, is in need of reform. Furthermore, almost every Turkish party’s own constitution highlights the importance of IPD and promises IPD. However, these declared commitments to IPD in their constitutions alone, especially in countries where the democratic culture is weak, are unlikely to make much difference in practice. Accordingly, external regulation is necessary to ensure the protection of the rights and interests of the party members with regards to their participation in intra-party decision-making processes. Nevertheless, in spite of a general consensus in favour of reforming the TPPL, a lack of consensus exists as to what kind of reforms should be adopted. This thesis proposes that reforming the TPPL in line with an approach based on participatory democracy could provide better IPD within Turkish political parties, citing as evidence comparative case studies of the participatory practices for policy-making, leadership selection and candidate selection in mature democracies. This thesis also analyses membership registration and the effect of state funding on IPD, which are highly problematic in Turkey and represent impediments to the flourishing of IPD.

Development of a knowledge sharing framework for improving the testing processes in global product development

As identified by Griffin (1997) and Kahn (2012), manufacturing organisations typically improve their market position by accelerating their product development (PD) cycles. One method for achieving this is to reduce the time taken to design, test and validate new products, so that they can reach the end customer before competition. This paper adds to existing research on PD testing procedures by reporting on an exploratory investigation carried out in a UK-based manufacturing plant. We explore the organisational and managerial factors that contribute to the time spent on testing of new products during development. The investigation consisted of three sections, viz. observations and process modelling, utilisation metrics and a questionnaire-based investigation, from which a proposed framework to improve and reduce the PD time cycle is presented. This research focuses specifically on the improvement of the utilisation of product testing facilities and the links to its main internal stakeholders - PD engineers.