A holistic approach to model-based testing of Web service compositions

The behavior of composed Web services depends on the results of the invoked services; unexpected behavior of one of the invoked services can threat the correct execution of an entire composition. This paper proposes an event-based approach to black-box testing of Web service compositions based on event sequence graphs, which are extended by facilities to deal not only with service behavior under regular circumstances (i.e., where cooperating services are working as expected) but also with their behavior in undesirable situations (i.e., where cooperating services are not working as expected). Furthermore, the approach can be used independently of artifacts (e.g., Business Process Execution Language) or type of composition (orchestration/choreography). A large case study, based on a commercial Web application, demonstrates the feasibility of the approach and analyzes its characteristics. Test generation and execution are supported by dedicated tools. Especially, the use of an enterprise service bus for test execution is noteworthy and differs from other approaches. The results of the case study encourage to suggest that the new approach has the power to detect faults systematically, performing properly even with complex and large compositions. Copyright © 2012 John Wiley & Sons, Ltd.

Intangible resources and organization capital: measurement and economic evaluation

Intangible resources have raised the interests of scholars from different research areas due to their importance as crucial factors for firm performance; yet, contributions to this field still lack a theoretical framework. This research analyses the state-of-the-art results reached in the literature concerning intangibles, their main features and evaluation problems and models. In search for a possible theoretical framework, the research draws a kind of indirect analysis of intangibles through the theories of the firm, their critic and developments. The heterodox approaches of the evolutionary theory and resource-based view are indicated as possible frameworks. Based on this theoretical analysis, organization capital (OC) is identified, for its features, as the most important intangible for firm performance. Empirical studies on the relationship intangibles-firm performance have been sporadic and have failed to reach firm conclusions with respect to OC; in the attempt to fill this gap, the effect of OC is tested on a large sample of European firms using the Compustat Global database. OC is proxied by capitalizing an income statement item (Selling, General and Administrative expenses) that includes expenses linked to information technology, business process design, reputation enhancement and employee training. This measure of OC is employed in a cross-sectional estimation of a firm level production function - modeled with different functional specifications (Cobb-Douglas and Translog) - that measures OC contribution to firm output and profitability. Results are robust and confirm the importance of OC for firm performance.

Modelo para planificar e implantar la BPM en la Administración Pública: estudio del caso en la Administración Pública de la Comunidad Autónoma de Canarias

Programa de doctorado: Administración y dirección de empresas. La fecha de publicación es la fecha de lectura

Specification and Verification of Declarative Open Interaction Models - A Logic-based framework

The advent of distributed and heterogeneous systems has laid the foundation for the birth of new architectural paradigms, in which many separated and autonomous entities collaborate and interact to the aim of achieving complex strategic goals, impossible to be accomplished on their own. A non exhaustive list of systems targeted by such paradigms includes Business Process Management, Clinical Guidelines and Careflow Protocols, Service-Oriented and Multi-Agent Systems. It is largely recognized that engineering these systems requires novel modeling techniques. In particular, many authors are claiming that an open, declarative perspective is needed to complement the closed, procedural nature of the state of the art specification languages. For example, the ConDec language has been recently proposed to target the declarative and open specification of Business Processes, overcoming the over-specification and over-constraining issues of classical procedural approaches. On the one hand, the success of such novel modeling languages strongly depends on their usability by non-IT savvy: they must provide an appealing, intuitive graphical front-end. On the other hand, they must be prone to verification, in order to guarantee the trustworthiness and reliability of the developed model, as well as to ensure that the actual executions of the system effectively comply with it. In this dissertation, we claim that Computational Logic is a suitable framework for dealing with the specification, verification, execution, monitoring and analysis of these systems. We propose to adopt an extended version of the ConDec language for specifying interaction models with a declarative, open flavor. We show how all the (extended) ConDec constructs can be automatically translated to the CLIMB Computational Logic-based language, and illustrate how its corresponding reasoning techniques can be successfully exploited to provide support and verification capabilities along the whole life cycle of the targeted systems.

Analisi e riprogettazione dei processi aziendali: aspetti metodologici ed esperienze applicative

