Search results for: tourist service
Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 3927

Search results for: tourist service

2337 Offshore Facilities Load Out: Case Study of Jacket Superstructure Loadout by Strand Jacking Skidding Method

Authors: A. Rahim Baharudin, Nor Arinee binti Mat Saaud, Muhammad Afiq Azman, Farah Adiba A. Sani

Abstract:

Objectives: This paper shares the case study on the engineering analysis, data analysis, and real-time data comparison for qualifying the stand wires' minimum breaking load and safe working load upon loadout operation for a new project and, at the same time, eliminate the risk due to discrepancies and unalignment of COMPANY Technical Standards to Industry Standards and Practices. This paper demonstrates “Lean Construction” for COMPANY’s Project by sustaining fit-for-purpose Technical Requirements of Loadout Strand Wire Factor of Safety (F.S). The case study utilizes historical engineering data from a few loadout operations by skidding methods from different projects. It is also demonstrating and qualifying the skidding wires' minimum breaking load and safe working load used for loadout operation for substructure and other facilities for the future. Methods: Engineering analysis and comparison of data were taken as referred to the international standard and internal COMPANY standard requirements. Data was taken from nine (9) previous projects for both topsides and jacket facilities executed at the several local fabrication yards where load out was conducted by three (3) different service providers with emphasis on four (4) basic elements: i) Industry Standards for Loadout Engineering and Operation Reference: COMPANY internal standard was referred to superseded documents of DNV-OS-H201 and DNV/GL 0013/ND. DNV/GL 0013/ND and DNVGL-ST-N001 do not mention any requirements of Strand Wire F.S of 4.0 for Skidding / Pulling Operations. ii) Reference to past Loadout Engineering and Execution Package: Reference was made to projects delivered by three (3) major offshore facilities operators. Strand Wire F.S observed ranges from 2.0 MBL (Min) to 2.5 MBL (Max). No Loadout Operation using the requirements of 4.0 MBL was sighted from the reference. iii) Strand Jack Equipment Manufacturer Datasheet Reference: Referring to Strand Jack Equipment Manufactured Datasheet by different loadout service providers, it is shown that the Designed F.S for the equipment is also ranging between 2.0 ~ 2.5. Eight (8) Strand Jack Datasheet Model was referred to, ranging from 15 Mt to 850 Mt Capacity; however, there are NO observations of designed F.S 4.0 sighted. iv) Site Monitoring on Actual Loadout Data and Parameter: Max Load on Strand Wire was captured during 2nd Breakout, which is during Static Condition of 12.9 MT / Strand Wire (67.9% Utilization). Max Load on Strand Wire for Dynamic Conditions during Step 8 and Step 12 is 9.4 Mt / Strand Wire (49.5% Utilization). Conclusion: This analysis and study demonstrated the adequacy of strand wires supplied by the service provider were technically sufficient in terms of strength, and via engineering analysis conducted, the minimum breaking load and safe working load utilized and calculated for the projects were satisfied and operated safely for the projects. It is recommended from this study that COMPANY’s technical requirements are to be revised for future projects’ utilization.

Keywords: construction, load out, minimum breaking load, safe working load, strand jacking, skidding

Procedia PDF Downloads 98
2336 Distance and Coverage: An Assessment of Location-Allocation Models for Fire Stations in Kuwait City, Kuwait

Authors: Saad M. Algharib

Abstract:

The major concern of planners when placing fire stations is finding their optimal locations such that the fire companies can reach fire locations within reasonable response time or distance. Planners are also concerned with the numbers of fire stations that are needed to cover all service areas and the fires, as demands, with standard response time or distance. One of the tools for such analysis is location-allocation models. Location-allocation models enable planners to determine the optimal locations of facilities in an area in order to serve regional demands in the most efficient way. The purpose of this study is to examine the geographic distribution of the existing fire stations in Kuwait City. This study utilized location-allocation models within the Geographic Information System (GIS) environment and a number of statistical functions to assess the current locations of fire stations in Kuwait City. Further, this study investigated how well all service areas are covered and how many and where additional fire stations are needed. Four different location-allocation models were compared to find which models cover more demands than the others, given the same number of fire stations. This study tests many ways to combine variables instead of using one variable at a time when applying these models in order to create a new measurement that influences the optimal locations for locating fire stations. This study also tests how location-allocation models are sensitive to different levels of spatial dependency. The results indicate that there are some districts in Kuwait City that are not covered by the existing fire stations. These uncovered districts are clustered together. This study also identifies where to locate the new fire stations. This study provides users of these models a new variable that can assist them to select the best locations for fire stations. The results include information about how the location-allocation models behave in response to different levels of spatial dependency of demands. The results show that these models perform better with clustered demands. From the additional analysis carried out in this study, it can be concluded that these models applied differently at different spatial patterns.

Keywords: geographic information science, GIS, location-allocation models, geography

Procedia PDF Downloads 166
2335 Continuous-Time Convertible Lease Pricing and Firm Value

Authors: Ons Triki, Fathi Abid

Abstract:

Along with the increase in the use of leasing contracts in corporate finance, multiple studies aim to model the credit risk of the lease in order to cover the losses of the lessor of the asset if the lessee goes bankrupt. In the current research paper, a convertible lease contract is elaborated in a continuous time stochastic universe aiming to ensure the financial stability of the firm and quickly recover the losses of the counterparties to the lease in case of default. This work examines the term structure of the lease rates taking into account the credit default risk and the capital structure of the firm. The interaction between the lessee's capital structure and the equilibrium lease rate has been assessed by applying the competitive lease market argument developed by Grenadier (1996) and the endogenous structural default model set forward by Leland and Toft (1996). The cumulative probability of default was calculated by referring to Leland and Toft (1996) and Yildirim and Huan (2006). Additionally, the link between lessee credit risk and lease rate was addressed so as to explore the impact of convertible lease financing on the term structure of the lease rate, the optimal leverage ratio, the cumulative default probability, and the optimal firm value by applying an endogenous conversion threshold. The numerical analysis is suggestive that the duration structure of lease rates increases with the increase in the degree of the market price of risk. The maximal value of the firm decreases with the effect of the optimal leverage ratio. The results are indicative that the cumulative probability of default increases with the maturity of the lease contract if the volatility of the asset service flows is significant. Introducing the convertible lease contract will increase the optimal value of the firm as a function of asset volatility for a high initial service flow level and a conversion ratio close to 1.

