Please use this identifier to cite or link to this item: http://repository.vnu.edu.vn/handle/VNU_123/60305
Title: A Model for Real-time Concurrent Interaction Protocols in Component Interfaces
Authors: Dang, Hung Van
Nguyen, Dong Trinh
Truong, Hoang Anh
Keywords: Interaction Protocol;Timed Automata;Region Graph;Component Interface
Issue Date: 2017
Publisher: H. : ĐHQGHN
Series/Report no.: Vol 33;No 1
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.
Description: p. 8-15
URI: http://repository.vnu.edu.vn/handle/VNU_123/60305
ISSN: 2588-1086
Appears in Collections:Computer Science and Communication Engineering

Files in This Item:
Thumbnail

  • File : c33.1.2.pdf
  • Description : 
  • Size : 153.12 kB
  • Format : Adobe PDF


  • Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.