DocumentCode :
3116882
Title :
Modelling and Verification of Port Based Component Composition
Author :
Ding, Zuohua ; Jiang, Mingyue
Author_Institution :
Center of Math Comput. & Software Eng., Zhejiang Sci-Tech Univ., Hangzhou, China
fYear :
2009
fDate :
24-25 Aug. 2009
Firstpage :
86
Lastpage :
91
Abstract :
This paper presents a port based language to describe components and component composition. This language aims to check component composition in three aspects: signature constraints, behaviour compatibility and run time errors. For the run time errors, we have a result that can check if the system is in deadlock state.
Keywords :
object-oriented languages; object-oriented programming; program verification; system recovery; behaviour compatibility; deadlock state; port based component composition; port based language; run time errors; signature constraints; Algebra; Architecture description languages; Asynchronous communication; Buildings; Computer industry; Java; Software engineering; Software quality; System recovery; Wire; Component composition; Modeling; Verification;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Quality Software, 2009. QSIC '09. 9th International Conference on
Conference_Location :
Jeju
ISSN :
1550-6002
Print_ISBN :
978-1-4244-5912-4
Type :
conf
DOI :
10.1109/QSIC.2009.19
Filename :
5381514
Link To Document :
بازگشت