Keywords: convertible lease contract, lease rate, credit-risk, capital structure, default probability

Procedia PDF Downloads 79
2334 Development, Evaluation and Scale-Up of a Mental Health Care Plan (MHCP) in Nepal

Authors: Nagendra P. Luitel, Mark J. D. Jordans

Abstract:

Globally, there is a significant gap between the number of individuals in need of mental health care and those who actually receive treatment. The evidence is accumulating that mental health services can be delivered effectively by primary health care workers through community-based programs and task-sharing approaches. Changing the role of specialist mental health workers from service delivery to building clinical capacity of the primary health care (PHC) workers could help in reducing treatment gap in low and middle-income countries (LMICs). We developed a comprehensive mental health care plan in 2012 and evaluated its feasibility and effectiveness over the past three years. Initially, a mixed method formative study was conducted for the development of mental health care plan (MHCP). Routine monitoring and evaluation data, including client flow and reports of satisfaction, were obtained from beneficiaries (n=135) during the pilot-testing phase. Repeated community survey (N=2040); facility detection survey (N=4704) and the cohort study (N=576) were conducted for evaluation of the MHCP. The resulting MHCP consists of twelve packages divided over the community, health facility, and healthcare organization platforms. Detection of mental health problems increased significantly after introducing MHCP. Service implementation data support the real-life applicability of the MHCP, with reasonable treatment uptake. Currently, MHCP has been implemented in the entire Chitwan district where over 1400 people (438 people with depression, 406 people with psychosis, 181 people with epilepsy, 360 people with alcohol use disorder and 51 others) have received mental health services from trained health workers. Key barriers were identified and addressed, namely dissatisfaction with privacy, perceived burden among health workers, high drop-out rates and continue the supply of medicines. The results indicated that involvement of PHC workers in detection and management of mental health problems is an effective strategy to minimize treatment gap on mental health care in Nepal.

Keywords: mental health, Nepal, primary care, treatment gap

Procedia PDF Downloads 287
2333 Investigation of Delivery of Triple Play Services

Authors: Paramjit Mahey, Monica Sharma, Jasbinder Singh

Abstract:

Fiber based access networks can deliver performance that can support the increasing demands for high speed connections. One of the new technologies that have emerged in recent years is Passive Optical Networks. This paper is targeted to show the simultaneous delivery of triple play service (data, voice and video). The comparative investigation and suitability of various data rates is presented. It is demonstrated that as we increase the data rate, number of users to be accommodated decreases due to increase in bit error rate.

Keywords: BER, PON, TDMPON, GPON, CWDM, OLT, ONT

Procedia PDF Downloads 535
2332 The Intense Fascination of Ancient Egypt: A Cross-Cultural Phenomenological Study

Authors: Patrick Andrew McCoy

Abstract:

The intense fascination with ancient Egypt has persisted for thousands of years and across cultures globally, known popularly as Egyptomania,’ ‘Tutmania,’ ‘Mummymania,’ and ‘Orientalism. A review of the literature indicates psychological themes for its behavior are curiosity, escapism, existentialism, religiosity and spirituality, and cultural, racial, and ethnic identity. A mixed-methods study is initiated with established tools to explore these themes and discover additional motivators. Objectives: The purpose of the study is to explore the themes underlying the intense fascination of ancient Egypt. The abstract themes of the fascination of ancient Egypt are cross-cultural phenomena that motivate people in their interactions with other cultures. These interactions have both been beneficial and combative. Methodology: A mixed methods research study is designed where quantitative (QUAN) survey of participants’ strong fascination with ancient Egypt, within psychological themes derived from a review of the literature. The qualitative (QUAL) survey consists of open-ended questions to explore participants’ exposure to ancient Egypt that may have influenced their fascination and their behaviors resulting from the phenomenon. The themes are explored in QUAN data and QUAL data to discover what themes are established and inferred the psychological motivations of the phenomenon. Main Contributions: This study will provide more information on several scientific disciplines, including psychology, anthropology, Egyptology, and tourism. This study seeks to benefit the tourism industry for not only in Egypt but hopefully with generalizability of cultural tourist industries in other countries.

Keywords: cross-cultural psychology, international psychology, mixed-methods, identity, ancient Egypt, phenomenology, escapism, curiosity, existentialism, religiosity, spirituality

Procedia PDF Downloads 121
2331 Big Data Analytics and Public Policy: A Study in Rural India

Authors: Vasantha Gouri Prathapagiri

Abstract:

Innovations in ICT sector facilitate qualitative life style for citizens across the globe. Countries that facilitate usage of new techniques in ICT, i.e., big data analytics find it easier to fulfil the needs of their citizens. Big data is characterised by its volume, variety, and speed. Analytics involves its processing in a cost effective way in order to draw conclusion for their useful application. Big data also involves into the field of machine learning, artificial intelligence all leading to accuracy in data presentation useful for public policy making. Hence using data analytics in public policy making is a proper way to march towards all round development of any country. The data driven insights can help the government to take important strategic decisions with regard to socio-economic development of her country. Developed nations like UK and USA are already far ahead on the path of digitization with the support of Big Data analytics. India is a huge country and is currently on the path of massive digitization being realised through Digital India Mission. Internet connection per household is on the rise every year. This transforms into a massive data set that has the potential to improvise the public services delivery system into an effective service mechanism for Indian citizens. In fact, when compared to developed nations, this capacity is being underutilized in India. This is particularly true for administrative system in rural areas. The present paper focuses on the need for big data analytics adaptation in Indian rural administration and its contribution towards development of the country on a faster pace. Results of the research focussed on the need for increasing awareness and serious capacity building of the government personnel working for rural development with regard to big data analytics and its utility for development of the country. Multiple public policies are framed and implemented for rural development yet the results are not as effective as they should be. Big data has a major role to play in this context as can assist in improving both policy making and implementation aiming at all round development of the country.

Keywords: Digital India Mission, public service delivery system, public policy, Indian administration

Procedia PDF Downloads 151
2330 Hidden Hot Spots: Identifying and Understanding the Spatial Distribution of Crime

Authors: Lauren C. Porter, Andrew Curtis, Eric Jefferis, Susanne Mitchell

Abstract:

