Formal modeling and analysis techniques for high level Petri nets

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. ^ There are two issues in using HLPNs—modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. ^ For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. ^ For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. ^ The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.^

Formal Modeling and Analysis Techniques for High Level Petri Nets

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. There are two issues in using HLPNs - modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.

A comparative analysis of school satisfaction and dropout risk of middle school students attending programs for students with emotional handicaps, severe emotional disturbance and general education students attending center schools and satellite schools

This study evaluated school satisfaction as an indicator of dropout risk of students with Emotional Handicaps (EH) and students with Severe Emotional Disturbance (SED). The students attended two different kinds of middle schools in a largely urban school district in South Florida. One hundred eight students in grade 8 (ages 13-16) participated in this study. Participants were administered the National Dropout Prevention Assessment (NDPA). Forty participants with EH and SED attended a special center school. Thirty-one participants with EH and SED attended satellite programs in a regular middle school. Thirty-seven general education participants attended the same regular middle school. Overall school satisfaction scores were generated, as well as three primary factors (school, environment and personal) and 16 subscales (school atmosphere, future income, difficulty level of classwork, teacher relationships, peer relationships, intrinsic interest in classwork, school hours, classwork stress, general attitude towards school, family influence, perceived opportunity for career, future goals, travel distance, leisure time, self-appraisal of performance, and self-esteem).^ Comparison of students with EH and SED revealed that both groups of students were rated at "low risk" of becoming dropouts on the Environmental factor and the Difficulty of Schoolwork subscale. Students with EH were rated at "caution risk" risk on the Travel Distance subscale. Students with SED were rated at "high risk" on this subscale.^ There were no significant differences in school satisfaction and dropout risk between different program delivery models. There were also no significant differences for category of students (EH, SED) by school type (center school, satellite program). All students were rated at "low risk" of dropping out of school.^ There were significant differences between general education students and students with EH and SED attending satellite programs. Students with EH and SED were rated at "caution risk" for dropping out on the Travel Distance and the Leisure Time subscales. Discussion of results, implications for practice and recommendations for further research are included. ^

3D TerraFly: Quality of service management for online interactive 3D geographic information system

3D geographic information system (GIS) is data and computation intensive in nature. Internet users are usually equipped with low-end personal computers and network connections of limited bandwidth. Data reduction and performance optimization techniques are of critical importance in quality of service (QoS) management for online 3D GIS. In this research, QoS management issues regarding distributed 3D GIS presentation were studied to develop 3D TerraFly, an interactive 3D GIS that supports high quality online terrain visualization and navigation. ^ To tackle the QoS management challenges, multi-resolution rendering model, adaptive level of detail (LOD) control and mesh simplification algorithms were proposed to effectively reduce the terrain model complexity. The rendering model is adaptively decomposed into sub-regions of up-to-three detail levels according to viewing distance and other dynamic quality measurements. The mesh simplification algorithm was designed as a hybrid algorithm that combines edge straightening and quad-tree compression to reduce the mesh complexity by removing geometrically redundant vertices. The main advantage of this mesh simplification algorithm is that grid mesh can be directly processed in parallel without triangulation overhead. Algorithms facilitating remote accessing and distributed processing of volumetric GIS data, such as data replication, directory service, request scheduling, predictive data retrieving and caching were also proposed. ^ A prototype of the proposed 3D TerraFly implemented in this research demonstrates the effectiveness of our proposed QoS management framework in handling interactive online 3D GIS. The system implementation details and future directions of this research are also addressed in this thesis. ^

Best practices in exemplary service delivery: A multiple case study of service quality

