IEEE - Institute of Electrical and Electronics Engineers, Inc. - Analyzing BPEL Compositionality Based on Petri Nets

2008 IEEE 32nd International Computer Software and Applications Conference (COMPSAC)

Author(s): Guisheng Fan ; Huiqun Yu ; Liqiong Chen ; Dongmei Liu
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2008
Conference Location: Turku, Finland
Conference Date: 28 July 2008
Page(s): 373 - 376
ISBN (CD): 978-0-7695-3262-2
ISSN (Paper): 0730-3157
DOI: 10.1109/COMPSAC.2008.44
Regular:

Process of service composition is complex and error-prone, which makes a formal modeling and analysis method highly desirable. This paper presents a Petri net-based approach to analyzing the... View More

Advertisement