Pi-Calculus is a formal method for describing and analyzing the behavior of large distributed and concurrent systems. Pi-calculus offers a conceptual framework for describing and analyzing the concurrent systems whose...Pi-Calculus is a formal method for describing and analyzing the behavior of large distributed and concurrent systems. Pi-calculus offers a conceptual framework for describing and analyzing the concurrent systems whose configuration may change during the computation. With all the advantages that pi-calculus offers, it does not provide any methods for performance evaluation of the systems described by it;nevertheless performance is a crucial factor that needs to be considered in designing of a multi-process system. Currently, the available tools for pi-calculus are high level language tools that provide facilities for describing and analyzing systems but there is no practical tool on hand for pi-calculus based performance evaluation. In this paper, the performance evaluation is incorporated with pi-calculus by adding performance primitives and associating performance parameters with each action that takes place internally in a system. By using such parameters, the designers can benchmark multi-process systems and compare the performance of different architectures against one another.展开更多
Let <i>f</i>(u) and <i>g</i>(v) be two polynomials of degree <i>k</i> and <i>l</i> respectively, not both linear which split into distinct linear factors over F<sub&g...Let <i>f</i>(u) and <i>g</i>(v) be two polynomials of degree <i>k</i> and <i>l</i> respectively, not both linear which split into distinct linear factors over F<sub>q</sub>. Let <img src="Edit_83041428-d8b0-4505-8c3c-5e29f2886159.png" width="160" height="15" alt="" /> be a finite commutative non-chain ring. In this paper, we study polyadic codes and their extensions over the ring <i>R</i>. We give examples of some polyadic codes which are optimal with respect to Griesmer type bound for rings. A Gray map is defined from <img src="Edit_c75f119d-3176-4a71-a36a-354955044c09.png" width="50" height="15" alt="" /> which preserves duality. The Gray images of polyadic codes and their extensions over the ring <i>R</i> lead to construction of self-dual, isodual, self-orthogonal and complementary dual (LCD) codes over F<i><sub>q</sub></i>. Some examples are also given to illustrate this.展开更多
To achieve an on-demand and dynamic composition model of inter-organizational business processes, a new approach for business process modeling and verification is introduced by using the pi-calculus theory. A new busi...To achieve an on-demand and dynamic composition model of inter-organizational business processes, a new approach for business process modeling and verification is introduced by using the pi-calculus theory. A new business process model which is multi-role, multi-dimensional, integrated and dynamic is proposed relying on inter-organizational collaboration. Compatible with the traditional linear sequence model, the new model is an M x N multi-dimensional mesh, and provides horizontal and vertical formal descriptions for the collaboration business process model. Finally, the pi-calculus theory is utilized to verify the deadlocks, livelocks and synchronization of the example models. The result shows that the proposed approach is efficient and applicable in inter-organizational business process modeling.展开更多
Applying dynamic web services composition is one of the important schemas for solving service-oriented architecture （SOA）and service-oriented computing（SOC）.For implementing dynamic web services composition,the mu...Applying dynamic web services composition is one of the important schemas for solving service-oriented architecture （SOA）and service-oriented computing（SOC）.For implementing dynamic web services composition,the multi agent system （MAS）is applied to web services composition.First, the essentials of the MAS and web services composition are analyzed and their relationship is discussed.Secondly, an MAS-based architecture is designed for dynamic web services composition,and it is named as CSMWC.A Jade tool is used to implement the major components.The architecture can primarily implement syntactic level dynamic web services composition,and it gives a basis for semantic level dynamic web services composition.For specifying the correctness of the architecture,by using pi-calculus,the architecture of the MAS is formally described,and its dynamic properties and adaptability are reasoned.Finally,it demonstrates the idea proposed by the Pi4SOA tool.展开更多
The architectural development of Acacia karroo conforms to Troll’s model. Growth of the branches is modular and sympodial with heteroblastic leaves on all long shoots of the tree, including the seedling. Axillary bud...The architectural development of Acacia karroo conforms to Troll’s model. Growth of the branches is modular and sympodial with heteroblastic leaves on all long shoots of the tree, including the seedling. Axillary buds tend to proliferate especially on flowering shoots where they form fascicles consisting of up to 10 inflorescences arranged in two parallel serial rows per leaf axil. Most axillary buds are sylleptic and basal buds which give rise to short shoots, each producing two to five cataphylls each season, but no flowers. Inflorescences are only produced on long shoots (modules) of the current season. After flowering the terminal part of the module aborts, trees are usually andromonoecious with capitate inflorescences containing 40 to 100 flowers each, with some male and some hermaphrodite. Some trees produce only male flowers. Anthesis in the same inflorescence, the same tree as well as amongst trees of the same community are synchronised and occur at intermittent intervals, each lasting three or more days at a time. Flowers are protogynous and pollen is produced in polyads, each consisting of 16 pollen grains. Ovaries contain 10 to 14 ovules each. The concave stigma has space for only one polyad which can fertilise all ovules in the ovary after a single pollination event. Fruit set is low with 0 to 10 fruits (pods) per inflorescence.展开更多
文摘Pi-Calculus is a formal method for describing and analyzing the behavior of large distributed and concurrent systems. Pi-calculus offers a conceptual framework for describing and analyzing the concurrent systems whose configuration may change during the computation. With all the advantages that pi-calculus offers, it does not provide any methods for performance evaluation of the systems described by it;nevertheless performance is a crucial factor that needs to be considered in designing of a multi-process system. Currently, the available tools for pi-calculus are high level language tools that provide facilities for describing and analyzing systems but there is no practical tool on hand for pi-calculus based performance evaluation. In this paper, the performance evaluation is incorporated with pi-calculus by adding performance primitives and associating performance parameters with each action that takes place internally in a system. By using such parameters, the designers can benchmark multi-process systems and compare the performance of different architectures against one another.
文摘Let <i>f</i>(u) and <i>g</i>(v) be two polynomials of degree <i>k</i> and <i>l</i> respectively, not both linear which split into distinct linear factors over F<sub>q</sub>. Let <img src="Edit_83041428-d8b0-4505-8c3c-5e29f2886159.png" width="160" height="15" alt="" /> be a finite commutative non-chain ring. In this paper, we study polyadic codes and their extensions over the ring <i>R</i>. We give examples of some polyadic codes which are optimal with respect to Griesmer type bound for rings. A Gray map is defined from <img src="Edit_c75f119d-3176-4a71-a36a-354955044c09.png" width="50" height="15" alt="" /> which preserves duality. The Gray images of polyadic codes and their extensions over the ring <i>R</i> lead to construction of self-dual, isodual, self-orthogonal and complementary dual (LCD) codes over F<i><sub>q</sub></i>. Some examples are also given to illustrate this.
基金The National Natural Science Foundation of China(No60473078)
文摘To achieve an on-demand and dynamic composition model of inter-organizational business processes, a new approach for business process modeling and verification is introduced by using the pi-calculus theory. A new business process model which is multi-role, multi-dimensional, integrated and dynamic is proposed relying on inter-organizational collaboration. Compatible with the traditional linear sequence model, the new model is an M x N multi-dimensional mesh, and provides horizontal and vertical formal descriptions for the collaboration business process model. Finally, the pi-calculus theory is utilized to verify the deadlocks, livelocks and synchronization of the example models. The result shows that the proposed approach is efficient and applicable in inter-organizational business process modeling.
基金The National Natural Science Foundation of China(No.90612014)IBM China Research Lab Joint Project
文摘Applying dynamic web services composition is one of the important schemas for solving service-oriented architecture （SOA）and service-oriented computing（SOC）.For implementing dynamic web services composition,the multi agent system （MAS）is applied to web services composition.First, the essentials of the MAS and web services composition are analyzed and their relationship is discussed.Secondly, an MAS-based architecture is designed for dynamic web services composition,and it is named as CSMWC.A Jade tool is used to implement the major components.The architecture can primarily implement syntactic level dynamic web services composition,and it gives a basis for semantic level dynamic web services composition.For specifying the correctness of the architecture,by using pi-calculus,the architecture of the MAS is formally described,and its dynamic properties and adaptability are reasoned.Finally,it demonstrates the idea proposed by the Pi4SOA tool.
文摘The architectural development of Acacia karroo conforms to Troll’s model. Growth of the branches is modular and sympodial with heteroblastic leaves on all long shoots of the tree, including the seedling. Axillary buds tend to proliferate especially on flowering shoots where they form fascicles consisting of up to 10 inflorescences arranged in two parallel serial rows per leaf axil. Most axillary buds are sylleptic and basal buds which give rise to short shoots, each producing two to five cataphylls each season, but no flowers. Inflorescences are only produced on long shoots (modules) of the current season. After flowering the terminal part of the module aborts, trees are usually andromonoecious with capitate inflorescences containing 40 to 100 flowers each, with some male and some hermaphrodite. Some trees produce only male flowers. Anthesis in the same inflorescence, the same tree as well as amongst trees of the same community are synchronised and occur at intermittent intervals, each lasting three or more days at a time. Flowers are protogynous and pollen is produced in polyads, each consisting of 16 pollen grains. Ovaries contain 10 to 14 ovules each. The concave stigma has space for only one polyad which can fertilise all ovules in the ovary after a single pollination event. Fruit set is low with 0 to 10 fruits (pods) per inflorescence.