The purpose of this study was to explain how exemplary service providers in luxury hotels provide consistently excellent service. Using a case study framework, the study investigated the service provider's strategies and concepts of service delivery, the importance and implementation of organizational and individual controls, and the role of training and learning. The study identified barriers to service provision and characteristics of the exemplary individuals that affect their ability to deliver luxury service. This study sought to better understand how exemplary service providers learn, think about, and do their work. The sample population of three Five-Diamond-Award winning resorts was selected for their potential for learning about the phenomenon of interest. The results demonstrate that exemplary service providers possess individual characteristics that are enhanced by the organizations for which they work. Exemplary service providers are often exemplary communicators who are emotionally generous and genuinely enjoy helping and serving others. Exemplary service organizations treat their employees as they treat their customers, as suggested by the Service-Profit Chain (Heskett, Sasser & Schlesinger, 1997). Further, they have systems and standards to guarantee satisfactory service experiences for every guest. They also encourage their service providers to personalize their service delivery and to seek opportunities to delight their guests, using a combination of controls, traditions and cultural values. Several customer service theories are discussed in relationship to whether they were or were not supported by the data. The study concluded that the delivery of exemplary service is a complex phenomenon that requires successful interactions between guests, service providers and the organization. A Model of Exemplary Service Delivery is presented and discussed that demonstrates the components of service quality as shown in the data. The model can be used by practitioners seeking to create, enhance, or evaluate their service quality, and by researchers seeking insights into the complex concepts in service quality research. Implications for future research are discussed.

Effects of service-learning on student attitudes toward academic engagement and civic responsibility

This empirical study explored the impact of service-learning participation on high school students' attitudes toward academic engagement and civic responsibility. This study focused whether a group of high school students who participated in a service-learning project had more positive attitudes toward academic engagement and civic responsibility than their high school peers who did not participate in a service learning project. ^ Data were collected from 67 volunteer students as participants in grades 9–12. A service-learning treatment group of 34 high school students was examined relative to a comparison group of 33 high school students with similar demographic and academic characteristics. The investigator used questionnaires, an oral history/service-learning project, and interviews with the teacher-coordinators of the project to collect the data. The two surveys, one investigating high school students' attitudes about academic engagement, the other investigating high school students' attitudes toward civic responsibility, were administered in a pre-treatment/post-treatment design. There were 90 days between the pre-treatment and post-treatment administrations. A factor analysis of the civic responsibility instrument and multivariate analysis of gain scores were used to compare the means of the total aggregate scores of the treatment and comparison groups. Factor analysis was performed on the academic engagement instrument but it was determined that only the total scores could be used in subsequent analyses. Results were used to determine the efficacy of service-learning as interpreted in student attitudes toward academic engagement and student attitudes toward civic responsibility. ^ The study found no significant difference between the academic engagement and the civic responsibility attitudes of a high school service-learning project group and a high school comparison group with comparable school and similar demographic characteristics. One of the implications for educational practice and policy from the study results is a need to design and implement more powerful studies, studies implemented at many sites rather than just at two sites that were the basis of this study, and studies that investigate the research questions over longer time periods. Although it was not a focus of the study, the investigator concluded that service learning projects such as this might be more effective if they were better aligned with Dewey's principles. ^

Realization of Differentiated Quality of Service for Wideband Code Division Multiple Access Core Network

The development of 3G (the 3rd generation telecommunication) value-added services brings higher requirements of Quality of Service (QoS). Wideband Code Division Multiple Access (WCDMA) is one of three 3G standards, and enhancement of QoS for WCDMA Core Network (CN) becomes more and more important for users and carriers. The dissertation focuses on enhancement of QoS for WCDMA CN. The purpose is to realize the DiffServ (Differentiated Services) model of QoS for WCDMA CN. Based on the parallelism characteristic of Network Processors (NPs), the NP programming model is classified as Pool of Threads (POTs) and Hyper Task Chaining (HTC). In this study, an integrated programming model that combines both of the two models was designed. This model has highly efficient and flexible features, and also solves the problems of sharing conflicts and packet ordering. We used this model as the programming model to realize DiffServ QoS for WCDMA CN. ^ The realization mechanism of the DiffServ model mainly consists of buffer management, packet scheduling and packet classification algorithms based on NPs. First, we proposed an adaptive buffer management algorithm called Packet Adaptive Fair Dropping (PAFD), which takes into consideration of both fairness and throughput, and has smooth service curves. Then, an improved packet scheduling algorithm called Priority-based Weighted Fair Queuing (PWFQ) was introduced to ensure the fairness of packet scheduling and reduce queue time of data packets. At the same time, the delay and jitter are also maintained in a small range. Thirdly, a multi-dimensional packet classification algorithm called Classification Based on Network Processors (CBNPs) was designed. It effectively reduces the memory access and storage space, and provides less time and space complexity. ^ Lastly, an integrated hardware and software system of the DiffServ model of QoS for WCDMA CN was proposed. It was implemented on the NP IXP2400. According to the corresponding experiment results, the proposed system significantly enhanced QoS for WCDMA CN. It extensively improves consistent response time, display distortion and sound image synchronization, and thus increases network efficiency and saves network resource.^