A wealth of research has been generated examining the variation in crime across neighborhoods. However, there is also a striking degree of crime concentration within neighborhoods. A number of studies show that a small percentage of street segments, intersections, or addresses account for a large portion of crime. Not surprisingly, a focus on these crime hot spots can be an effective strategy for reducing community level crime and related ills, such as health problems. However, research is also limited in an important respect. Studies tend to use official data to identify hot spots, such as 911 calls or calls for service. While the use of call data may be more representative of the actual level and distribution of crime than some other official measures (e.g. arrest data), call data still suffer from the 'dark figure of crime.' That is, there is most certainly a degree of error between crimes that occur versus crimes that are reported to the police. In this study, we present an alternative method of identifying crime hot spots, that does not rely on official data. In doing so, we highlight the potential utility of neighborhood-insiders to identify and understand crime dynamics within geographic spaces. Specifically, we use spatial video and geo-narratives to record the crime insights of 36 police, ex-offenders, and residents of a high crime neighborhood in northeast Ohio. Spatial mentions of crime are mapped to identify participant-identified hot spots, and these are juxtaposed with calls for service (CFS) data. While there are bound to be differences between these two sources of data, we find that one location, in particular, a corner store, emerges as a hot spot for all three groups of participants. Yet it does not emerge when we examine CFS data. A closer examination of the space around this corner store and a qualitative analysis of narrative data reveal important clues as to why this store may indeed be a hot spot, but not generate disproportionate calls to the police. In short, our results suggest that researchers who rely solely on official data to study crime hot spots may risk missing some of the most dangerous places.

Keywords: crime, narrative, video, neighborhood

Procedia PDF Downloads 230
2329 Driving Performance Improvement in Mini Markets: The Impact of Talent Management, Business Skills, and Technology Adoption in Johannesburg and Cape Town, South Africa

Authors: Fedil Jemal Ahmed

Abstract:

This conference abstract paper presents a study that aimed to explore the impact of talent management and business skills on performance improvement in mini markets located in Johannesburg and Cape Town, South Africa. Mini markets are small retail stores that play a crucial role in providing essential goods and services to communities. However, due to their small size, they often face significant challenges in terms of resources and management. The study conducted interviews with mini market owners and managers in Johannesburg and Cape Town to understand their approach to talent management, business skills, and their impact on business performance. The results showed that effective talent management practices, including recruitment, training, and retention, along with strong business skills, had a significant positive impact on business performance in mini markets. Furthermore, the study found that the use of technology, such as point of sale systems and inventory management software, can also contribute to business performance improvement in mini markets. The results suggest that mini market owners and managers should prioritize talent management, business skills, and invest in technology to improve their business performance. Comparing the improvements made by mini markets in Johannesburg and Cape Town to those made by others, the study found that the adoption of effective talent management practices and strong business skills were key factors in driving performance improvement. Mini market owners and managers who invested in these areas were better equipped to manage their resources, enhance their customer service, and increase their profitability. When comparing the personal experiences of the fedil jemal who improved their business performance from a small market to a large one, they found that effective talent management practices and strong business skills were crucial in achieving success. Through the adoption of effective talent management practices, the fedil was able to attract and retain top talent, ensuring that the business was managed effectively. Furthermore, the fedil invested in improving their business skills, such as financial management, marketing, and customer service, which helped to increase their revenue and profitability. In terms of technology adoption, the author found that the use of point-of-sale systems and inventory management software were essential in managing their inventory and improving their customer service. By investing in technology, the fedil was able to streamline their operations and enhance their overall business performance. In conclusion, this study provides valuable insights into the importance of talent management, business skills, and technology adoption in improving business performance in mini markets. It highlights the need for mini market owners and managers to prioritize these areas and invest in them to enhance their business performance. The findings of this study have practical implications for mini market owners and managers who are looking to improve their business performance and compete in a highly competitive market. By adopting effective talent management practices, developing strong business skills, and investing in technology, mini market owners and managers can improve their operations and increase their profitability.

Keywords: talent management, business skills, technology adoption, mini markets

Procedia PDF Downloads 93
2328 Data Confidentiality in Public Cloud: A Method for Inclusion of ID-PKC Schemes in OpenStack Cloud

Authors: N. Nalini, Bhanu Prakash Gopularam

Abstract:

The term data security refers to the degree of resistance or protection given to information from unintended or unauthorized access. The core principles of information security are the confidentiality, integrity and availability, also referred as CIA triad. Cloud computing services are classified as SaaS, IaaS and PaaS services. With cloud adoption the confidential enterprise data are moved from organization premises to untrusted public network and due to this the attack surface has increased manifold. Several cloud computing platforms like OpenStack, Eucalyptus, Amazon EC2 offer users to build and configure public, hybrid and private clouds. While the traditional encryption based on PKI infrastructure still works in cloud scenario, the management of public-private keys and trust certificates is difficult. The Identity based Public Key Cryptography (also referred as ID-PKC) overcomes this problem by using publicly identifiable information for generating the keys and works well with decentralized systems. The users can exchange information securely without having to manage any trust information. Another advantage is that access control (role based access control policy) information can be embedded into data unlike in PKI where it is handled by separate component or system. In OpenStack cloud platform the keystone service acts as identity service for authentication and authorization and has support for public key infrastructure for auto services. In this paper, we explain OpenStack security architecture and evaluate the PKI infrastructure piece for data confidentiality. We provide method to integrate ID-PKC schemes for securing data while in transit and stored and explain the key measures for safe guarding data against security attacks. The proposed approach uses JPBC crypto library for key-pair generation based on IEEE P1636.3 standard and secure communication to other cloud services.

Keywords: data confidentiality, identity based cryptography, secure communication, open stack key stone, token scoping

Procedia PDF Downloads 372
2327 Some Issues of Measurement of Impairment of Non-Financial Assets in the Public Sector

Authors: Mariam Vardiashvili

Abstract:

