Conformance checking of component-based systems for scenario-based specifications

摘要

Global interaction specifications define the rules that participating components should respect in their interaction with the aim of guaranteeing correct interoperability in the requirement phase. The design model of a particular component gives the communicative behavior from the point of view of that component in the design phase. In this paper, the global interaction specifications are specified by UML sequence diagrams from which we can derive all the specification models of participating components specified by FSM models. We propose a novel conformance relation between the specification model and the design model of a component. The conformance relation distinguishes two kinds of non-determinism in FSM models and guarantees stuck-freeness of systems in which interacting components are individually proved conformant to the same global interaction specifications.