Inherent Causal Orderings of Partial Order Scenarios
نویسنده
چکیده
Scenario based requirements specifications are the industry norm for defining communication protocols. Basic scenarios captured as UML sequence diagrams, Message Sequence Charts (MSCs) or Live Sequence Charts (LSC) have partial order semantics that characterize system traces by restricting the possible order of events within those traces. The semantic partial order of the scenario specification is called the causal ordering. Semantic inconsistencies often occur in partial order scenarios between the specified causal ordering and the order that events can occur in practice. Such inconsistencies are known as race conditions. The paper proves that there is a unique race free partial order that is a minimal weakening of the causal ordering. In other words, there is a canonical generalization of the requirements that corrects all race conditions. Hence any race free generalization of the original scenario is in fact a generalization of the canonical scenario. The paper also proves the dual result, there is a unique race free partial order that is a minimal strengthening of the causal order. I.e. there is a canonical refinement of the requirements that corrects all race conditions.
منابع مشابه
Rapide: A language and toolset for simulation of distributed systems by partial orderings of events
This paper describes the Rapide concepts of system architecture, causal event simulation, and some of the tools for viewing and analysis of causal event simulations. Illustration of the language and tools is given by a detailed small example.
متن کاملCoordination for Synchronous Cooperative Systems Based on Fuzzy Causal Relations
Synchronous cooperative systems (SCS) bring together users that are geographically distributed and connected through a network to carry out a task. Examples of SCS include TeleImmersion and Tele-Conferences. In SCS, the coordination is the core of the system, and it has been defined as the act of managing interdependencies between activities performed to achieve a goal. Some of the main problem...
متن کاملPartial Order and Rank Range Runs for Compositional Complexes in Landscape Ecology and Image Analysis, with Applications to Restoration, Remediation, and Enhancement
Present purpose is to provide convenient computational capability and visualizations for progressive/partial prioritization based largely in concepts of partial ordering and implemented in R as illustrated in a context of conservation and sustainable stewardship across landscapes with ecosystem services as a complex multidimensional domain that must be placed in public and private perspective i...
متن کاملCoordination for Synchronous Cooperative Systems Based on Fuzzy Causal Relations Luis
Synchronous cooperative systems (SCS) bring together users that are geographically distributed and connected through a network to carry out a task. Examples of SCS include TeleImmersion and Tele-Conferences. In SCS, the coordination is the core of the system, and it has been defined as the act of managing interdependencies between activities performed to achieve a goal. Some of the main problem...
متن کاملSome New Results on Stochastic Orderings between Generalized Order Statistics
In this paper we specify the conditions on the parameters of pairs of gOS’s under which the corresponding generalized order statistics are ordered according to usual stochastic ordering, hazard rate ordering, likelihood ratio ordering and dispersive ordering. We consider this problem in one-sample as well as two-sample problems. We show that some of the results obtained by Franco et al. ...
متن کامل