Abstract
This chapter describes how the theories of augmented marked graphs described in the previous chapters can be effectively applied to system integration. It starts with introducing component-based system design, where the challenges in system integration are discussed. We show how augmented marked graphs can be used for modelling the components of a system. Then, we show how these augmented marked graphs can be composed as an integrated system whose properties can be effectively analyzed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
G.T. Leavens, M. Sitaraman (eds.), Foundations of Component-Based Systems (Cambridge University Press, Cambridge, 2000)
G.T. Heineman, W.T. Councill, Component-Based Software Engineering: Putting the Pieces Together (Addison-Wesley, Boston, 2002)
C. Szyperski, Component Software: Beyond Object-Oriented Programming (Addison-Wesley, Reading, 2002)
M. Ramachandran, Software Components: Guidelines and Applications (Nova, New York, 2008)
K.S. Cheung, Compositional synthesis of distributed system components based on augmented marked graphs. J. Comput. Sci. Technol. 8(1), 34–40 (2008)
K.S. Cheung, Composition of augmented marked graphs and its application to component-based system design. Inf. Technol. Control 36(3), 310–317 (2007)
K.S. Cheung, A formal method for synthesising components of shared resource systems. Int. J. Comput. Syst. Sci. Eng. 22(6), 349–358 (2007)
K.S. Cheung, Property-preserving composition of distributed system components, in Advanced Parallel Processing Technologies. Lecture Notes in Computer Science, vol. 4847 (Springer, Berlin, 2007), pp. 108–117
K.S. Cheung, Composition of augmented marked graphs and its application to system integration, in Proceedings of the International Colloquium on Computing, Communication, Control and Management (IEEE Press, 2008), pp. 79–83
K.S. Cheung, K.O. Chow, Compositional synthesis of augmented marked graphs for manufacturing system integration, in Proceedings of the IEEE International Conference on Integration Technology (IEEE Press, 2007), pp. 287–292
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Cheung, K.S. (2014). Component-Based System Integration. In: Augmented Marked Graphs. Springer, Cham. https://doi.org/10.1007/978-3-319-06428-4_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-06428-4_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-06427-7
Online ISBN: 978-3-319-06428-4
eBook Packages: Computer ScienceComputer Science (R0)