Creating Memories: The Interactive Process of Service Delivery

A model is presented that captures the complex nature of the service experience in an attempt to aid in the design, development and evaluation of service delivery personnel and systems.

Model of Service Quality: Customer Loyalty for Hotels

The authors investigate the relationship between loyalty and perceived service quality of hotel customers and discus managerial implications to develop strategies to enhance loyalty of hotel customers. A survey was conducted among customers in the San Francisco Bay Area. Results indicate that customer loyalty is dependent on perceived service quality which is observed in terms of timelines, facilities, and ambience.

The Food Service Industry Environment: Market Volatility Analysis

In their dialogue entitled - The Food Service Industry Environment: Market Volatility Analysis - by Alex F. De Noble, Assistant Professor of Management, San Diego State University and Michael D. Olsen, Associate Professor and Director, Division of Hotel, Restaurant & Institutional Management at Virginia Polytechnic Institute and State University, De Noble and Olson preface the discussion by saying: “Hospitality executives, as a whole, do not believe they exist in a volatile environment and spend little time or effort in assessing how current and future activity in the environment will affect their success or failure. The authors highlight potential differences that may exist between executives' perceptions and objective indicators of environmental volatility within the hospitality industry and suggest that executives change these perceptions by incorporating the assumption of a much more dynamic environment into their future strategic planning efforts. Objective, empirical evidence of the dynamic nature of the hospitality environment is presented and compared to several studies pertaining to environmental perceptions of the industry.” That weighty thesis statement presumes that hospitality executives/managers do not fully comprehend the environment in which they operate. The authors provide a contrast, which conventional wisdom would seem to support and satisfy. “Broadly speaking, the operating environment of an organization is represented by its task domain,” say the authors. “This task domain consists of such elements as a firm's customers, suppliers, competitors, and regulatory groups.” These are dynamic actors and the underpinnings of change, say the authors by way of citation. “The most difficult aspect for management in this regard tends to be the development of a proper definition of the environment of their particular firm. Being able to precisely define who the customers, competitors, suppliers, and regulatory groups are within the environment of the firm is no easy task, yet is imperative if proper planning is to occur,” De Noble and Olson further contribute to support their thesis statement. The article is bloated, and that’s not necessarily a bad thing, with tables both survey and empirically driven, to illustrate market volatility. One such table is the Bates and Eldredge outline; Table-6 in the article. “This comprehensive outline…should prove to be useful to most executives in expanding their perception of the environment of their firm,” say De Noble and Olson. “It is, however, only a suggested outline,” they advise. “…risk should be incorporated into every investment decision, especially in a volatile environment,” say the authors. De Noble and Olson close with an intriguing formula to gauge volatility in an environment.

Examining the Impact of Service Times on Overall Guest Satisfaction Perception in the Casual Dining Environment

A mystery shopper study was used to examine the influence of service times on customer satisfaction. The impact of management emphasis on service quality was also examined. In the restaurants studied, service time influenced customer satisfaction. Management attention to service time improved performance in direct relationship to the level of emphasis.

The Influence of Selected Antecedents of Frontline Employee's Perceptions of Service Recovery Performance

The purpose of this study is to determine the potential impact of selected organizational factors on boundary-spanning-role employees’ perceptions of service recovery performance. This study also aims to assess the impact of service recovery performance on the intention to leave the job and extrinsic job satisfaction. This study uses a sample of frontline employees in Belek, Antalya, Turkey. The empirical findings revealed that education, team work and role ambiguity as frontline job perceptions were found to exert positive influences on the service recovery performance, but, empowerment, reward, and organizational commitment were found to have negative effects on the service recovery performance.

Regional Variation on Rates of Bronchopulmonary Dysplasia and Associated Risk Factors

