An illustrative recovery approach for stateful interaction failures of orchestrated processes

During a stateful interaction, a partner service may become unavailable because of a server crash or a temporary network failure. Once the failed service becomes available again, the interaction partners do not have any knowledge about each other’s state, possibly resulting in errors or deadlocks. This paper proposes an approach to the recovery of stateful interactions based on service interaction patterns and process transformations. Our recovery approach works without a central management node and without additional communication protocols. We also minimize the changes to the description of the service supported by the recovery-enabled process. Our approach allows one partner process to be modified in order to support failures in a way that interaction with the other (unchanged) processes is still possible

Discovery and composition of web services using artificial intelligence planning and web service modeling ontology

In today’s Web environment, Web services are the preferred standards-based way to realize Service Oriented Architecture (SOA) computing. A problem that has become one of the recent critical issues is automated discovery and composition of Semantic Web services. A number of approaches have been presented to solve the problem. However, most of these approaches only consider discovery or composition of Web services but not both. In this study, an effective approach called AIMO, based on Artificial Intelligence (AI) planning, Web Service Modeling Ontology (WSMO), and Semantic Web has been proposed to tackle the problem. The main purpose of this study is to investigate and develop a novel approach for automated Web service discovery and composition. In this case, a comparative evaluation of state-of-the-art approaches for Web service composition approaches has been done and the strengths and weaknesses of those approaches have been discussed. Moreover a translator for interaction between WSMO and AI-planning based on Description Logics has been proposed. In addition, some parts of AIMO architecture have been tested on a practical case study, and the results based on the experimental validation demonstrate that AIMO provides an effective and applicable solution. AIMO continues to support loose coupling paradigm of SOA by separating the discovery from the composition of Web services

Outside Evaluation of Conecticut\u27s Family Resource Centers : Final report