Il lavoro tratta l’applicazione di due progetti di Reengineering, in un caso l’obiettivo era quello di ottimizzare il processo di fatturazione passiva di un’azienda operante nel settore della ceramica, nell’altro quello di supportare un Gruppo, operante nel settore logistico, nella valutare l’opportunità di accentramento dei servizi ICT, mitigando gli impatti derivati dai possibili cambiamenti. Questo lavoro è stato preparato durante un periodo di Stage della durata di sei mesi effettuato presso la società di consulenza Revision SRL. Nella prima parte della tesi, attraverso un’analisi della letteratura di riferimento, si sono indagati i principali fattori che interagiscono in un processo di Change management, si è anche effettuato un approfondimento delle tematiche di Business Process Reengineering, i cui principi hanno guidato l’intervento effettuato. La ricerca ha teso ad evidenziare da un lato le radici e gli elementi innovativi che contraddistinguono questo approccio metodologico e dall’altro a sottolineare le possibili cause di insuccesso di un progetto di BPR. La sezione si conclude con la formalizzazione delle metodologia e degli strumenti utilizzati nella conduzione dei progetti. Nella seconda parte del lavoro, insieme alla descrizione del primo caso vengono presentate le varie fasi della riprogettazione, dalla analisi della situazione iniziale, effettuata tramite un questionario e delle interviste dirette al personale addetto, alla identificazione delle criticità, fino alla presentazione e alla valutazione delle nuove configurazioni del processo. Il lavoro è arricchito dall’analisi e dall’applicazione delle tecnologie informatiche/informative di supporto alla nuova configurazione descritta. Nella terza parte, a completamento dell’elaborato, viene presentato il secondo progetto analizzato dove, dopo una fase di analisi della situazione iniziale ancora tramite questionario ed interviste dirette, si riportano le considerazioni fatte in merito alla possibilità di accentramento dei servizi ICT del gruppo analizzato.

Don't Worry, B-Buy: E-Procurement at Bucknell

Bucknell University is piloting a centralized e-procurement system for institutional purchasing that will streamline the procurement process.

Exploring the World's Largest ERP Implementation: the Role of ERP in Strategic Alignment

As one of the largest and most complex organizations in the world, the Department of Defense (DoD) faces many challenges in solving its well-documented financial and related business operations and system problems. The DoD is in the process of implementing modern multifunction enterprise resource planning (ERP) systems to replace many of its outdated legacy systems. This paper explores the ERP implementations of the DoD and seeks to determine the impact of the ERP implementations on the alignment of the DoD’s business and IT strategy. A brief overview of the alignment literature and background on ERP are followed by case study analysis of the DoD ERP development and current implementation status. Lastly, the paper explores the current successes and failures of the ERP implementation and the impact on the DoD’s goal of strategic alignment.

The Web KnowARR Framework: Orchestrating Computational Intelligence with Graph Databases

This chapter presents fuzzy cognitive maps (FCM) as a vehicle for Web knowledge aggregation, representation, and reasoning. The corresponding Web KnowARR framework incorporates findings from fuzzy logic. To this end, a first emphasis is particularly on the Web KnowARR framework along with a stakeholder management use case to illustrate the framework’s usefulness as a second focal point. This management form is to help projects to acceptance and assertiveness where claims for company decisions are actively involved in the management process. Stakeholder maps visually (re-) present these claims. On one hand, they resort to non-public content and on the other they resort to content that is available to the public (mostly on the Web). The Semantic Web offers opportunities not only to present public content descriptively but also to show relationships. The proposed framework can serve as the basis for the public content of stakeholder maps.

Heuristic decomposition and LP-based scheduling in make-and-pack production

In this paper, we are concerned about the short-term scheduling of industrial make-and-pack production processes. The planning problem consists in minimizing the production makespan while meeting given end-product demands. Sequence-dependent changeover times, multi-purpose storage units with finite capacities, quarantine times, batch splitting, partial equipment connectivity, material transfer times, and a large number of operations contribute to the complexity of the problem. Known MILP formulations cover all technological constraints of such production processes, but only small problem instances can be solved in reasonable CPU times. In this paper, we develop a heuristic in order to tackle large instances. Under this heuristic, groups of batches are scheduled iteratively using a novel MILP formulation; the assignment of the batches to the groups and the scheduling sequence of the groups are determined using a priority rule. We demonstrate the applicability by means of a real-world production process.

