Behavior Compatibility Research Articles

IWSN: A novel method for modeling the interaction of web services

As the most notable implementation of service-oriented architectures, web services has brought some challenging research issues, one of which is the composition. Correct interaction among web services is the prerequisite of their successful composition. In this paper, we propose a novel approach to model dynamic interactive behavior of web services, aiming to effectively take advantage of the flexibility of service composition technology and guarantee the behavior compatibility of web services and further to facilitate the application of web service composition in healthcare field. An interaction model of web services based on Kahn process network (KPN) is presented in this paper, which is a data-flow and channel-based model supporting parallel and cooperative computation. Formal behavioral semantics of this model is defined by Pi-calculus process algebra and formal properties of the proposed model are discussed. An application case is demonstrated to illustrate how the proposed model can be applied to describe services behavior and their interaction. The reachability analysis of the application case is performed based on modal -calculus. How the supporting tool, i.e. CWB-NC, can be utilized to verify the properties we anticipate is presented.

Pengaruh Kegunaan, Kesesuaian, Keuntungan Relatif, Motivasi Hedonik Dan Risiko Yang Dirasakan Terhadap Penggunaan Mobile Banking Bank Mandiri SurabayaYang Dimediasi Niat Perilaku Nasabah

Mobile banking, as a banking service, has been popular in a couple of years. In Indonesia, many banks have already this kind of service. The study aims to examine the influence of perceived usefulness, compatibility, relative advantage, hedonic motivation, and perceived risk on customer’s behaviour intention to use mobile-banking of Bank Mandiri in Surabaya. In this research, the data were collected by questionnaires distributed to 125 respondens, using Mandiri mobile-banking. They were selected based on judgement sampling. The data were analyzed using partial least square. It shows that perceived usefulness and relative advantage have a positive effect on behavior intention, but compatibility and hedonic motivation has not. Besides that, perceived risk has negatif effect on the intention to use mobile banking service.

Mechanical, thermal and melt flow of aluminum-reinforced PA6/ABS blend feedstock filament for fused deposition modeling

PurposeThis study aims to highlights the mechanical, thermal and melting behavior compatibility of aluminum (Al)-reinforced polyamide (PA) 6/acrylonitrile butadiene styrene (ABS)-based functional prototypes prepared using fused deposition modeling (FDM) from the friction welding point of view. Previous studies have highlighted the use of metallic/non-metallic fillers in polymer matrix for preparations of mechanically improved FDM feedstock filaments and functional prototypes. But hitherto, very less has been reported on fabrication of functional prototypes which fulfill the compatibility of two polymers for joining/welding-based applications. The compatibility of two dissimilar polymers enables the friction welding for maintenance applications.Design/methodology/approachThe twin screw extrusion process has been used for mechanical mixing of metallic reinforcement in polymer matrix, and final blend of reinforced polymers in the form of extruded feed stock filament has been used on FDM for printing of functional prototypes (for friction welding). The methodology involves melt flow index (MFI) investigations, differential scanning calorimetry (DSC) investigations for thermal properties, tensile and hardness testing for mechanical properties and photo micrographic investigations for metallurgical properties on extruded samples.FindingsIt was observed that the reinforced ABS and PA6 polymers have better compatibility in the terms of similar melt flow, thermal properties and can lead to the better joint efficiency with friction welding.Originality/valueIn the present work composite feed stock filament composed of ABS and PA6 with reinforcement of Al powder has been successfully developed for preparation of functional prototype in friction welding applications.

Research on Probabilistic Model based Services Composition Compatibility Focusing on Structural Behaviors Modeling

With the increasing of Web services on Internet, services composition requests considering not only the static information compatibility, such as interface grammar and semantic, but also the structural behavior compatibility, i.e., control flow and communication protocol. However, due to the uncertainty of Internet, application failures occurred in service-based software will cause kinds of economic losses. This stochastic phenomenon has been impacted on the structural behavior which makes services composition should take the probabilistic compatibility into account. The probabilistic compatibility needs to compute the degree of compatibility for the effective performance evaluation, which has been an important issue during services collaboration. In this paper, the probabilistic interface automaton is proposed to formalize service behaviors. Then, the synchronized product model is used to the qualitative checking for verifying whether they can interact with each other or not. Third, the probabilistic compatibilities of composite service and component service are discussed for the quantitative computing. Our method provides a reference to generate the correctness and reliable services composition.

Mechanical behavior and blood compatibility of copper-containing films as potential biomaterials

