Advertisement

Scenario-Based Component Behavior Derivation

  • Yan Zhang
  • Jun Hu
  • Xiaofeng Yu
  • Tian Zhang
  • Xuandong Li
  • Guoliang Zheng
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4260)

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.

Keywords

Action Sequence Versus Init Simple Loop Input Step Message Sequence Chart 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bracciali, A., Brogi, A., Canal, C.: A formal approach to component adaptation. Journal of Systems and Software 74, 45–54 (2004)CrossRefGoogle Scholar
  2. 2.
    Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Transactions on Programming Languages and Systems 19, 292–333 (1997)CrossRefGoogle Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    de Alfaro, L., Henzinger, T.A.: Interface automata. In: FSE 2001, pp. 109–120. ACM Press, New York (2001)Google Scholar
  5. 5.
    ITU-TS: ITU-TS recommendation Z.120: Message Sequence Chart (MSC). ITU-TS, Geneva (1999)Google Scholar
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
    Tivoli, M., Autili, M.: SYNTHESIS: a tool for synthesizing “correct” and protocol-enhanced adaptors. L’Object Journal 12 (2005)Google Scholar
  8. 8.
    Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE 77, 81–98 (1989)CrossRefGoogle Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    Phoha, V.V., Nadgar, A.U., Ray, A., Phoha, S.: Supervisory control of software systems. IEEE Transactions on Computers 53, 1187–1199 (2004)CrossRefGoogle Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Yan Zhang
    • 1
  • Jun Hu
    • 1
  • Xiaofeng Yu
    • 1
  • Tian Zhang
    • 1
  • Xuandong Li
    • 1
  • Guoliang Zheng
    • 1
  1. 1.State Key Laboratory of Novel Software Technology, Department of Computer Science and TechnologyNanjing UniversityNanjingP.R. China

Personalised recommendations