IEEE - Institute of Electrical and Electronics Engineers, Inc. - A Formal Modeling for Component Behaviors Based on Event Track

2010 Fifth International Symposium on Service Oriented System Engineering (SOSE)

Author(s): Zhongyu Chen ; Jichang Zhang ; Huaikou Miao ; Zhenghu Guo
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 June 2010
Conference Location: Nanjing, China, China
Conference Date: 4 June 2010
Page(s): 113 - 116
ISBN (CD): 978-0-7695-4081-8
ISBN (Electronic): 978-1-4244-7326-7
ISBN (Paper): 978-1-4244-7327-4
DOI: 10.1109/SOSE.2010.9
Regular:

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... View More

Advertisement