Abstract
Augmented marked graphs possess a special structure for modelling common resources as well as some desirable properties pertaining to liveness, boundedness, reversibility and conservativeness. This paper investigates the property-preserving composition of augmented marked graphs for the synthesis of distributed systems. It is proposed that distributed system components are specified as augmented marked graphs. An integrated system is then obtained by composing these augmented marked graphs via their common resource places. Based on the preservation of properties, the liveness, boundedness, reversibility and conservativeness of the integrated system can be readily derived. This effectively solves the difficult problem of ensuring design correctness in the composition of distributed system components.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Chu, F., Xie, X.: Deadlock Analysis of Petri Nets Using Siphons and Mathematical Programming. IEEE Transactions on Robotics and Automation 13(6), 793–804 (1997)
Cheung, K.S.: New Characterisations for Live and Reversible Augmented Marked Graphs. Information Processing Letters 92(5), 239–243 (2004)
Cheung, K.S., Chow, K.O.: Cycle Inclusion Property of Augmented Marked Graphs. Information Processing Letters 94(6), 271–276 (2005)
Cheung, K.S., Chow, K.O.: Analysis of Capacity Overflow for Manufacturing Systems. In: Proceedings of the IEEE Conference on Automation Science and Engineering, pp. 287–292. IEEE Press, Los Alamitos (2006)
Cheung, K.S., Chow, K.O.: Compositional Synthesis of Augmented Marked Graphs. In: Proceedings of the IEEE International Conference on Control and Automation, pp. 2810–2814. IEEE Press, Los Alamitos (2007)
Huang, H.J., Jiao, L., Cheung, T.Y.: Property-Preserving Composition of Augmented Marked Graphs that Share Common Resources. In: Proceedings of the IEEE International Conference on Robotics and Automation, vol. 1, pp. 1446–1451. IEEE Press, Los Alamitos (2003)
Reisig, W.: Petri Nets: An Introduction. Springer, Heidelberg (1985)
Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77(4), 541–580 (1989)
Heineman, G.T., Councill, W.T.: Component-Based Software Engineering: Putting the Pieces Together. Addison-Wesley, Reading (2002)
Crnkovic, I., Larsson, M.: Building Reliable Component-Based Software Systems, Artech House (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cheung, K.S., Chow, K.O. (2007). Property-Preserving Composition of Distributed System Components. In: Xu, M., Zhan, Y., Cao, J., Liu, Y. (eds) Advanced Parallel Processing Technologies. APPT 2007. Lecture Notes in Computer Science, vol 4847. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76837-1_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-76837-1_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76836-4
Online ISBN: 978-3-540-76837-1
eBook Packages: Computer ScienceComputer Science (R0)