A Methodology for Building Service-Oriented Applications in the Presence of Non-Functional Properties

This thesis presents ⇡SOD-M (Policy-based Service Oriented Development Methodology), a methodology for modeling reliable service-based applications using policies. It proposes a model driven method with: (i) a set of meta-models for representing non-functional constraints associated to service-based applications, starting from an use case model until a service composition model; (ii) a platform providing guidelines for expressing the composition and the policies; (iii) model-to-model and model-to-text transformation rules for semi-automatizing the implementation of reliable service-based applications; and (iv) an environment that implements these meta-models and rules, and enables the application of ⇡SOD-M. This thesis also presents a classification and nomenclature for non-functional requirements for developing service-oriented applications. Our approach is intended to add value to the development of service-oriented applications that have quality requirements needs. This work uses concepts from the service-oriented development, non-functional requirements design and model-driven delevopment areas to propose a solution that minimizes the problem of reliable service modeling. Some examples are developed as proof of concepts

Routine libraries for pattern recognition in quasispecies.

The results obtained through biological research usually need to be analyzed using computational tools, since manual analysis becomes unfeasible due to the complexity and size of these results. For instance, the study of quasispecies frequently demands the analysis of several, very lengthy sequences of nucleotides and amino acids. Therefore, bioinformatics tools for the study of quasispecies are constantly being developed due to different problems found by biologists. In the present study, we address the development of a software tool for the evaluation of population diversity in quasispecies. Special attention is paid to the localization of genome regions prone to changes, as well as of possible hot spots.

A program manual to assist with implementation of a volunteer health and wellness program

Based on the success of a community health and wellness program, Wellness in the City, delivered in Dallas County by trained volunteers, Texas Cooperative Extension (TCE) decided to pilot the program in 16 counties in North and East Texas. Before implementing the program, TCE wanted the Dallas County program to be reviewed and revised as needed to meet the diverse community needs in the pilot counties. TCE also asked for an implementation manual to be developed for the county agents to utilize. ^ To achieve these objectives, I first reviewed literature on other volunteer-implemented health interventions in the U.S. to see how they were planned, disseminated, implemented, and evaluated. Next, I reviewed the Wellness in the City program and materials. I applied all the information I gathered up to that point to the program development committee meetings (committee included seven TCE county agents, a TCE regional program director, and me). The program structure and training materials were revised based on our research and program implementation experience. These changes were made to ensure adequate training for the volunteers and to create a program that is applicable in the communities it will be piloted in. ^ With the program structure and training presentations developed, next I focused on compiling the implementation manual, which includes program details and volunteer recruitment, training, and management materials. The goal was to create a manual with everything the county agents will need to implement the program, so they can focus their efforts on putting the manual to use and recruiting and managing the volunteers. The final step was developing a program evaluation form for the agents to complete. It includes questions to assess the agents' thoughts about the training content, the feasibility of implementing the program using the manual, and the challenges of the program. ^

HEALTH NEEDS ASSESSMENT METHODOLOGY APPLIED TO ALBAQA REFUGEE CAMP, JORDAN

Health needs assessment is an essential step before planning for a new program or evaluating an existing program. The methodology applied follows principles that might differ from one country to another. The purpose of this study was to determine if the methodology applied to assess health needs in the developing nations, particularly Albaqa Refugee Camp in Jordan, differed from the methodology used to assess health needs in developed nations.^ In this study, a method for health needs assessment was developed using the developed countries published literature and was applied to a developing country, Jordan. However, the method did not apply exactly as expected for several reasons. Some of the problems were the incompleteness and unavailability of the health data, and its poor quality in terms of validity and reliability. Thus, some adaptations were needed and a new health needs assessment methodology specific for a particular developing country is proposed. This method depends on utilizing the primary, secondary, and tertiary data, as well as conducting surveys to collect all the data that could not be found in those data sources.^ In general, it was concluded from this study that there is a difference between methodology of a developed country's health needs assessment and a developing country's, specifically Jordan's, health needs assessment. ^

