The Meaning of Ordered SOS
نویسندگان
چکیده
Structured Operational Semantics (SOS) is a popular method for defining semantics by means of deduction rules. An important feature of deduction rules, or simply SOS rules, are negative premises, which are crucial in the definitions of such phenomena as priority mechanisms and time-outs. Orderings on SOS rules were proposed by Phillips and Ulidowski as an alternative to negative premises. The meaning of general types of SOS rules with orderings has not been studied hitherto. This paper presents satisfactory ways of giving a meaning to general SOS rules with orderings. We also give semantics-preserving transformations between the two paradigms, namely, SOS with negative premises and SOS with orderings.
منابع مشابه
Semantics and expressiveness of ordered SOS
Structured Operational Semantics (SOS) is a popular method for defining semantics by means of transition rules. An important feature of SOS rules is negative premises, which are crucial in the definitions of such phenomena as priority mechanisms and time-outs. However, the inclusion of negative premises in SOS rules also introduces doubts as to the preferred meaning of SOS specifications. Order...
متن کاملTriply Articulated Modelling in Complex Systems
We argue that traditional systems engineering (TSE) is inadequate for engineering complex systems. This inadequacy becomes particularly problematic when the system in question is a System of Systems (SoS) whose behaviour depends on how human users of the component systems, anticipating the consequences of their own behaviour, interact with those systems and with each other. Considering its user...
متن کاملImplicit Propagation in Structural Operational Semantics
In contrast to a transition system specification in process algebra, a structural operational semantics (SOS) of a programming language usually involves auxiliary entities: stores, environments, etc. When specifying SOS rules, particular auxiliary entities often need to be propagated unchanged between premises and conclusions. The standard technique is to make such propagation explicit, using v...
متن کاملFormats of Ordered SOS Rules with Silent Actions
We present a general and uniform method for deening structural operational semantics (SOS) of process algebra operators by traditional Plotkin-style rules equipped with an ordering, the new feature which states the order of application of rules when deriving transitions of process terms. Our method allows to represent negative premises and copying in the presence of silent actions. We identify ...
متن کاملThe Study of SOS Genes Expression in Mutant Barley Root under Salt Stress
Soil salinity is one of the most critical factors reducing crop yield. SOS signaling is one of the significant pathways that regulate ion homeostasis and it has the important role in mechanism of plant resistance to environmental stresses such as salt stress. Roots are the first organ of plants exposed to salt, so the role of genes involved in this pathway and their relation to salt tolerance w...
متن کامل