Scenario-based component behavior derivation

Authors:
Yan Zhang;Jun Hu;Xiaofeng Yu;Tian Zhang;Xuandong Li;Guoliang Zheng
Affiliations:
State Key Laboratory of Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, P.R. China;State Key Laboratory of Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, P.R. China;State Key Laboratory of Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, P.R. China;State Key Laboratory of Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, P.R. China;State Key Laboratory of Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, P.R. China;State Key Laboratory of Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, P.R. China
Venue:
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Year:
2006

Citing 7
Cited 1

Protocol specifications and component adaptors

ACM Transactions on Programming Languages and Systems (TOPLAS)
Interface automata

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Submodule Construction for Specifications with Input Assumptions and Output Guarantees

FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Supervisory Control of Software Systems

IEEE Transactions on Computers
A formal approach to component adaptation

Journal of Systems and Software - Special issue: Automated component-based software engineering
Scenario-Based Specifications Verification for Component-Based Embedded Software Designs

ICPPW '05 Proceedings of the 2005 International Conference on Parallel Processing Workshops
Scenario-based component behavior derivation

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering

Scenario-based component behavior derivation

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.