STRATEGIES FOR THE TRANSFER OF APPROPRIATE TECHNOLOGY TO DEVELOPING COUNTRIES: THE IMPLEMENTATION AND DEVELOPMENT OF ENVIRONMENTAL HEALTH PROGRAMS IN TUNISIA

This dissertation focuses on Project HOPE, an American medical aid agency, and its work in Tunisia. More specifically this is a study of the implementation strategies of those HOPE sponsored projects and programs designed to solve the problems of high morbidity and infant mortality rates due to environmentally related diarrheal and enteric diseases. Several environmental health programs and projects developed in cooperation with Tunisian counterparts are described and analyzed. These include (1) a paramedical manpower training program; (2) a national hospital sanitation and infection control program; (3) a community sewage disposal project; (4) a well reconstruction project; and (5) a solid-waste disposal project for a hospital.^ After independence, Tunisia, like many developing countries, encountered several difficulties which hindered progress toward solving basic environmental health problems and prompted a request for aid. This study discusses the need for all who work in development programs to recognize and assess those difficulties or constraints which affect the program planning process, including those latent cultural and political constraints which not only exist within the host country but within the aid agency as well. For example, failure to recognize cultural differences may adversely affect the attitudes of the host staff towards their work and towards the aid agency and its task. These factors, therefore, play a significant role in influencing program development decisions and must be taken into account in order to maximize the probability of successful outcomes.^ In 1969 Project HOPE was asked by the Tunisian government to assist the Ministry of Health in solving its health manpower problems. HOPE responded with several programs, one of which concerned the training of public health nurses, sanitary technicians, and aids at Tunisia's school of public health in Nabeul. The outcome of that program as well as the strategies used in its development are analyzed. Also, certain questions are addressed such as, what should the indicators of success be, and when is the time right to phase out?^ Another HOPE program analyzed involved hospital sanitation and infection control. Certain generic aspects of basic hospital sanitation procedures were documented and presented in the form of a process model which was later used as a "microplan" in setting up similar programs in other Tunisian hospitals. In this study the details of the "microplan" are discussed. The development of a nation-wide program without any further need of external assistance illustrated the success of HOPE's implementation strategies.^ Finally, although it is known that the high incidence of enteric disease in developing countries is due to poor environmental sanitation and poor hygiene practices, efforts by aid agencies to correct these conditions have often resulted in failure. Project HOPE's strategy was to maximize limited resources by using a systems approach to program development and by becoming actively involved in the design and implementation of environmental health projects utilizing "appropriate" technology. Three innovative projects and their implementation strategies (including technical specifications) are described.^ It is advocated that if aid agencies are to make any progress in helping developing countries basic sanitation problems, they must take an interdisciplinary approach to progrm development and play an active role in helping counterparts seek and identify appropriate technologies which are socially and economically acceptable. ^

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical. We present in a tutorial fashion a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system libraries), to generate and simplify run-time tests, and to perform high-level program transformations such as multiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, nonfailure, and bounds on resource consumption (time or space cost). CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements the described functionality, will be used to illustrate the fundamental ideas.

Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging

We discuss a framework for the application of abstract interpretation as an aid during program development, rather than in the more traditional application of program optimization. Program validation and detection of errors is first performed statically by comparing (partial) specifications written in terms of assertions against information obtained from (global) static analysis of the program. The results of this process are expressed in the user assertion language. Assertions (or parts of assertions) which cannot be checked statically are translated into run-time tests. The framework allows the use of assertions to be optional. It also allows using very general properties in assertions, beyond the predefined set understandable by the static analyzer and including properties defined by user programs. We also report briefly on an implementation of the framework. The resulting tool generates and checks assertions for Prolog, CLP(R), and CHIP/CLP(fd) programs, and integrates compile-time and run-time checking in a uniform way. The tool allows using properties such as types, modes, non-failure, determinacy, and computational cost, and can treat modules separately, performing incremental analysis.

Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging

