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