Towards Checking Protocol Conformance of Active Components

As UML 2.x is now widely used by practitioners to document software architectures of concurrent real-time systems the authors propose an approach to make use of the UML protocol and behavior artifacts of components in order to achieve a verification activity at design time. They first discuss the issue of using protocol state machines to depict interactions of any active component with its environment through ports that specify provided and/or required interfaces. They then propose a formal method for conformance checking between component behavior and protocol state machines.

Provided by: Science and Engineering Research Support soCiety Topic: Software Date Added: Apr 2011 Format: PDF

Find By Topic