Professionalisation of sport federations. A multi-level framework for analysing forms, causes and consequences

Research question: International and national sport federations as well as their member organisations (usually sport clubs) are key actors within the sport system and have a wide range of relationships outside the sport system (e.g. with the state, sponsors, and the media). They are currently facing major challenges such as growing competition in top-level sports, democratisation of sports with “sports for all” and sports as the answer to social problems (integration, education, health, unemployment, etc.). In this context, professionalising sport organisations seems to be an appropriate strategy to face these challenges and solve current problems. We define the professionalisation of sport organisations as an organisational process of transformation leading towards organisational rationalisation, efficiency and business-like management. This has led to a profound organisational change, particularly within sport federations, characterised by the strengthening of institutional management (managerialism) and the implementation of efficiency-based management instruments and paid staff. Research methods: The goal of this article is to review the international literature and establish a global understanding of and theoretical framework for how sport organisations professionalise and what consequences this may have. Results and Findings: Our multi-level approach based on the social theory of action integrates the current concepts for analysing professionalisation in sport federations. We specify the framework for the following research perspectives: (1) forms, (2) causes and (3) consequences, and discuss the reciprocal relations between sport federations and their member organisations in this context. Implications: Finally, we derive general methodological consequences for the investigation of professionalisation processes in sport organisations.

Professionalisation of sport federations – A multi-level framework for analysing forms, causes and consequences

Research question: International and national sport federations as well as their member organisations are key actors within the sport system and have a wide range of relationships outside the sport system (e.g. with the state, sponsors, and the media). They are currently facing major challenges such as growing competition in top-level sports, democratisation of sports with ‘sports for all’ and sports as the answer to social problems. In this context, professionalising sport organisations seems to be an appropriate strategy to face these challenges and current problems. We define the professionalisation of sport organisations as an organisational process of transformation leading towards organisational rationalisation, efficiency and business-like management. This has led to a profound organisational change, particularly within sport federations, characterised by the strengthening of institutional management (managerialism) and the implementation of efficiency-based management instruments and paid staff. Research methods: The goal of this article is to review the current international literature and establish a global understanding of and theoretical framework for analysing why and how sport organisations professionalise and what consequences this may have. Results and findings: Our multi-level approach based on the social theory of action integrates the current concepts for analysing professionalisation in sport federations. We specify the framework for the following research perspectives: (1) forms, (2) causes and (3) consequences, and discuss the reciprocal relations between sport federations and their member organisations in this context. Implications: Finally, we work out a research agenda and derive general methodological consequences for the investigation of professionalisation processes in sport organisations.

Production Streamlining through Design, Implementation, and Analysis of Lean Manufacturing Methods

Through the correct implementation of lean manufacturing methods, a company can greatly improve their business. Over a period of three months at TTM Technologies, I utilized my knowledge to fix existing problems ans streamline production. In addition, other trouble areas in their production process were discovered and proper lean methods were used to address them. TTM Technologies saw many changed in the right direction over this time period.

Get ur 60: A social marketing campaign to promote and facilitate physical activity among Central Texas middle school students

If allowed to continue unabated, the obesity epidemic may lead to the first decline in life expectancy in the developed world (Olshansky et al., 2005). Similar to the relationship between smoking habits in youth and adulthood, obesogenic dietary and physical activity habits in childhood may persist into adulthood (Kelder et al., 2002). Teaching children how to establish healthy eating habits and activity levels, as well as providing them the necessary resources to internalize and maintain these behaviors, may be the key to curbing this epidemic.^ A school-based obesity prevention approach is advantageous for many reasons including exposure to large captive audiences, reduced costs of sustainability and long-term maintenance, and generalizability of models and results across multiple populations. The effectiveness of school-based programs has been researched over the past 20 years, with promising results.^ Social marketing is a program-planning process that “facilitates the acceptance, rejection, modification, abandonment, or maintenance of particular behaviors” (Grier & Bryant, 2005). Social marketing has been shown to be effective in a variety of public health applications including improving diet, increasing physical activity, and preventing substance abuse. It is hypothesized that social marketing could further enhance the effectiveness of the Coordinated Approach To Child Health (CATCH) Central Texas Middle School Project, a school-based obesity prevention program.^ The development, implementation, and initial evaluation of the get ur 60 campaign, to promote the Center for Disease Control and Prevention (CDC) recommended sixty minutes of daily activity, is described in this paper. Various components of the get ur 60 campaign were assessed to evaluate the effectiveness of the campaign during the first semester of implementation. At the end of the spring semester focus groups were held to collect student reactions to the first semester of the get ur 60 campaign.^ The initial results from the first semester of get ur 60 have demonstrated that the campaign as designed was feasible to implement, accepted at all intervention schools, and resulted in a measure of success. ^

