abstract: Driven by concern over environmental, economic and social problems, small, place based communities are engaging in processes of transition to become more sustainable. These communities may be viewed as innovative front runners of a transition to a more sustainable society in general, each one, an experiment in social transformation. These experiments present learning opportunities to build robust theories of community transition and to create specific, actionable knowledge to improve, replicate, and accelerate transitions in real communities. Yet to date, there is very little empirical research into the community transition phenomenon. This thesis empirically develops an analytical framework and method for the purpose of researching community transition processes, the ultimate goal of which is to arrive at a practice of evidence based transitions. A multiple case study approach was used to investigate three community transitions while simultaneously developing the framework and method in an iterative fashion. The case studies selected were Ashton Hayes, a small English village, BedZED, an urban housing complex in London, and Forres, a small Scottish town. Each community was visited and data collected by interview and document analysis. The research design brings together elements of process tracing, transformative planning and governance, sustainability assessment, transition path analysis and transition management within a multiple case study envelope. While some preliminary insights are gained into community transitions based on the three cases the main contribution of this thesis is in the creation of the research framework and method. The general framework and method developed has potential for standardizing and synthesizing research of community transition processes leading to both theoretical and practical knowledge that allows sustainability transition to be approached with confidence and not just hope. / Dissertation/Thesis / M.S. Sustainability 2011

The extended finite state machine (EFSM) is a powerful modelling approach that has been applied to represent a wide range of systems. Despite its popularity, testing from an EFSM is a substantial problem for two main reasons: path feasibility and path test case generation. The path feasibility problem concerns generating transition paths through an EFSM that are feasible and satisfy a given test criterion. In an EFSM, guards and assignments in a path‟s transitions may cause some selected paths to be infeasible. The problem of path test case generation is to find a sequence of inputs that can exercise the transitions in a given feasible path. However, the transitions‟ guards and assignments in a given path can impose difficulties when producing such data making the range of acceptable inputs narrowed down to a possibly tiny range. While search-based approaches have proven efficient in automating aspects of testing, these have received little attention when testing from EFSMs. This thesis proposes an integrated search-based approach to automatically test from an EFSM. The proposed approach generates paths through an EFSM that are potentially feasible and satisfy a test criterion. Then, it generates test cases that can exercise the generated feasible paths. The approach is evaluated by being used to test from five EFSM cases studies. The achieved experimental results demonstrate the value of the proposed approach.