The economic value of the asset impairment process is quite large. Impairment reflects the reduction of future economic benefits or service potentials itemized in the asset. The assets owned by public sector entities bring economic benefits or are used for delivery of the free-of-charge services. Consequently, they are classified as cash-generating and non-cash-generating assets. IPSAS 21 - Impairment of non-cash-generating assets, and IPSAS 26 - Impairment of cash-generating assets, have been designed considering this specificity.  When measuring impairment of assets, it is important to select the relevant methods. For measurement of the impaired Non-Cash-Generating Assets, IPSAS 21 recommends three methods: Depreciated Replacement Cost Approach, Restoration Cost Approach, and  Service Units Approach. Impairment of Value in Use of Cash-Generating Assets (according to IPSAS 26) is measured by discounted value of the money sources to be received in future. Value in use of the cash-generating asserts (as per IPSAS 26) is measured by the discounted value of the money sources to be received in the future. The article provides classification of the assets in the public sector  as non-cash-generating assets and cash-generating assets and, deals also with the factors which should be considered when evaluating  impairment of assets. An essence of impairment of the non-financial assets and the methods of measurement thereof evaluation are formulated according to IPSAS 21 and IPSAS 26. The main emphasis is put on different methods of measurement of the value in use of the impaired Cash-Generating Assets and Non-Cash-Generation Assets and the methods of their selection. The traditional and the expected cash flow approaches for calculation of the discounted value are reviewed. The article also discusses the issues of recognition of impairment loss and its reflection in the financial reporting. The article concludes that despite a functional purpose of the impaired asset, whichever method is used for measuring the asset, presentation of realistic information regarding the value of the assets should be ensured in the financial reporting. In the theoretical development of the issue, the methods of scientific abstraction, analysis and synthesis were used. The research was carried out with a systemic approach. The research process uses international standards of accounting, theoretical researches and publications of Georgian and foreign scientists.

Keywords: cash-generating assets, non-cash-generating assets, recoverable (usable restorative) value, value of use

Procedia PDF Downloads 131
2326 Optimization of Territorial Spatial Functional Partitioning in Coal Resource-based Cities Based on Ecosystem Service Clusters - The Case of Gujiao City in Shanxi Province

Authors: Gu Sihao

Abstract:

The coordinated development of "ecology-production-life" in cities has been highly concerned by the country, and the transformation development and sustainable development of resource-based cities have become a hot research topic at present. As an important part of China's resource-based cities, coal resource-based cities have the characteristics of large number and wide distribution. However, due to the adjustment of national energy structure and the gradual exhaustion of urban coal resources, the development vitality of coal resource-based cities is gradually reduced. In many studies, the deterioration of ecological environment in coal resource-based cities has become the main problem restricting their urban transformation and sustainable development due to the "emphasis on economy and neglect of ecology". Since the 18th National Congress of the Communist Party of China (CPC), the Central Government has been deepening territorial space planning and development. On the premise of optimizing territorial space development pattern, it has completed the demarcation of ecological protection red lines, carried out ecological zoning and ecosystem evaluation, which have become an important basis and scientific guarantee for ecological modernization and ecological civilization construction. Grasp the regional multiple ecosystem services is the precondition of the ecosystem management, and the relationship between the multiple ecosystem services study, ecosystem services cluster can identify the interactions between multiple ecosystem services, and on the basis of the characteristics of the clusters on regional ecological function zoning, to better Social-Ecological system management. Based on this cognition, this study optimizes the spatial function zoning of Gujiao, a coal resource-based city, in order to provide a new theoretical basis for its sustainable development. This study is based on the detailed analysis of characteristics and utilization of Gujiao city land space, using SOFM neural networks to identify local ecosystem service clusters, according to the cluster scope and function of ecological function zoning of space partition balance and coordination between different ecosystem services strength, establish a relationship between clusters and land use, and adjust the functions of territorial space within each zone. Then, according to the characteristics of coal resources city and national spatial function zoning characteristics, as the driving factors of land change, by cellular automata simulation program, such as simulation under different restoration strategy situation of urban future development trend, and provides relevant theories and technical methods for the "third-line" demarcations of Gujiao's territorial space planning, optimizes territorial space functions, and puts forward targeted strategies for the promotion of regional ecosystem services, providing theoretical support for the improvement of human well-being and sustainable development of resource-based cities.

Keywords: coal resource-based city, territorial spatial planning, ecosystem service cluster, gmop model, geosos-FLUS model, functional zoning optimization and upgrading

Procedia PDF Downloads 53
2325 Heritage of the Ancient Greco-Roman Cities and Harbors in the North West Coast of Egypt

Authors: Wessam Fekry Ibrahim Moussa

Abstract:

The northwest coast of Egypt embraces about 500 km of the Mediterranean coastline. The area covered extends from Alexandria on the East to the village of Sallum at Egypt's border with Libya in the west with an average depth of 20-70 km. When one looks at this long strip of land, one is struck by the fact that, from the archaeological point of view, one knows relatively little about this region during ancient times, its history, villages, inhabitants, and heritage. According to classical writers, in antiquity, the area seemed to be more populated and characterized by its rich buildings and inhabitants. They mentioned several Greco-Roman towns and harbors scattered along the coast nearly 2 thousand years ago. Strabo, for instance, in his book 17, confirmed the existence of about 12 several clusters along the coast, which varied between cities, villages, harbors, and small islands. Claudius Ptolemaeus also enumerated many marina sites as well as some small cities and villages. Unfortunately, nowadays, most of them have been lost either due to the extensive development of the north coast, Natural Disasters, or Erosion Factors. However, recent excavations carried out within the area revealed just a little of these settlements. The aim of this study is to reveal the secrets of the hidden heritage of those ancient sites and shed light on the role they played in the past, as some of them used to be stops on the trade route between Libya and Egypt (Strabo 17) or major centers for some of the international imports. The study will explore the archeological evidence using the analytical methodology to analyze each site and identify its features and significances in order to conclude the importance and role it once played during the past. Findings could be used by authorities and policymakers to utilize these heritage resources to improve cultural tourism within the area and enhance the tourist's experience.

Keywords: Greco Roman, heritage, ancient cities, north west coast

Procedia PDF Downloads 199
2324 Implications for Counseling and Service Delivery on the Psychological Trajectories of Women Undergoing in Vitro Fertilization (IVF) Treatment in Hong Kong

Authors: Tong Mei Yan

Abstract:

Introduction: The experience of infertility could be excruciating but has not received much attention in Hong Kong. The strong Confucian culture pressures couples to continue their family lineage resulting in women facing more stress than men in the social-cultural milieu. In Vitro Fertilization (IVF) treatment is one of the common ways to deal with the problem. Abundant literature exists the psychological trajectories of people receiving IVF treatment in Europe, the USA and other east Asian societies but not in Hong Kong. Aim: This study aims to highlight the circumstances and needs of the women before, during and after IVF treatment through examining their lived experiences. It is hoped that the public, once informed of regarding their tribulations and needs , would support the adequate provision of the required psychological support . Methods: Qualitative analysis was adopted in this study. In-depth interviews were conducted with six women who have undergone at least one complete cycle of IVF treatment within the past five years. Data was analyzed through thematic analysis and narrative analysis. Results: 4 broad themes were found, including (i) emotional responses; (ii) experiences in medical consultation; (iii) impacts of the treatment; and (iv) their coping strategies. Additionally, specific events in three cases were chosen for narrative analysis to further examine their unresolved emotional distress and the ethical issues. Conclusion: IVF treatment distressed the interviewees immensely, both physically and psychologically, with the negative emotions outweighing their physical strains, a result unexpected by all of the interviewees. The pressure for lineage continuation, the demanding treatment process and the dearth of support from health professionals all contribute to their emotional pain which could linger for both successful and unsuccessful cases. Although a number of coping strategies were attempted, most of them completely failed to ease their psychological tension. The findings of this study therefore evidence the need for psychological support for this population. A service model to cater their needs of IVF treatment before, during and after treatment is therefore proposed.

