Abstract
Behavioral incompatibility in component compositions is an important problem in the field of component-based software development. To solve this problem, one approach is to construct an environment in which the incompatible components can work together. So we write this tool, which uses the interface automata to model the behavior of components, to derive available behaviors all out from two incompatible component compositions and construct a comprehensive legal environment for them. This paper presents all the details of our tool, including the main steps, the core algorithm and the analysis of efficiency. A case-study is also illustrated showing the validity and practicability of our tool.
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
Yang, F., Zhu, B., Mei, H.: Sofeware Resuse. Journal of Sofeware 6(9), 525–533 (1995)
Heineman, G.T., Councill, W.T.: Componet-Based Software Engineering: Putting the Pieces Together. Addison-Wesley, Boston (2001)
Zhang, Y., Hu, J., Yu, X., Zhang, T., Li, X., Zheng, G.: Deriving Available Behavior All Out from Incompatible Component Compositions. In: Proceedings of the 2nd International Workshop on Formal Aspects of Component Software (FACS 2005). Electronic Notes in Theoretical Computer Science, vol. 160, pp. 349–361. Elsevier (2006)
de Alfaro, L., Henzinger, T.A.: Interface Automata. In: Proceedings of 9th Annual ACM Symposium on Foundations of Software Engineering (FSE 2001), pp. 109–120. ACM Press, New York (2001)
de Alfaro, L., Henzinger, T.A.: Interface Automata. In: Proceedings of the 9th Annual ACM Symposium on Foundations of Software Engineering (FSE 2001), pp. 109–120. ACM Press, New York (2001)
Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology 6, 69–90 (1997)
Pfleeger, S.L.: Software Engineering: Theory and Practice, 2nd edn. Pearson Prentice Hall, Upper Saddle River (2001)
Pressman, R.S.: Software Engineering: A Practitioner’s Approach, 5th edn. McGraw-Hill, New York (2001)
Councill, B., Heineman, G.T.: Definition of a Software Component and Its Elements. In: Componet-Based Software Engineering: Putting the Pieces Together, pp. 5–19
Szyperski, C.: Component Software and the Way Ahead. In: Foundations of Component-based Systems, pp. 1–20
Pfister, C., Szyperski, C.: Why Object Are Not Enough. In: Jell, T. (ed.) Proceedings of the 1st International Component Users Conference, pp. 141–147. Cambridge University Press, Cambridge (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhao, J., Li, J., Zhang, Y., Zhang, T. (2013). A Tool to Construct One Comprehensive Legal Environment for Behavioral Incompatible Components. In: Yuan, Y., Wu, X., Lu, Y. (eds) Trustworthy Computing and Services. ISCTCS 2012. Communications in Computer and Information Science, vol 320. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35795-4_68
Download citation
DOI: https://doi.org/10.1007/978-3-642-35795-4_68
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35794-7
Online ISBN: 978-3-642-35795-4
eBook Packages: Computer ScienceComputer Science (R0)