The use of strategic visioning to enhance local tourism planning in periphery communities

Tourism has had a profound impact upon destinations worldwide, and although this impact has been positive for many destinations, there are numerous examples where tourism has adversely impacted upon the environment and social fabric of the destination community (Coccossis 1996; Murphy 1985). The negative impacts of tourism have been attributed, among other things, to inadequate or non-existent planning for development (Gunn 1994; Hall2000). This has led to increased calls for tourism planning to offset some of the negative impacts that tourism can have on the destination community. While a number of approaches have been advocated, a collaborative philosophy, based on the principles of sustainability, is more likely to result in acceptable and successful policies and programmes for tourism destinations (Farrell1986; Jamal & Getz 1995; Maitland 2002; Minca & Getz 1995). Such an approach focuses on cooperation and broader based participation in tourism planning and decision-making between stakeholders to lead to agreement on planning directions and goals, with one of the primary objectives of collaborative arrangements being to develop a strategic vision for a destination (Bramwell & Lane 2000). [Extract from introduction]

MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.