Standardization of data collection for the Lifetime Surveillance of Astronaut Health (LSAH)

Problems due to the lack of data standardization and data management have lead to work inefficiencies for the staff working with the vision data for the Lifetime Surveillance of Astronaut Health. Data has been collected over 50 years in a variety of manners and then entered into a software. The lack of communication between the electronic health record (EHR) form designer, epidemiologists, and optometrists has led to some level to confusion on the capability of the EHR system and how its forms can be designed to fit all the needs of the relevant parties. EHR form customizations or form redesigns were found to be critical for using NASA's EHR system in the most beneficial way for its patients, optometrists, and epidemiologists. In order to implement a protocol, data being collected was examined to find the differences in data collection methods. Changes were implemented through the establishment of a process improvement team (PIT). Based on the findings of the PIT, suggestions have been made to improve the current EHR system. If the suggestions are implemented correctly, this will not only improve efficiency of the staff at NASA and its contractors, but set guidelines for changes in other forms such as the vision exam forms. Because NASA is at the forefront of such research and health surveillance the impact of this management change could have a drastic improvement on the collection of and adaptability of the EHR. Accurate data collection from this 50+ year study is ongoing and is going to help current and future generations understand the implications of space flight on human health. It is imperative that the vast amount of information is documented correctly.^

Academic medical centers: A framework for strategic repositioning

This study sought to understand the elements affecting the success or failure of strategic repositioning efforts by academic medical centers (AMC). The research question was: What specific elements in the process appear to be most important in determining the success or failure of an AMC.s strategic repositioning? Where success is based on the longterm sustainability of the new position.^ "An organization's strategic position is its perceptual location relative to others" (Gershon, 2003). Hence, strategic repositioning represents a shift from one strategic position within an environment to another (H. Mintzberg, 1987a). A deteriorating value proposition coupled with an unsustainable national health care financing system is forcing AMCs to change their strategic position. Where the value proposition is defined as the health outcome per dollar spent. ^ AMCs are of foundational importance to our health care system. They educate our new physicians, generate significant scientific breakthroughs, and care for our most difficult patients. Yet, their strategic, financial and business acumen leaves them particularly vulnerable in a changing environment. ^ After a literature review revealed limited writing on this subject, the research question was addressed using three separate but parallel exploratory case study inquiries of AMCs that recently underwent a strategic repositioning. Participating in the case studies were the Baylor College of Medicine, the University of Texas M. D. Anderson Cancer Center, and the University of Texas Medical Branch.^ Each case study consisted of two major research segments; a thorough documentation review followed by semi-structured interviews of selected members of their governance board, executive and faculty leadership teams. While each case study.s circumstances varied, their response to the research question, as extracted through thematic coding and analysis of the interviews, had a high degree of commonality.^ The results identified managing the strategic risk surrounding the repositioning and leadership accountability as the two foundational elements of success or failure. Metrics and communication were important process elements. They both play a major role in managing the strategic repositioning risk communication loop. Sustainability, the final element, was the outcome sought.^ Factors leading to strategic repositioning included both internal and external pressures and were primarily financial or mission based. Timing was an important consideration as was the selection of the strategic repositioning endpoint.^ In conclusion, a framework for the strategic repositioning of AMCs was offered that integrates the findings of this study; the elements of success, the factors leading to strategic repositioning, and the risk communication loop. ^