No abstract

No abstract

The literature on sustainable tourism is scant, particularly in the least developed countries. Very few studies touch upon the concept and no holistic theoretical or conceptual frameworks around the idea of sustainable tourism have been formulated. This study aims at exploring the role of tour operators in developing sustainable tourism in Pakistan and how the tour operators (TOs) conceive their role in this regard. TOs were reached through phone calls, emails, and virtual sources as face-to-face interviews were not possible due to COVID-19 pandemic and restrictions on travel by the government. In-depth interviews were conducted to gather data. Results suggest that the TOs although realize the importance of social, environmental, and economic dimensions of tourism on the communities but have no management systems in place to cater accordingly. There are no incentives in place by the government facilitate TOs to design and implement such systems. The TOs do not select a destination based on Global Sustainable Tourism Council criterion, but rather the selection of destination is mostly demand-based and profit-oriented. The study suggests that corporate profit motive is the sole criterion for decision making and is one of the major causes impeding sustainable tourism in Pakistan. The role of TOs in developing sustainable tourism is vague as the TOs do not have any systems in place to implement sustainable models. The study recommends that efforts need to be put in place to incentivize sustainable tourism in Pakistan and proper laws should be set forth by the authorities to comply by the TOs. The role of TOs is important and understood, however, there is a need to put proper systems in place.

No abstract

Software models describe structures, relationships and features of the software. Modern software development methodologies such as MDE (Model Driven Engineering) use models as core elements. In MDE, the code is automatically generated from the model and model errors can implicitly shift into the code, which are difficult to find and fix. Model verification is a promising solution to this problem. However, coverage of all facets of model verification is a painful job and existing formal/semi-formal verification methods are greatly inspired by mathematics and difficult to understand by the software practitioners. This work considers particularly UML Class/OCL (Unified Modeling Language Class/Object Constraint Language) model and presents an ontology-based verification method. In the proposed method, a class diagram is transformed into ontology specified in OWL (Web Ontology Language) and constraints into SPARQL NAF (Negation as Failure) queries. This work tries to demonstrate that the proposed approach can efficiently cover all aspects of UML Class/OCL model verification.