Abstract
The reusability of components affects how much benefit we can get from the component based software development (CBSD). For enhancing the reuse of components, we propose an approach to derive the desired behavior from a component in terms of the user’s requirement given by a scenario specification. In our proposal, a special environment, i.e., sup-inclusive environment (SIE), is automatically constructed to adjust the component’s behavior based on the scenario specification. All behavior of a component that is specified by the scenario specification can be preserved in the composition of the component and its SIE, and other behavior of the component is discarded to the most extent. We use interface automata to model the behavior of components and a set of action sequences to abstract the scenario specification in Message Sequence Charts (MSCs). The composition of components is modelled by the product of interface automata. We give the algorithm for constructing SIE and illustrate our approach by an example.
This paper is supported by the National Grand Fundamental Research 973 Program of China (No. 2002CB312001), the National Natural Science Foundation of China (No. 60425204, No. 60233020), and by Jiangsu Province Research Foundation (No. BK2004080).
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
Bracciali, A., Brogi, A., Canal, C.: A formal approach to component adaptation. Journal of Systems and Software 74, 45–54 (2004)
Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Transactions on Programming Languages and Systems 19, 292–333 (1997)
Zhang, Y., Yu, X., Zhang, T., Li, X., Zheng, G.: Scenario-based component behavior filtration. In: Proceedings of IFIP Working Conference on Software Engineering Techniques (SET 2006). LNCS. Springer, Heidelberg (accepted, 2006)
de Alfaro, L., Henzinger, T.A.: Interface automata. In: FSE 2001, pp. 109–120. ACM Press, New York (2001)
ITU-TS: ITU-TS recommendation Z.120: Message Sequence Chart (MSC). ITU-TS, Geneva (1999)
Inverardi, P., Tivoli, M.: Software architecture for correct components assembly. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, pp. 92–121. Springer, Heidelberg (2003)
Tivoli, M., Autili, M.: SYNTHESIS: a tool for synthesizing “correct” and protocol-enhanced adaptors. L’Object Journal 12 (2005)
Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE 77, 81–98 (1989)
von Bochmann, G.: Submodule construction for specifications with input assumptions and output guarantees. In: Proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2002). LNCS, vol. 2804, pp. 17–33. Springer, New York (2002)
Phoha, V.V., Nadgar, A.U., Ray, A., Phoha, S.: Supervisory control of software systems. IEEE Transactions on Computers 53, 1187–1199 (2004)
Zhang, Y., Hu, J., Yu, X., Zhang, T., Li, X., Zheng, G.: 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. Elsevier, Amsterdam (to appear, 2006)
Hu, J., Yu, X., Zhang, Y., Zhang, T., Wang, L., Li, X., Zheng, G.: Scenario-based verification for component-based embedded software designs. In: Proceedings of the 34th International Conference on Parallel Processing Workshops (ICPP 2005 Workshop), pp. 240–247. IEEE Computer Society, Los Alamitos (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhang, Y., Hu, J., Yu, X., Zhang, T., Li, X., Zheng, G. (2006). Scenario-Based Component Behavior Derivation. In: Liu, Z., He, J. (eds) Formal Methods and Software Engineering. ICFEM 2006. Lecture Notes in Computer Science, vol 4260. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11901433_12
Download citation
DOI: https://doi.org/10.1007/11901433_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-47460-9
Online ISBN: 978-3-540-47462-3
eBook Packages: Computer ScienceComputer Science (R0)