To verify fixed-time constraints in grid workflow systems, the consistency and the inconsistency conditions have been defined in the conventional verification work. However, with a view of the run-time uncertainty of the activity completion duration, we argue that although the conventional consistency condition is fine, the conventional inconsistency condition is too rigorous and covers several...

Measuring inconsistency in knowledge bases has been recognized as an important problem in several research areas. Many methods have been proposed to solve this problem and a main class of them is based on some kind of paraconsistent semantics. However, existing methods suffer from two limitations: 1) They are mostly restricted to propositional knowledge bases; 2) Very few of them discuss comput...

The combination of static and dynamic aspects in modeling complex organizational domains is a challenging task that has led to study the combination of formalisms from knowledge representation, database theory, and process management [18,23,11]. Specifically, Knowledge and Action Bases (KABs) [3] have been put forward recently to provide a semantically rich representation of a domain. In KABs, ...

This paper investigates the effects of members’ exits from a currency union on credibility common currency. In our model, inflation rate is determined by majority voting among N member countries that are heterogeneous with respect to their output shocks. Once an has been selected, each decides whether remain in or not. If exit, it pay fixed social cost and individually chooses its Unlike previo...

To verify fixed-time constraints in grid workflow systems, the consistency and inconsistency conditions have been defined in the conventional work. However, in this paper, we argue that although the conventional consistency condition is reasonable, the conventional inconsistency condition is too rigorous and covers several different situations. These situations which are handled conventionally ...