Surface modification is one approach to enhance the biocompatibility of implanted cardiovascular devices. In this work, a copper-containing film used to blood contacted biomaterials was prepared by vacuum arc deposition. The phase composition of the films was investigated via X-ray diffraction, and the adherence strength of the films was evaluated with conventional deformation tests. Blood compatibility of the films was characterized by hemolysis ratio, clotting time and platelet adhesion etc. The surface of inferior vena cava filters were smooth and uniform, no cracks or delaminations were observed on the deformed surface. These results indicate that the mechanical behavior of the films is suitable for withstanding deformation stresses as operation in clinic. Good blood compatibility of the copper-containing films was identified through experiment in vitro, the activated partial thromboplastin times (APTTs) of Cu/Ti films were similar to that of the uncoated substrate, and Cu/Ti films were also found to inhibit platelet adhesion comparing to the nitinol substrate. However, with increasing ratio of Cu/Ti, the hemolysis ratio increased, resulting in platelet damage. These results indicate that the copper-containing film has potential application on blood contacted devices.

Maximally Permissive Distributed Control of Large Scale Automated Manufacturing Systems Modeled With Petri Nets

Ensuring nonblockingness remains challenging for automated manufacturing systems (AMSs) owing to their discrete event dynamics. Both scalability and maximal permissiveness are essential for the synthesis and implementation of their centralized supervisors. Inspired by the divide and conquer philosophy, this brief proposes a partition methodology and distributed control technique for large-scale AMSs. They are represented as interconnected and overlapping subsystems sharing some common components in terms of buffers. For each subsystem, a local supervisor is designed based on its local behavior and neighboring information only. Generalizing the existing results, we develop a condition under which the control law via decomposition promises the maximal permissiveness. Buffer capacities are well designed for the sake of their decomposition into multiple overlapping subsystems. Theoretical results are developed to characterize the behavior compatibility among local controllers. An experimental study illustrates the effectiveness of the proposed method.

Analyzing the Consistency of Business Process based on Behavior Petri Net

Analyzing the consistency is the important part of business process management (BPM). Existing researches only consider the structural consistency of process model, or analyzing the single data. However, sometimes, the model is consistency without considering data in real life, while it is inconsistency after analyzing control and data. In this paper, based on the labeled behavioral Petri net, considering the change of data, the control flow and data flow of business process model is established from the perspective of partner process, and then obtains the interactive process model by interacting them. In the end, according behavior profile and behavior mapping, the behavior vector of the mapping transitions is given to calculate the behavioral distance vector and gets the behavior compatibility between the corresponding process models. If all behavior compatibilities can close to 1, BPM is consistency, and vice versa. In addition, it is proven that the method is valid by analyzing the theory and example.

Behavioral Compatibility Analysis of Component-based Real-time System

For verification of component behavior compatibility in component-based real-time system, we make use of the timed automata to formally describe the component. In this way, the problem of component behavior compatibility is equivalent to whether the complementary actions can really synchronize over common channels on the system’s TA models. We then use the verification function of UPPAAL to automatically generate result, and finally conduct a case study to demonstrate how our technique works.

Component Dynamic Behavioral Compatibility Analysis of ScudWare Middleware for Ubiquitous Computing

In ubiquitous computing environments, the software component dynamic behavior and its compatibility analysis are two important issues in middleware dynamic adaptation. In this paper, we firstly present an adaptive middleware architecture called ScudWare for a smart vehicle space. Then a semantic component model is given in detail. Next, for ScudWare middleware, we propose a semantic component dynamic behavior formalization and component behavior compatibility verification based on the higher-order ¼ calculus. Next, a case study is given to evaluate our model and methods. Finally, we draw a conclusion and give our next work.

The Influence of Interpersonal Relationships on Group Decision Making

The study investigated relationships among compatibility, decision making structure, and work group performance. Twenty-four groups in two different decision-making conditions participated in the National Aeronautics and Space Administration (NASA) Decision Game. Signifi cant interaction effects between compatibility and decision-making structure point to further refinement of the Fundamental Interpersonal Orientation Behavior (FIRO-B) compatibility postulate. Richard D. Heimovics and David Zemelman are Assistant Professors of Organizational Behavior in the School of Administration, University of Missouri — Kansas City.

Compatibility, Decision Making Structure and Workgroup Performance.

The study investigated relationships among compatibility, decision making structure and workgroup performance. Twenty-four groups in two different decision making conditions participated in the NASA Decision Game. Significant interaction effects between compatibility and decision making structure point to further refinement of the Fundamental Interpersonal Orientation Behavior (FIRO-B) compatibility postulate.

The Influence of Teacher Behavior and Dyad Compatibility on Clinical Gains in Arithmetic Tutoring

This study focused on the independent and combined influence of teacher facilitative behavior (accurate empathy, interpersonal respect) and interpersonal compatibility between teacher and student on selected educational outcomes in a clinical tutoring program for students diagnosed as having learning difficulties in arithmetic concepts and principles. The Ss were 20 teachers and 40 students drawn from a larger pool of teachers and students. In general, the results of ANOVA procedures failed to support several relationships between teacher facilitative behavior and interpersonal compatibility and many of the dependent dimensions of interest. The discussion section offers alternate explanations and suggestions for subsequent research.

The Influence of Teacher Behavior and Dyad Compatibility on Clinical Gains in Arithmetic Tutoring

The Influence of Teacher Behavior and Dyad Compatibility on Clinical Gains in Arithmetic Tutoring