Background. An abnormally high incidence (44%) of bronchopulmonary dysplasia with variations in rates among cities was observed in Colombia among premature infants. Objective. To identify risk factors that could explain the observed high incidence and regional variations of bronchopulmonary dysplasia. Study Design. A case-control study was designed for testing the hypothesis that differences in the disease rates were not explained by differences in city-of-birth specific population characteristics or by differences in respiratory management practices in the first 7 days of life, among cities. Results. Multivariate analysis showed that premature rupture of membranes, exposure to mechanical ventilation after received nasal CPAP, no surfactant exposure, use of rescue surfactant (instead of early surfactant), PDA, sepsis and the median daily FIO2, were associated with a higher risk of dysplasia. Significant differences between cases and controls were found among cities. Models exploring for associations between city of birth and dysplasia showed that being born in the highest altitude city (Bogotá) was associated with a higher risk of dysplasia (OR 1.82 95% CI 1.31–2.53). Conclusions. Bronchopulmonary dysplasia was manly explained by traditional risk factors. Findings suggest that altitude may play an important role in the development of this disease. Prenatal steroids did not appear to be protective at high altitude.

``This is your brain on drugs'': The public policy of anti -drug programming. An exploratory analysis of media and other sources of drug information for adolescents

In the 1980s, government agencies sought to utilize research on drug use prevention to design media campaigns. Enlisting the assistance of the national media, several campaigns were designed and initiated to bring anti-drug use messages to adolescents in the form of public service advertising. This research explores the sources of information selected by adolescents in grades 7 through 12 and how the selection of media and other sources of information relate to drug use behavior and attitudes and perceptions related to risk/harm and disapproval of friends' drug-using activities.^ Data collected from 1989 to 1992 in the Miami Coalition School Survey provided a random selection of secondary school studies. The responses of these students were analyzed using multivariate statistical techniques.^ Although many of the students selected media as the source for most of their information on the effects of drugs on the people who use them, the selection of media was found to be positively related to alcohol use and negatively related to marijuana use. The selection of friends, brothers, or sisters was a statistically significant source for adolescents who smoke cigarettes, use alcohol or marijuana.^ The results indicate that the anti-drug use messages received by students may be canceled out by media messages perceived to advocate substance use and that a more persuasive source of information for adolescents may be friends and siblings. As federal reports suggest that the economic costs of drug abuse will reach an estimated $150 billion by 1997 if current trends continue, prevention policy that addresses the glamorization of substance use remains a national priority. Additionally, programs that advocate prevention within the peer cluster must be supported, as peers are an influential source for both inspiring and possibly preventing drug use behavior. ^

Implementation of service -learning in higher education courses: Perceptions of faculty

This study examined the motivation of college and university faculty to implement service-learning into their traditional courses. The benefits derived by faculty, as well as those issues of maintenance, including supports and/or obstacles, were also investigated in relation to their impact on motivation. The focus was on generating theory from the emerging data. ^ Data were collected from interviews with 17 faculty teaching courses that included a component of service-learning. A maximum variation sampling of participants from six South Florida colleges and universities was utilized. Faculty participants represented a wide range of academic disciplines, faculty ranks, years of experience in teaching and using service-learning as well as gender and ethnic diversity. For data triangulation, a focus group with eight additional college faculty was conducted and documents, including course syllabi and institutional service-learning handbooks, collected during the interviews were examined. The interviews were transcribed and coded using traditional methods as well as with the assistance of the computerized assisted qualitative data analysis software, Atlas.ti. The data were organized into five major categories with themes and sub-themes emerging for each. ^ While intrinsic or personal factors along with extrinsic factors all serve to influence faculty motivation, the study's findings revealed that the primary factors influencing faculty motivation to adopt service-learning were those that were intrinsic or personal in nature. These factors included: (a) past experiences, (b) personal characteristics including the value of serving, (c) involvement with community service, (d) interactions and relationships with peers, (e) benefits to students, (f) benefits to teaching, and (g) perceived career benefits. Implications and recommendations from the study encompass suggestions for administrators in higher education institutions for supporting and encouraging faculty adoption of service-learning including a well developed infrastructure as well as incentives, particularly during the initial implementation period, rewards providing recognition for the academic nature of service-learning and support for the development of peer relationships among service-learning faculty. ^