Keywords: coping strategies, emotional experiences, impacts of IVF, infertility, IVF treatment, medical experiences

Procedia PDF Downloads 77
2323 Participatory Action Research with Social Workers: The World Café Method to Share Critical Reflections and Possible Solutions on Working Practices in Migration Contexts

Authors: Ilaria Coppola, Davide Lacqua, Nadia Ranìa

Abstract:

Over the past two decades, migration has gained central importance in the global landscape. Europe hosts the largest number of migrants, totaling 92.9 million people, approximately 37.4 million of whom are regular residents within the European Union's borders. Reception services and different modes of management have received increasing attention precisely because of the complexity of the phenomenon, which necessarily impacts the wider community. Indeed, opening a reception center in an area entails major challenges for that context, for the community that inhabits it, and for the people who use that service. Questioning the strategies needed to offer a functional reception service means listening to the different actors involved who daily face the difficulties involved in working in the field. Recognizing the importance of the professional figures who work closely with migrant people, each with their own specific experiences has led researchers to study and analyze the different types of reception centers and their management. This has led to the development of intervention models and best practices in various countries. However, research from this perspective is still limited, especially in Italy. From this theoretical framework, this study aims to bring out an innovative qualitative tool, such as the world café, the work experiences of 29 social workers working in shelters in the Italian context. Most of the participants were female and lived in the Northwest regions of Italy. Through this tool, the aim was to bring out and share reflections on the critical issues encountered in working in reception centers, with a view to identifying possible solutions for better management of services. The World café represents a tool used in participatory action research that promotes dialogue among participants through the sharing of reflections and ideas. In fact, from critical reflections, participants are invited to identify and share possible solutions to provide a more functional service with benefits to the entire community. Therefore, this research, through the innovative technique of the World café, aims to promote critical thinking processes that can help participants find solutions that can be introduced into their work contexts or proposed to decision-makers. Specifically, the findings shed light on several issues, including complex bureaucratic procedures, insufficient project planning, and inefficiencies in the services provided to migrants. These concerns collectively contribute to what participants perceive as a disorganized and uncoordinated system. In addition, the study explores potential solutions that promote more efficient networking practices, coordinated project management, and a more positive approach to cultural diversity. The main results obtained will be discussed with a focus on critical reflections and possible solutions identified.

Keywords: participatory action research, world café method, reception services, migration contexts, social workers, Italy

Procedia PDF Downloads 54
2322 Neural Network Approach For Clustering Host Community: Based on Perceptions Toward Tourism, Their Satisfaction Level and Demographic Attributes in Iran (Lahijan)

Authors: Nasibeh Mohammadpour, Ali Rajabzadeh, Adel Azar, Hamid Zargham Borujeni,

Abstract:

Generally, various industries development depends on their stakeholders and beneficiaries supports. One of the most important stakeholders in tourism industry ( which has become one of the most important lucrative and employment-generating activities at the international level these days) are host communities in tourist destination which are affected and effect on this industry development. Recognizing host community and its segmentations can be important to get their support for future decisions and policy making. In order to identify these segments, in this study, clustering of the residents has been done by using some tools that are designed to encounter human complexities and have ability to model and generalize complex systems without any needs for the initial clusters’ seeds like classic methods. Neural networks can help to meet these expectations. The research have been planned to design neural networks-based mathematical model for clustering the host community effectively according to multi criteria, and identifies differences among segments. In order to achieve this goal, the residents’ segmentation has been done by demographic characteristics, their attitude towards the tourism development, the level of satisfaction and the type of their support in this field. The applied method is self-organized neural networks and the results have compared with K-means. As the results show, the use of Self- Organized Map (SOM) method provides much better results by considering the Cophenetic correlation and between clusters variance coefficients. Based on these criteria, the host community is divided into five sections with unique and distinctive features, which are in the best condition (in comparison other modes) according to Cophenetic correlation coefficient of 0.8769 and between clusters variance of 0.1412.

Keywords: Artificial Nural Network, Clustering , Resident, SOM, Tourism

Procedia PDF Downloads 170
2321 Disaster Recovery and Tourism Development: The Case of Diving Industry in Coron Island Palawan

Authors: Kimberly Joyce A. Roguis, Mica Lorraine L. Fernando, Alan Vito B. Macadangdang, Jennina Mari C. Mijares, Maria Carinnes A. Gonzalez

Abstract:

The paper showcases the vulnerability of the tourism industry especially the inevitable occurrence of natural disasters, implicating the necessity for post-disaster analysis on tourist attractions. This study discusses the aftermath of the super typhoon ‘Yolanda’ incident in the locality of Coron Island, Palawan, assessing its general effect on the community and its tourism livelihood through the analysis of responses from key role-players in the tourism industry of the area gathered through semi-structured interviews and direct observation. The local government’s instigation of recovery programs to their locality has been a pivotal factor in reviving the vitality of their tourism industry and the involvement of the community has been the determining condition that shifted the industry towards revival a year after the incidence. The study illuminates the disaster mitigation processes in the local tourism livelihood perspective, predominantly the diving industry. It did not suffer physical damage to a great extent but was affected because of the public imagery the disaster brought upon. Collaboration between the local government and the community is the highlight of the research for they maneuvered recovery revealing that cooperation between these two parties bridged the correlation of recovery to tourism development. The disaster paved way to a stance towards promoting progressive tourism outlooks, raising awareness among the public and private sectors and re-assessment of the tourism vitality in their locality. The mayhem and destruction proved to be a liberating creative process to give way to progression and was deemed to be of high significance in the over-all tourism system process despite its impediments in the case of the tourism industry in Coron, Palawan.

Keywords: disaster recovery, tourism development, diving, Palawan

