The Experts below are selected from a list of 3561 Experts worldwide ranked by ideXlab platform
Yubing Zhang - One of the best experts on this subject based on the ideXlab platform.
-
testing bpel based web service composition using high level petri nets
Enterprise Distributed Object Computing, 2006Co-Authors: Wenli Dong, Hang Yu, Yubing ZhangAbstract:This paper proposes a technique for analysis and testing BPEL-based web service composition using High-level Petri Nets. To illustrate how these compositions are verified, the relationships between BPEL-based web service composition and High-level Petri Nets is constructed. By analyzing the structure of web service composition based on BPEL, the corresponding HPN is constructed. The dynamism and occurrence are presented in HPN with Guard Expression with coloured token. After translation, the equivalent HPN of the web service composition based on BPEL can be verified on existing mature tool, and the related researches on HPN, e.g. testing coverage and reduction techniques that have been studied deeply, can be employed in testing of web service composition based on BPEL, optimized test case can be generated based on the HPN translated. An example is provided to illustrate the translation ruled and the automatic verify progress.
-
EDOC - Testing BPEL-based Web Service Composition Using High-level Petri Nets
2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06), 2006Co-Authors: Wenli Dong, Yubing ZhangAbstract:This paper proposes a technique for analysis and testing BPEL-based web service composition using High-level Petri Nets. To illustrate how these compositions are verified, the relationships between BPEL-based web service composition and High-level Petri Nets is constructed. By analyzing the structure of web service composition based on BPEL, the corresponding HPN is constructed. The dynamism and occurrence are presented in HPN with Guard Expression with coloured token. After translation, the equivalent HPN of the web service composition based on BPEL can be verified on existing mature tool, and the related researches on HPN, e.g. testing coverage and reduction techniques that have been studied deeply, can be employed in testing of web service composition based on BPEL, optimized test case can be generated based on the HPN translated. An example is provided to illustrate the translation ruled and the automatic verify progress.
Wenli Dong - One of the best experts on this subject based on the ideXlab platform.
-
testing bpel based web service composition using high level petri nets
Enterprise Distributed Object Computing, 2006Co-Authors: Wenli Dong, Hang Yu, Yubing ZhangAbstract:This paper proposes a technique for analysis and testing BPEL-based web service composition using High-level Petri Nets. To illustrate how these compositions are verified, the relationships between BPEL-based web service composition and High-level Petri Nets is constructed. By analyzing the structure of web service composition based on BPEL, the corresponding HPN is constructed. The dynamism and occurrence are presented in HPN with Guard Expression with coloured token. After translation, the equivalent HPN of the web service composition based on BPEL can be verified on existing mature tool, and the related researches on HPN, e.g. testing coverage and reduction techniques that have been studied deeply, can be employed in testing of web service composition based on BPEL, optimized test case can be generated based on the HPN translated. An example is provided to illustrate the translation ruled and the automatic verify progress.
-
EDOC - Testing BPEL-based Web Service Composition Using High-level Petri Nets
2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06), 2006Co-Authors: Wenli Dong, Yubing ZhangAbstract:This paper proposes a technique for analysis and testing BPEL-based web service composition using High-level Petri Nets. To illustrate how these compositions are verified, the relationships between BPEL-based web service composition and High-level Petri Nets is constructed. By analyzing the structure of web service composition based on BPEL, the corresponding HPN is constructed. The dynamism and occurrence are presented in HPN with Guard Expression with coloured token. After translation, the equivalent HPN of the web service composition based on BPEL can be verified on existing mature tool, and the related researches on HPN, e.g. testing coverage and reduction techniques that have been studied deeply, can be employed in testing of web service composition based on BPEL, optimized test case can be generated based on the HPN translated. An example is provided to illustrate the translation ruled and the automatic verify progress.
Hang Yu - One of the best experts on this subject based on the ideXlab platform.
-
testing bpel based web service composition using high level petri nets
Enterprise Distributed Object Computing, 2006Co-Authors: Wenli Dong, Hang Yu, Yubing ZhangAbstract:This paper proposes a technique for analysis and testing BPEL-based web service composition using High-level Petri Nets. To illustrate how these compositions are verified, the relationships between BPEL-based web service composition and High-level Petri Nets is constructed. By analyzing the structure of web service composition based on BPEL, the corresponding HPN is constructed. The dynamism and occurrence are presented in HPN with Guard Expression with coloured token. After translation, the equivalent HPN of the web service composition based on BPEL can be verified on existing mature tool, and the related researches on HPN, e.g. testing coverage and reduction techniques that have been studied deeply, can be employed in testing of web service composition based on BPEL, optimized test case can be generated based on the HPN translated. An example is provided to illustrate the translation ruled and the automatic verify progress.
Peter J. Ashenden - One of the best experts on this subject based on the ideXlab platform.
-
Guards and Blocks
The Designer's Guide to VHDL, 2002Co-Authors: Peter J. AshendenAbstract:This chapter reviews two closely related topics: Guarded signal and blocks, and illustrates how they work together with Guards and Guard Expressions to cause automatic disconnection of drivers. Guarded signals are resolved signals for which we can disconnect the drivers. Guarded signals are of two types: bus and register. The difference between the two kinds of Guarded signals lies in their behavior when all of their drivers are disconnected. A bus signal uses the resolution function to determine the signal value by passing it an empty array. A register signal, on the other hand, keeps the resolved value that it had just before the last disconnection. Blocks provide a way of partitioning the concurrent statements within an architecture body. They are used to determine the value of an implicitly declared signal called Guard. This signal is only implicitly declared if the Guard Expression is present. Its visibility extends over the whole of the block statement. The chapter provides an outline of an architecture body containing a block with generic constants and ports.
K. Šarkauskas - One of the best experts on this subject based on the ideXlab platform.
-
Using Colored Petri Nets for Simulation of Control Systems
Elektronika Ir Elektrotechnika, 2003Co-Authors: S. Bartkevičius, V. Mačerauskas, K. ŠarkauskasAbstract:Modern control systems are hybrid – continuous or mixed objects are controlled by discrete controllers. Colored Petri nets are theexcellent mean of simulation of control algorithms. Continuous objects can be described by differential equations. These equations canbe represented as a structural scheme. An interface between those to parts of a model is very important as well as evaluation of the time,because it can be one of the factors of control. The simulation system realized in the program package CENTAURUS-C is presented.Interface between both parts of a model is realized via specialized transition, in Petri net, named – process. Three default real variables– $Out, $In and $Prev are used in the interface. A process can carry the value of $Out into a structure of an object as a step signal andreceive signal from any output of blocks in structure as a value of the variable $In. Value of variable $Prev is a value of $Inremembered on previous step of simulation. Variable $Out can be used in an Expression of input chord of a process and init the process.Variables $In and $Prev can be used in Guard Expression of a process to set the end of a process – firing of the specialized transition.Time in the presented system is an attribute of processes and transitions – delay. The delays of transitions are represented by specialExpressions and can be changed dynamically. Ill. 7, bibl. 11 (in Lithuanian; summaries in Lithuanian, English, Russian).Modern control systems are hybrid – continuous or mixed objects are controlled by discrete controllers. Colored Petri nets are theexcellent mean of simulation of control algorithms. Continuous objects can be described by differential equations. These equations canbe represented as a structural scheme. An interface between those to parts of a model is very important as well as evaluation of the time,because it can be one of the factors of control. The simulation system realized in the program package CENTAURUS-C is presented.Interface between both parts of a model is realized via specialized transition, in Petri net, named – process. Three default real variables– $Out, $In and $Prev are used in the interface. A process can carry the value of $Out into a structure of an object as a step signal andreceive signal from any output of blocks in structure as a value of the variable $In. Value of variable $Prev is a value of $Inremembered on previous step of simulation. Variable $Out can be used in an Expression of input chord of a process and init the process.Variables $In and $Prev can be used in Guard Expression of a process to set the end of a process – firing of the specialized transition.Time in the presented system is an attribute of processes and transitions – delay. The delays of transitions are represented by specialExpressions and can be changed dynamically. Ill. 7, bibl. 11 (in Lithuanian; summaries in Lithuanian, English, Russian).