Process Composition with Shared Resources

Yu Bin Guo; Min Zhang

doi:10.4028/www.scientific.net/AMR.268-270.817

Paper Titles

The Improvement of Hybrid Particle Swarm Algorithm and its Application
p.798

Research of Pinyin Chinese Input Method Based on μC / OS-II Real-Time Operating System
p.803

Data Conversion Based on XML
p.807

Summary of Affinity Propagation
p.811

Process Composition with Shared Resources
p.817

A Modified Particle Swarm Optimization Algorithm with Cases Studies
p.823

A Study of Website Optimization Strategy and Implementation
p.829

Culture and Characteristics of Human Induced Pluripotent Stem Cells
p.835

Inhibitory Effect of Tetrandrine on the Proliferation of Human Dermal Fibroblasts Derived from Hypertrophic Scars
p.838

HomeAdvanced Materials ResearchAdvanced Materials Research Vols. 268-270Process Composition with Shared Resources

Process Composition with Shared Resources

Abstract:

Processes are well defined sequences of computational steps executed in a coordinated manner that make application logic of an information system explicit. Process composition with shared resource is defined and analyzed in this paper. Conditions of structural soundness of composited process and conditions of property preserving of sub-process are presented.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Advanced Materials Research (Volumes 268-270)

Pages:

817-822

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.268-270.817

Citation:

Cite this paper

Online since:

July 2011

Authors:

Yu Bin Guo, Min Zhang

Keywords:

Process Composition, Property Preserving, Shared Resource, Structural Soundness

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] Guo Yubin, Du Yuyue, Xi Jianqing. A CP-net Model and Operation Properties for Web Service Composition. Chinese Journal of Computers 2006 29(7): 1067-1075.

Google Scholar

[2] J. Cardoso, J. Mendling, G. Neumann, and H.A. Reijers. A Discourse on Complexity of Process Models [C]. BPM 2006 Workshops, LNCS 4103, p.117–128, 2006. Springer-Verlag Berlin Heidelberg (2006).

DOI: 10.1007/11837862_13

Google Scholar

[3] H. Schuldt, G. Alonso, C. Beeri and H. Schek. Atomicity and Isolation for Transactional Processes [J]. ACM Transactions on Database Systems, March 2002, Vol 27, No. 1, 1-53.

DOI: 10.1145/507234.507236

Google Scholar

[4] Wu Zhe Hui. Introduction to Petri Net. China Machine Press 2006. 4.

Google Scholar

[5] W. M. P. van der Aalst. Verification of workflow nets. LNCS, 1248, June (1997).

Google Scholar

[6] Yuan CY, Zhang SK et al. A Three-Layer Model for Business Processes–Process Logic, Case Semantics and Workflow Management. Journal of Computer Science and Technology 22(3): 410-425 May 21007.

DOI: 10.1007/s11390-007-9057-z

Google Scholar

[7] PANG Shan-chen, JIANG Chang-jun et al. Property analysis of shared composition Petri nets. Acta automatica sinica 2004 30(6): 944-948.

Google Scholar

[8] PU Fei, LU Wei-ming, et al, Language recursiveness and liveness in sharing synthesis of Petri net systems. Journal of Software 2004 15(3): 317-326.

Google Scholar

[9] Du Yu-yue, Li Xiao-zhong. Analysis and Implementation of liveness of S-Composition Petri net. Chinese Journal of Computers. 1998 21(8): 747-752.

Google Scholar

[10] PANG Shan-chen, YAN Chun gang, JIANG Chang-jun. Soundness analysis of the multi-cases workflow model based on home state. Acta automatica sinica 2006 34(6): 1163-1168.

Google Scholar

[11] JIAO Li, LU Wei-ming. Synthesis and property-preservation of Petri net systems based on shared places. Chinese Journal of Computers, 30(3): 352-360 (2007).

Google Scholar