Hung Van Dang, Dong Trinh Nguyen, Hoang Anh Truong

Main Article Content

Abstract

Interaction Protocol specification is an important part for
component interface specification. To use a component, the
environment must conform to the interaction protocol specified in the
interface of the component. We give a powerful technique
to specify protocols which can capture the constraints on temporal
order, concurrency, and timing. We also show that the problem of
checking if a timed automaton conforms to a given real-time protocol is
decidable and develop a decision procedure for solving the
problem.