We present a framework for the application of abstract interpretation as an aid during program development, rather than in the more traditional application of program optimization. Program validation and detection of errors is first performed statically by comparing (partial) specifications written in terms of assertions against information obtained from static analysis of the program. The results of this process are expressed in the user assertion language. Assertions (or parts of assertions) which cannot be verified statically are translated into run-time tests. The framework allows the use of assertions to be optional. It also allows using very general properties in assertions, beyond the predefined set understandable by the static analyzer and including properties defined by means of user programs. We also report briefly on an implementation of the framework. The resulting tool generates and checks assertions for Prolog, CLP(R), and CHIP/CLP(fd) programs, and integrates compile-time and run-time checking in a uniform way. The tool allows using properties such as types, modes, non-failure, determinacy, and computational cost, and can treat modules separately, performing incremental analysis. In practice, this modularity allows detecting statically bugs in user programs even if they do not contain any assertions.

Modelling spatial decisión support systems focused on the development of a data warehouse: applying software engineering

Nowadays, organizations have plenty of data stored in DB databases, which contain invaluable information. Decision Support Systems DSS provide the support needed to manage this information and planning médium and long-term ?the modus operandi? of these organizations. Despite the growing importance of these systems, most proposals do not include its total evelopment, mostly limiting itself on the development of isolated parts, which often have serious integration problems. Hence, methodologies that include models and processes that consider every factor are necessary. This paper will try to fill this void as it proposes an approach for developing spatial DSS driven by the development of their associated Data Warehouse DW, without forgetting its other components. To the end of framing the proposal different Engineering Software focus (The Software Engineering Process and Model Driven Architecture) are used, and coupling with the DB development methodology, (and both of them adapted to DW peculiarities). Finally, an example illustrates the proposal.

Modified Dialectical Behavior Therapy Program Applied Within a Time-Limited Corrections Setting

Dialectical Behavioral Therapy (DBT) is an empirically supported therapy developed to treat individuals with Borderline Personality Disorder that has sustained efficacy following completion of the treatment (Linehan, 1993; Van Den Bosch et al., 2005). The core concepts of DBT include mindfulness, interpersonal effectiveness, emotional regulation, and distress tolerance, which seek to foster more functional ways of interacting with others, coping with distress, and managing difficult emotions. Using a standard DBT format in a corrections setting can be difficult due to the population's multifaceted composition. The Denver County Jail is a unique corrections setting because it contains a unit specifically developed for male inmates with mental health issues. A corrections modified, time-limited DBT curriculum was developed to fit the needs of this unique population. During the course of the group, staff appeared to be accepting of the group material and initial feedback from inmates and officers was positive.

Report to the members of the eighty-fifth General Assembly on the wastepaper collection pilot program, Solid Waste Management Act of 1986.

Program development a cooperative effort by the Dept. of Central Management Services, the Dept. of Energy and Natural Resources, and the Governor's Office.

The effects of participation in an Internet -based project on the development of global knowledge, global mindedness, and global pedagogy among preservice social studies teachers

In order to prepare younger generations to live in a world characterized by interconnectedness, developing global and international perspectives for future teachers has been recommended by the National Council for the Social Studies and the National Council for the Accreditation of Teacher Education. The purpose of this study was to investigate the effects that participation in the International Communication and Negotiation Simulation (ICONS), an Internet-based communication project has on preservice social studies teachers' global knowledge, global mindedness, and global teaching strategies. ^ The study was conducted at a public university in South Florida. A combination of quantitative and qualitative approaches was employed. Two groups of preservice social studies teachers were chosen as participants: a control group composed of 14 preservice teachers who enrolled in a global education class in the summer semester of 1998 and an experimental group that included nine preservice teachers who took the same class in the fall semester of 1998. The summer class was conducted in a traditional format, which included lectures, classroom discussions, and student presentations. The fall class incorporated a five-week Internet-based communication project. The Global Mindedness Scale (Hett, 1993) and an adapted Test of Global Knowledge (ETS, 1981) were administered upon the completion of the class. ^ Contrasting case studies were utilized to investigate the impact of participation in the ICONS on the development of preservice teachers' global pedagogy. Four preservice teachers, two selected from each group were observed and interviewed to explore how they were infusing global perspectives into social studies curriculum and instruction during a 10-week student teaching internship in the spring semester of 1999. ^ This study had three major findings. First, preservice social studies teachers from the experimental group on average scored significantly higher than those from the control group on the global knowledge test. Second, no significant difference was found between the two groups in their mean scores on the Global Mindedness Scale. Third, all four selected preservice social studies teachers were infusing global perspectives into United States and world history curriculum and instruction during their student teaching internship. Using multiple resources was the common pedagogy. The two who participated in the ICONS were more aware of using the communication feature of the Internet and the web sites that reflect more international perspectives to facilitate teaching about the world. ^ Recommendations were made for further research and for preservice studies teacher education program development. ^

