Interacting services are at the center of attention in businessto-business (B2B) process integration scenarios. Global interaction models specify the interaction behavior of each service and serve as contractual basis for the collaboration. Consequently, service implementations have to be consistent with the specifications. Consistency checking ensures that an implemented service is compatible ...

Mutations in mitochondrial genome have epistatic effects on organisms depending on the nuclear background, but a role for the compatibility of mitochondrial-nuclear genomes (mit-n) in the quantitative nature of a complex trait remains unexplored. We studied a panel of recombinant inbred advanced intercrossed lines (RIAILs) of C. elegans that were established from a cross between the N2 and HW s...

We investigate languages recognized by well structured transition systems (WSTS) with upward (resp. downward) compatibility. We show that under mild assumptions every two disjoint WSTS languages are regular separable, i.e., there exists a regular language containing one of them and disjoint from the other. In particular, if a language, as well as its complement, are both recognized by a WSTS, t...

Romaiguère, Hasbroucq, Possamaï, and Seal (1993) reported a new compatibility effect from a task that required responses of two different target force levels to stimuli of two different intensities. Reaction times were shorter when high and low stimulus intensities were mapped to strong and weak force presses respectively than when this mapping was reversed. We conducted six experiments to refi...

Web service composition has become the optimum technique for Service Oriented Architecture applications because it provides a way to obtain value-added services by combining several Web services. One key issue is that service composition must meet user’s deadline requirements. In this paper we focus our attention on modeling and analyzing time-related properties in service composition. A model ...

We construct a ‘weak’ version EMw(K ) of Lack & Street’s 2-category of monads in a 2-category K , by replacing their compatibility constraint of 1-cells with the units of monads by an additional condition on the 2-cells. A relation between monads in EMw(K ) and composite pre-monads in K is discussed. If K admits Eilenberg-Moore constructions for monads, we define two symmetrical notions of ‘wea...

Every theory of information, including classical and quantum, can be studied in the framework operational probabilistic theories--where notion test generalizes that quantum instrument, namely a collection operations summing to channel, simple rules are given for composition tests parallel sequence. Here we study compatibility an theory. Following literature, first introduce strong compatibility...

Atypical hemolytic uremic syndrome (aHUS) is a rare, but severe thrombotic microangiopathy. In roughly two thirds of the patients, mutations in complement genes lead to uncontrolled activation of the complement system against self cells. Recently, aHUS patients were described with deficiency of the fibrinolytic protein plasminogen. This zymogen and its protease form plasmin have both been shown...

Typically, a stochastic model relates stochastic “inputs” and, perhaps, controls to stochastic “outputs”. A general version of the Yamada-Watanabe and Engelbert theorems relating existence and uniqueness of weak and strong solutions of stochastic equations is given in this context. A notion of compatibility between inputs and outputs is critical in relating the general result to its classical f...