Procedia PDF Downloads 365
2320 Capacity Assessment of Kish Island in Visa Exchanging and Its Effect on Tourism Development

Authors: Leila Zarei

Abstract:

The primary objective of the 2014 Survey of The Capacity Assessment of Kish Island in Visa Exchange and its Effect of Tourism Development was to obtain more comprehensive statistical information relating to foreign tourists who aimed to renew their visa in Kish Island. Kish Island the pearl of Persian Gulf is well known as a destination for visa exchange to many alien who work and live in the country located around Persian Gulf. Foreign visitors fly to Kish with aim of visa exchange and after passing through official procedures they return back to their country of resident. The present thesis studied the subject of capacity and potential of Kish Island in visa exchange. In accordance with it a survey had been conducted in English written form of a questionnaire which was researcher's made composed of 120 questions which covers diverse aspects of the field of this study (airport, public transportation, accommodate and medical centers and travel agencies). The data collected were obtained at the airport, hotels and other places from the international tourists and covered the following items: a) the profile of the tourists (sex, age, occupation, purpose of visit, etc.) b) The Rating of services and Prices. The target population was all international tourists who master English and non Iranian. Main findings: 56% of tourists interviewed were males and 44% were females. The age of arrived tourist was 30 – 39 years with the highest percentage of 47%. The highest percentage frequencies of income belong to the 1000- 2500 Dhrs. (26%). In addition, that 50 percentage of the population was married and rest was single. Concerning the religion, 26 percent of the travelers were Muslim and 65% Christian and the rest from the other branches which all these populations reach Kish via air. The majority (56%) of visa exchangers hold diploma.

Keywords: Kish Island, tourism development, visa exchange, Iran

Procedia PDF Downloads 238
2319 Global Supply Chain Tuning: Role of National Culture

Authors: Aleksandr S. Demin, Anastasiia V. Ivanova

Abstract:

Purpose: The current economy tends to increase the influence of digital technologies and diminish the human role in management. However, it is impossible to deny that a person still leads a business with its own set of values and priorities. The article presented aims to incorporate the peculiarities of the national culture and the characteristics of the supply chain using the quantitative values of the national culture obtained by the scholars of comparative management (Hofstede, House, and others). Design/Methodology/Approach: The conducted research is based on the secondary data in the field of cross-country comparison achieved by Prof. Hofstede and received in the GLOBE project. The data mentioned are used to design different aspects of the supply chain both on the cross-functional and inter-organizational levels. The connection between a range of principles in general (roles assignment, customer service prioritization, coordination of supply chain partners) and in comparative management (acknowledgment of the national peculiarities of the country in which the company operates) is shown over economic and mathematical models, mainly linear programming models. Findings: The combination of the team management wheel concept, the business processes of the global supply chain, and the national culture characteristics let a transnational corporation to form a supply chain crew balanced in costs, functions, and personality. To elaborate on an effective customer service policy and logistics strategy in goods and services distribution in the country under review, two approaches are offered. The first approach relies exceptionally on the customer’s interest in the place of operation, while the second one takes into account the position of the transnational corporation and its previous experience in order to accord both organizational and national cultures. The effect of integration practice on the achievement of a specific supply chain goal in a specific location is advised to assess via types of correlation (positive, negative, non) and the value of national culture indices. Research Limitations: The models developed are intended to be used by transnational companies and business forms located in several nationally different areas. Some of the inputs to illustrate the application of the methods offered are simulated. That is why the numerical measurements should be used with caution. Practical Implications: The research can be of great interest for the supply chain managers who are responsible for the engineering of global supply chains in a transnational corporation and the further activities in doing business on the international area. As well, the methods, tools, and approaches suggested can be used by top managers searching for new ways of competitiveness and can be suitable for all staff members who are keen on the national culture traits topic. Originality/Value: The elaborated methods of decision-making with regard to the national environment suggest the mathematical and economic base to find a comprehensive solution.

Keywords: logistics integration, logistics services, multinational corporation, national culture, team management, service policy, supply chain management

Procedia PDF Downloads 96
2318 Sustainability and Cultural Preservation: Lessons from the Tourism Industry in Bali and Guam

Authors: Briante Barretto, Haley Carreon, Anesha-Maelene Ignacio

Abstract:

This research paper explores the dynamic process of cultural resilience within the context of the modern tourism of two traditional island communities (Bali, Indonesia and Guam, Micronesia). It asks the question: How do indigenous people hold on to their foundational values that define their culture while moving forward in the modern world? Both Bali and Guam serve as famous destinations for tourists from all over the world, with millions of visitors on an annual basis. Both are continually being shaped in profound ways by the forces of modernity through globalization. And both are demonstrating cultural resilience while striving to find creative ways to sustain, preserve and strengthen their values and traditions within the context of a thriving modern tourist economy. This research paper, drawing on ethnographic methodologies, and in particular participant observation and in-depth interviews, explores the many challenges both communities face and the strategies and approaches they are learning to employ that help promote sustainable tourism while contributing to cultural preservation. Drawing on the insights gained from field work in both island communities, as well as the growing literature in this field study, the paper posits important lessons that can guide and inform indigenous communities that are being drawn into the global tourism market. One powerful idea emerges in the research and one that seems to guide and shape tourism policy both indigenous communities - that this current generation should be thought of as the ancestors of future generations, and thus they have a weighty responsibility to continue to learn and strive to sustain and preserve their cultures and traditions, their natural environments, and spiritual foundations for the future.

Keywords: bali, culture, environment, guam, tourism, values

Procedia PDF Downloads 61
2317 Analysis of Turkish Government Cultural Portal for Supporting Gastronomy Tourism

Authors: Hilmi Rafet Yüncü

Abstract:

Today Internet has very important role to promote products and services all over the world. Companies and destinations in tourism industry use Internet to sell and to promote their core products to directly potential tourists. Internet technologies have redefined the relationships between tourists, tourism companies, and travel agents. The new relationship allows for accessing and tapping tourism information and services. Internet technologies ensure new opportunities to available for the tourism industry, including travel accommodation, and tourist destination organizations. Websites are important devices to the marketing of a destination. Most people make a research about the destination before arriving via internet. Governments have a considerable role in the process of marketing tourism destinations. Governments make policies and regulations; furthermore, they help to market destinations to potential tourists. Governments have a comprehensive overview of the sector to see changes in tourism market and design better policies, programs and marketing plans. At the same time, governments support developing of alternative tourism in the country with regulations and marketing tools. The aim of this study is to analyse of an Internet website of governmental tourism portal in Turkey to determine effectiveness about gastronomy tourism. The Turkish government has established a culture portal for foreign and local tourists. The Portal provides local and general information about tourism attractions of cities and Turkey. There are 81 official cities in Turkey and all these cities are conducted to analyse to determine how effective marketing is done by Turkish Government in the manner of gastronomy tourism. A content analysis will be conducted to Internet website of the portal with food content, recipes and gastronomic feature of cities.

