An efficient necessary condition for compatibility
نویسندگان
چکیده
Composing services makes sense only if they are compatible, i.e. composition does not lead to problems such as livelocks or deadlocks. In general, compatibility can be checked using state space explorations on any kind of formal models of services. Petri nets, one of the formal models in use, offer a rich theory for reasoning without exploring a state space. Among the techniques is the so-called state equation which forms a linear algebraic necessary condition for reachability of states. In this article, we show how the state equation can be applied for a necessary condition for compatibility. This way, the number of expensive state space based compatibility checks can be drastically reduced. The condition can be applied even if compatibility is achieved through the construction of a behavioral adapter (mediator).
منابع مشابه
A necessary condition for multiple objective fractional programming
In this paper, we establish a proof for a necessary condition for multiple objective fractional programming. In order to derive the set of necessary conditions, we employ an equivalent parametric problem. Also, we present the related semi parametric model.
متن کاملA Necessary Condition and a Sufficient Condition for Pairwise Compatibility Graphs
In this paper we give a necessary condition and a sufficient condition for a graph to be a pairwise compatibility graph (PCG). Let G be a graph and let Gc be the complement of G. We show that if Gc has two disjoint chordless cycles then G is not a PCG. On the other hand, if Gc has no cycle then G is a PCG. Our conditions are the first necessary condition and the first sufficient condition for p...
متن کاملAn Efficient Strain Based Cylindrical Shell Finite Element
The need for compatibility between degrees of freedom of various elements is a major problem encountered in practice during the modeling of complex structures; the problem is generally solved by an additional rotational degree of freedom [1-3]. This present paper investigates possible improvements to the performances of strain based cylindrical shell finite element [4] by introducing an additio...
متن کاملHydrostatic equilibrium of causally consistent and dynamically stable neutron star models
We show that the mass-radius (M −R) relation corresponding to the stiffest equation of state (EOS) does not provide the necessary and sufficient condition of dynamical stability for the equilibrium configurations, since such configurations can not satisfy the ‘compatibility criterion’. In this connection, we construct sequences composed of core-envelope models such that, like the stiffest EOS, ...
متن کاملCharacterization of Properly Efficient Solutions for Convex Multiobjective Programming with Nondifferentiable vanishing constraints
This paper studies the convex multiobjective optimization problem with vanishing constraints. We introduce a new constraint qualification for these problems, and then a necessary optimality condition for properly efficient solutions is presented. Finally by imposing some assumptions, we show that our necessary condition is also sufficient for proper efficiency. Our results are formula...
متن کامل