In 193, the Connecticut State Department of Education received federal support for the activities of nine existing Family Resource Centers (FRC) and for funding new FRCs. The FRCs were based on the premise that many childhood and adolescent problems can be prevented by strengthening effective family management practices and establishing a continuum of child care and support services linked to public schools or located in public school buildings. This report details the evaluation of the 18 school-based/linked FRCs, describing their structure and contexts, examining evidence of service use, and presenting information on the effects of the FRCs on families and schools. Chapter 1 presents the service delivery model, describes the core services, and describes the evaluation plan. Chapters 2 through 5 summarize findings related to the following areas: (1) structure of core services, service delivery, financial supports, and staffing characteristics; (2) processes used to deliver services in a school-based/linked setting, including collaborative arrangements; (3) use of FRC services; (4) impacts of FRCs on families and children; and (5) impact of FRCs on schools. Chapter 6 discuses the patterns observed that reflect the implementation of the FRC service delivery model and implications for delivering comprehensive integrated services to families. This chapter also presents recommendations for sustaining the school-based/linked delivery model of the FRCs at meaningful levels. Chapter 7 presents profiles of the 18 FRCs, including their setting, service delivery arrangements, primary collaborative arrangements, and the school relationship. Nine appendices include a description of the Evaluation Support System and data collection instruments. (KB

An Optimal Medium Access Control with Partial Observations for Sensor Networks

We consider medium access control (MAC) in multihop sensor networks, where only partial information about the shared medium is available to the transmitter. We model our setting as a queuing problem in which the service rate of a queue is a function of a partially observed Markov chain representing the available bandwidth, and in which the arrivals are controlled based on the partial observations so as to keep the system in a desirable mildly unstable regime. The optimal controller for this problem satisfies a separation property: we first compute a probability measure on the state space of the chain, namely the information state, then use this measure as the new state on which the control decisions are based. We give a formal description of the system considered and of its dynamics, we formalize and solve an optimal control problem, and we show numerical simulations to illustrate with concrete examples properties of the optimal control law. We show how the ergodic behavior of our queuing model is characterized by an invariant measure over all possible information states, and we construct that measure. Our results can be specifically applied for designing efficient and stable algorithms for medium access control in multiple-accessed systems, in particular for sensor networks

TESTING OF MICROPROCESSORS

With the growing use of the microprocessors the problematics of testing become more and more important for the reliability of the instrumentation. The paper gives a survey of the usual strategies and methods for CPU testing in microprocessor controlled equipment. The effects of the state-of-the-art field service methods on the self-test technology are discussed. Description of a new algorithm based on information compression is given together with some related realization experiences

SYSTEMATIC BORDER CONTROL ON ROAD BCP – CHALLENGES OF SERVICE ORGANIZATION

The authors of this article describe the current situation in the service organization of the road border crossing points of the State Border Guard (SBG) of the Republic of Latvia. There are summarized the information based about the legal acts regulating the systematic border control in the international and national legislation and the essence of their execution. There are analysed the use of human resources and possible solutions at the border crossing points and are provided comparative description of the border control points, emphasizing positive and negative features, and also the need for different approaches to service organization by organizing effective systematic border control

I criminalisti dello Stato pontificio in età barocca. Una ricerca in corso

The paper presents the first results of in-depth research focusing on judges of the criminal courts in Papal State during the first half of the Seventeenth Century, with the aim to reflect, from this particular point of view, on the administration of justice in the old regime and its relationship with legal science. The analysis is based on judges of the governor’s tribunal in Rome and provides a description of their career in various criminal courts in the State and in other Italian states and different kinds of jurisdiction, and aims at assessing the relevant organization, recruitment areas and the dialectics of interests underlying the involvement of families in service and loyalty to the sovereign-pontiff

INFRAWEBS BPEL-Based Editor for Creating the Semantic Web Services Description

INFRAWEBS project [INFRAWEBS] considers usage of semantics for the complete lifecycle of Semantic Web processes, which represent complex interactions between Semantic Web Services. One of the main initiatives in the Semantic Web is WSMO framework, aiming at describing the various aspects related to Semantic Web Services in order to enable the automation of Web Service discovery, composition, interoperation and invocation. In the paper the conceptual architecture for BPEL-based INFRAWEBS editor is proposed that is intended to construct a part of WSMO descriptions of the Semantic Web Services. The semantic description of Web Services has to cover Data, Functional, Execution and QoS semantics. The representation of Functional semantics can be achieved by adding the service functionality to the process description. The architecture relies on a functional (operational) semantics of the Business Process Execution Language for Web Services (BPEL4WS) and uses abstract state machine (ASM) paradigm. This allows describing the dynamic properties of the process descriptions in terms of partially ordered transition rules and transforming them to WSMO framework

PEMAHAMAN DAN HARMONISASI KONSEP-KONSEP STANDAR PELAYANAN MINIMAL DESA TERHADAP APARATUR DESA ADINUSO KECAMATAN REBAN KABUPATEN BATANG

This study aims to provide a description of the understanding and harmonization of the concepts of village minimum service standards according to the Republic of Indonesia's Minister of Home Affairs Regulation Number 2 of 2017 to the apparatus of the Adinuso Village, Reban District, Batang Regency. This research is based on community service in Adinuso Village, Reban District, Batang Regency from January to February 2020. In this study, the approach used is a combination of qualitative and quantitative. A qualitative approach is used to describe how the process provides understanding and harmonization of the concepts of village minimum service standards according to the Republic of Indonesia's Minister of Home Affairs Regulation Number 2 of 2017 to the Adinuso Village apparatus, Reban District, Batang Regency, while the quantitative approach used is hypothesis testing of the signs used to analyze service standards village before and after community service is carried out. Meanwhile, in order to ascertain whether or not there is a change in the state of public service standards, before and after treatment (before and after treatment research design) a hypothesis testing method is used for changes using the Mac Nemar change test. The conclusions of this study are (1) that the community service carried out can improve the service standards of the Village Government community, (2) that there has been a change in the standard state of community service in the Adinuso Village Government, Reban District, Batang Regency after community service