For Libraries For Publication Open Access Downloads About Us Contact Us
Paper Titles
Component Reliability Importance Measure in Presence of Transient Faults
p.529
A Fault Injection Platform for Availability Evaluation of IA64 System
p.535
Research and Implementation of Universal Mobile Middleware Base on Mobile Terminal
p.541
Research on Dimensionality Reduction Based on Neighborhood Preserving Embedding and Sparse Representation
p.547
Properties Analysis of Process Composition with Shared Resources
p.551
A Subject Trust Management Model with Multiple Decision Factors for MANET Based on Analytic Hierarchy Process
p.556
Research of Cloud Manufacturing and Resource Encapsulation Technology
p.562
Design of Highly Efficient Self-Adaptive H.264 Loop Filter
p.567
Two-Way ID Authentication and Hardware Encryption-Based Security Design of Mobile Hard Disk
p.573

Properties Analysis of Process Composition with Shared Resources

Article Preview

Abstract:

Process composition with shared resources is a kind of composition that all participants share common resources that cannot be consumed and must be returned after using. Properties of the composited process and conditions of property preserving of participants are studied in this paper. Moreover sharing graph of composited process is defined and constructed to judge whether the composition is structural sound or not. And devices to keep the structural soundness of participants are given also.

You might also be interested in these eBooks
Information Technology for Manufacturing Systems II View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 58-60)

Pages:

551-555

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.58-60.551

Citation:

Cite this paper

Online since:

June 2011

Authors:

Yu Bin Guo, Cheng You Li, Min Zhang

Keywords:

Process Composition, Property Preserving, Shared Resource, Structural Soundness

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

© 2011 Trans Tech Publications Ltd. All Rights Reserved

Share:

Citation:

References

[1] GUO Yu-bin, DU Yu-yue, XI Jian-qing. A CP-net Model and Operation Properties for Web Service Composition. Chinese Journal of Computers 2006 29(7): 1067-1075.

Google Scholar

[2] GUO Yu-bin, ZHANG Min. Process Composition with Shared Resource. Advanced Mechanital Journal. (in publishing).

Google Scholar

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

Google Scholar

[4] W. M. P. van der Aalst et al. Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects of Computing 2010.

Google Scholar

[5] W. Reisig. The Universal Net Composition Operator.

Google Scholar

[6] W. Reisig. Towards a Theory of Services.

Google Scholar

[7] Rachid Hamadi, Boualem Benatallah. A Petri Net-based Model for Web Service Composition.

Google Scholar

[8] JIANG Chang-jun, WU Zhe-hui. Net operations. Journal of Computer Science and Technology 1992, 7 (4): 333-344.

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] Wu Zhe Hui. Introduction to Petri Net. China Machine Press 2006. 4.

Google Scholar

© 2025 Trans Tech Publications Ltd. All rights are reserved, including those for text and data mining, AI training, and similar technologies. For open access content, terms of the Creative Commons licensing CC-BY are applied.
Scientific.Net is a registered trademark of Trans Tech Publications Ltd.