Keywords: culture portal, gastronomy tourism, government, Turkey

Procedia PDF Downloads 335
2316 Neighbor Caring Environment System (NCE) Using Parallel Replication Mechanism

Authors: Ahmad Shukri Mohd Noor, Emma Ahmad Sirajudin, Rabiei Mamat

Abstract:

Pertaining to a particular Marine interest, the process of data sampling could take years before a study can be concluded. Therefore, the need for a robust backup system for the data is invariably implicit. In recent advancement of Marine applications, more functionalities and tools are integrated to assist the work of the researchers. It is anticipated that this modality will continue as research scope widens and intensifies and at the same to follow suit with current technologies and lifestyles. The convenience to collect and share information these days also applies to the work in Marine research. Therefore, Marine system designers should be aware that high availability is a necessary attribute in Marine repository applications as well as a robust backup system for the data. In this paper, the approach to high availability is related both to hardware and software but the focus is more on software. We consider a NABTIC repository system that is primitively built on a single server and does not have replicated components. First, the system is decomposed into separate modules. The modules are placed on multiple servers to create a distributed system. Redundancy is added by placing the copies of the modules on different servers using Neighbor Caring Environment System(NCES) technique. NCER is utilizing parallel replication components mechanism. A background monitoring is established to check servers’ heartbeats to confirm their aliveness. At the same time, a critical adaptive threshold is maintained to make sure a failure is timely detected using Adaptive Fault Detection (AFD). A confirmed failure will set the recovery mode where a selection process will be done before a fail-over server is instructed. In effect, the Marine repository service is continued as the fail-over masks a recent failure. The performance of the new prototype is tested and is confirmed to be more highly available. Furthermore, the downtime is not noticeable as service is immediately restored automatically. The Marine repository system is said to have achieved fault tolerance.

Keywords: availability, fault detection, replication, fault tolerance, marine application

Procedia PDF Downloads 313
2315 Mediating Role of Experiential Value Added by the Sales Force

Authors: Said Echchakoui

Abstract:

This paper aims to investigate how experiential value added by the salesperson mediates the relationship between perceived salesperson source characteristics and his performance. Structural equation modelling was employed to assess the proposed research model empirically. The empirical results revealed that the three dimensions of experiential value economic benefit, service productivity and enjoyable interaction, mediated the relationship between perceived salesperson source characteristics and his performance. Managerial implications are addressed.

Keywords: sales force, experiential added value, customer perceived value, performance

Procedia PDF Downloads 427
2314 The Effects of a Nursing Dignity Care Program on Patients’ Dignity in Care

Authors: Yea-Pyng Lin

Abstract:

Dignity is a core element of nursing care. Maintaining the dignity of patients is an important issue because the health and recovery of patients can be adversely affected by a lack of dignity in their care. The aim of this study was to explore the effects of a nursing dignity care program upon patients’ dignity in care. A quasi-experimental research design was implemented. Nurses were recruited by purposive sampling, and their patients were recruited by simple random sampling. Nurses in the experimental group received the nursing educational program on dignity care, while nurses in the control group received in-service education as usual. Data were collected via two instruments: the dignity in care scale for nurses and the dignity in care scale to patients, both of which were developed by the researcher. Both questionnaires consisted of three domains: agreement, importance, and frequencies of providing dignity care. A total of 178 nurses in the experimental group and 193 nurses in the control group completed the pretest and the follow-up evaluations at the first month, the third month, and the sixth month. The number of patients who were cared for by the nurses in the experimental group was 94 in the pretest. The number of patients in the post-test at the first, third, and sixth months were 91, 85, and 77, respectively. In the control group, 88 patients completed the II pretest, and 80 filled out the post-test at the first month, 77 at the third, and 74 at the sixth month. The major findings revealed the scores of agreement domain among nurses in the experimental group were found significantly different from those who in the control group at each point of time. The scores of importance domain between these two groups also displayed significant differences at pretest and the first month of post-test. Moreover, the frequencies of proving dignity care to patients were significant at pretest, the third month and sixth month of post-test. However, the experimental group had only significantly different from those who in the control group on the frequencies of receiving dignity care especially in the items of ‘privacy care,’ ‘communication care,’ and ‘emotional care’ for the patients. The results show that the nursing program on dignity care could increase nurses’ dignity care for patients in three domains of agreement, importance, and frequencies of providing dignity care. For patients, only the frequencies of receiving dignity care were significantly increased. Therefore, the nursing program on dignity care could be applicable for nurses’ in-service education and practice to enhance the ability of nurses to care for patient’s dignity.

Keywords: nurses, patients, dignity care, quasi-experimental, nursing education

Procedia PDF Downloads 456
2313 Rapid Assessment the Ability of Forest Vegetation in Kulonprogo to Store Carbon Using Multispectral Satellite Imagery and Vegetation Index

Authors: Ima Rahmawati, Nur Hafizul Kalam

Abstract:

Development of industrial and economic sectors in various countries very rapidly caused raising the greenhouse gas (GHG) emissions. Greenhouse gases are dominated by carbon dioxide (CO2) and methane (CH4) in the atmosphere that make the surface temperature of the earth always increase. The increasing gases caused by incomplete combustion of fossil fuels such as petroleum and coals and also high rate of deforestation. Yogyakarta Special Province which every year always become tourist destination, has a great potency in increasing of greenhouse gas emissions mainly from the incomplete combustion. One of effort to reduce the concentration of gases in the atmosphere is keeping and empowering the existing forests in the Province of Yogyakarta, especially forest in Kulonprogro is to be maintained the greenness so that it can absorb and store carbon maximally. Remote sensing technology can be used to determine the ability of forests to absorb carbon and it is connected to the density of vegetation. The purpose of this study is to determine the density of the biomass of forest vegetation and determine the ability of forests to store carbon through Photo-interpretation and Geographic Information System approach. Remote sensing imagery that used in this study is LANDSAT 8 OLI year 2015 recording. LANDSAT 8 OLI imagery has 30 meters spatial resolution for multispectral bands and it can give general overview the condition of the carbon stored from every density of existing vegetation. The method is the transformation of vegetation index combined with allometric calculation of field data then doing regression analysis. The results are model maps of density and capability level of forest vegetation in Kulonprogro, Yogyakarta in storing carbon.

