A Formal Modeling For Component Behaviors Based on Event Track
System behaviors are implemented through interacting between components during the method of component-based software development. Therefore, how to formal the component behaviors have become an important problem. This paper presents a component behavioral modeling method based on event track, which utilize a process with the event track to describe the behavior of component, the event set may be involved in the components were extended to the pointed set, the possible behavior of component in a given environment seen as an event track. This method can effectively solve parallel composition of component behaviors with synchronization constraints. Finally, this paper illustrates concrete details by an example.
event track component behavior component interaction parallel composition
Zhongyu Chen Jichang Zhang Huaikou Miao Zhenghu Guo
College of Mathematics, Physics and Information Engineering Zhejiang Normal University Zhejiang 321 College of Mathematics, Physics and Information Engineering Zhejiang Normal University Zhejiang 3210 School of Computer Engineering and Science Shanghai University Shanghai 200444, China
国际会议
南京
英文
113-116
2010-06-04（万方平台首次上网日期，不代表论文的发表时间）