Computer Science ›› 2010, Vol. 37 ›› Issue (9): 151-156.
Previous Articles Next Articles
JIA Yang-li,ZHANG Zhen-ling,LI Zhou-jun
Online:
Published:
Abstract: Formal specification and verification on complex real-time component system' s interaction behavior have great significance of improving component systems' trustworthy properties such as correctness and reliability. The advantages and disadvantages of using process algebra and automata to model components interaction behavior were analyzed, and timed component interaction automata(TCIA) based modeling methods were presented based on the analysis.The related definition, composition and verification algorithm of I}CIA were given. Models based on I}CIA can clearly specify components' interaction behavior, architecture and real-time information in detail and arc convenient to verify.Finally, an application example was introduced.
Key words: Component, Interaction behavior, Formal specification, Automata
JIA Yang-li,ZHANG Zhen-ling,LI Zhou-jun. Formal Model of Component Real-time Interaction Behavior Based on Automata Theory[J].Computer Science, 2010, 37(9): 151-156.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2010/V37/I9/151
Cited