Keywords: remote sensing, carbon, kulonprogo, forest vegetation, vegetation index

Procedia PDF Downloads 387
2312 Shopping Cart System: Load Balancing and Fault Tolerance in the OSGi Service Platform

Authors: Irina Astrova, Arne Koschel, Thole Schneider, Johannes Westhuis, Jürgen Westerkamp

Abstract:

The main purpose of this paper was to find a simple solution for load balancing and fault tolerance in OSGi. The challenge was to implement a highly available web application such as a shopping cart system with load balancing and fault tolerance, without having to change the core of OSGi.

Keywords: fault tolerance, load balancing, OSGi, shopping cart system

Procedia PDF Downloads 414
2311 Day-Case Ketamine Infusions in Patients with Chronic Pancreatitis

Authors: S. M. C. Kelly, M. Goulden

Abstract:

Introduction: Chronic Pancreatitis is an increasing problem worldwide. Pain is the main symptom and the main reason for hospital readmission following diagnosis, despite the use of strong analgesics including opioids. Ketamine infusions reduce pain in complex regional pain syndrome and other neuropathic pain conditions. Our centre has trialed the use of ketamine infusions in patients with chronic pancreatitis. We have evaluated this service to assess whether ketamine reduces emergency department admissions and analgesia requirements. Methods: This study collected retrospective data from 2010 in all patients who received a ketamine infusion for chronic pain secondary to a diagnosis of chronic pancreatitis. The day-case ketamine infusions were initiated in theatre by an anaesthetist, with standard monitoring and the assistance of an anaesthetic practitioner. A bolus dose of 0.5milligrams/kilogram was given in theatre. The infusion of 0.5 milligrams/kilogram per hour was then administered over a 6 hour period in the theatre recovery area. A study proforma detailed the medical history, analgesic use and admissions to hospital. Patients received a telephone follow up consultation. Results: Over the last eight years, a total of 30 patients have received intravenous ketamine infusions, with a total of 92 ketamine infusions being administered. 53% of the patients were male with the average age of 47. A total of 27 patients participated with the telephone consultation. A third of patients reported a reduction in hospital admissions with pain following the ketamine infusion. Analgesia requirements were reduced by an average of 48.3% (range 0-100%) for an average duration of 69.6 days (range 0-180 days.) Discussion: This service evaluation illustrates that ketamine infusions can reduce analgesic requirements and the number of hospital admissions in patients with chronic pancreatitis. In the light of increasing pressures on Emergency departments and the increasing evidence of the dangers of long-term opioid use, this is clearly a useful finding. We are now performing a prospective study to assess the long-term effectiveness of ketamine infusions in reducing analgesia requirements and improving patient’s quality of life.

Keywords: acute-on-chronic pain, intravenous analgesia infusion, ketamine, pancreatitis

Procedia PDF Downloads 131
2310 Dissociation of CDS from CVA Valuation Under Notation Changes

Authors: R. Henry, J-B. Paulin, St. Fauchille, Ph. Delord, K. Benkirane, A. Brunel

Abstract:

In this paper, the CVA computation of interest rate swap is presented based on its rating. Rating and probability default given by Moody’s Investors Service are used to calculate our CVA for a specific swap with different maturities. With this computation, the influence of rating variation can be shown on CVA. The application is made to the analysis of Greek CDS variation during the period of Greek crisis between 2008 and 2011. The main point is the determination of correlation between the fluctuation of Greek CDS cumulative value and the variation of swap CVA due to change of rating

Keywords: CDS, computation, CVA, Greek crisis, interest rate swap, maturity, rating, swap

Procedia PDF Downloads 302
2309 Physico-Chemical Characteristics and Possibilities of Utilization of Elbasan Thermal Waters

Authors: Elvin Çomo, Edlira Tako, Albana Hasimi, Rrapo Ormeni, Olger Gjuzi, Mirela Ndrita

Abstract:

In Albania, only low enthalpy geothermal springs and wells are known, the temperatures of some of them are almost at the upper limits of low enthalpy, reaching over 60°C. These resources can be used to improve the country's energy balance, as well as for profitable economic purposes. The region of Elbasan has the greatest geothermal energy potential in Albania. This bass is one of the most popular and used in our country. This area is a surface with a number of sources, located in the form of a chain, in the sector between Llixha and Hidraj and constitutes a thermo-mineral basin with stable discharge and high temperature. The sources of Elbasan Springs, with the current average flow of thermo mineral water of 12-18 l/s and its temperature 55-65oC, have specific reserves of 39.6 GJ/m2 and potential power to install 2760 kW. For the assessment of physico-chemical parameters and heavy metals, water samples were taken at 5 monitoring stations throughout the year 2022. The levels of basic parameters were analyzed using ISO, EU and APHA 21-th edition standard methods. This study presents the current state of the physico-chemical parameters of this thermal basin, the evaluation of these parameters for curative activities and for industrial processes, as well as the integrated utilization of geothermal energy. Possibilities for using thermomineral waters for heating homes in the area around them or even further, depending on the flow from the source or geothermal well. Sensitization of Albanian investors, medical research and the community for the high economic and curative effectiveness, for the integral use of geothermal energy in this area and the development of the tourist sector. An analysis of the negative environmental impact from the use of thermal water is also provided.

Keywords: geothermal energy, Llixha, physic-chemical parameters, thermal water

Procedia PDF Downloads 115
2308 Modeling and Analyzing the WAP Class 2 Wireless Transaction Protocol Using Event-B

Authors: Rajaa Filali, Mohamed Bouhdadi

Abstract:

This paper presents an incremental formal development of the Wireless Transaction Protocol (WTP) in Event-B. WTP is part of the Wireless Application Protocol (WAP) architectures and provides a reliable request-response service. To model and verify the protocol, we use the formal technique Event-B which provides an accessible and rigorous development method. This interaction between modelling and proving reduces the complexity and helps to eliminate misunderstandings, inconsistencies, and specification gaps. As result, verification of WTP allows us to find some deficiencies in the current specification.

Keywords: event-B, wireless transaction protocol, proof obligation, refinement, Rodin, ProB

Procedia PDF Downloads 308