The early development and pilot -testing of a case management intervention with victims of stalking: An evaluation study

This study evaluated the early development and pilot-testing of Project IMPACT, a case management intervention for victims of stalking. The Design and Development framework (Rothman & Thomas, 1994) was used as a guide for program development and evaluation. Nine research questions examined the processes and outcomes associated with program implementation. ^ The sample included all 36 clients who participated in Project IMPACT between February of 2000 and June of 2001, as well as the victim advocates who provided them with services. Quantitative and qualitative data were drawn from client case files, participant observation field notes and interview transcriptions. Quantitative data were entered into three databases where: (1) clients were the units of analysis (n = 36), (2) services were the units of analysis (n = 1146), and (3) goals were the units of analysis (n = 149). These data were analyzed using descriptive statistics, Pearson's Chi-square, Spearman's Rho, Phi, Cramer's V, Wilcoxon's Matched Pairs Signed-Ranked Test and McNemar's Test Statistic. Qualitative data were reduced via open, axial and selective coding methods. Grounded theory and case study frameworks were utilized to analyze these data. ^ Results showed that most clients noted an improved sense of well-being and safety, although residual symptoms of trauma remained for numerous individuals. Stalkers appeared to respond to criminal and civil justice-based interventions by reducing violent and threatening behaviors; however, covert behaviors continued. The study produced findings that provided preliminary support for the use of several intervention components including support services, psycho-education, safety planning, and boundary spanning. The psycho-education and safety planning in particular seemed to help clients cognitively reframe their perceptions of the stalking experience and gain a sense of increased safety and well-being. A 65% level of satisfactory goal achievement was observed overall, although goals involving justice-based organizations were associated with lower achievement. High service usage was related to low-income clients and those lacking in social support. Numerous inconsistencies in program implementation were found to be associated with the skills and experiences of victim advocates. Thus, recommendations were made to further refine, develop and evaluate the intervention. ^

A case study on a design-informed developmental evaluation

Developmental evaluation (DE) is an evaluation approach that aims to support the development of an innovation (Patton, 1994, 2011). This aim is achieved through supporting clients’ information needs through evaluative inquiry as they work to develop and refine the innovation. While core concepts and principles are beginning to be articulated and refined, challenges remain as to how to focus a developmental evaluation beyond those knowledge frameworks most immediate to clients to support innovation development. Anchoring a DE in knowledge frameworks other than those of the clients might direct attention to issues not yet obvious to clients, but which might further the goal of supporting innovation development if attended to. Drawing concepts and practices from the field of design may be one avenue with which to inform developmental evaluation in achieving its aim. Through a case study methodology, this research seeks to understand the nuances of operationalizing the guiding principles of DE as well as to investigate the utility, feasibility, and consequences of integrating design concepts and practices into developmental evaluation (design-informed developmental evaluation, “DI-DE”). It does so by documenting the efforts of a design-informed developmental evaluator and a task force of educators and researchers in a Faculty of Education as they work to develop a graduate-level education program. A systematic review into those purposeful efforts made to introduce DI-DE thinking into task force deliberations, and an analysis into the responses and consequences of those efforts shed light on what it had meant to practice DI-DE. As a whole, this research on evaluation is intended to further contemporary thinking about the closely coupled relationship between program development and evaluation in complex and dynamic environments.