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
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;
Conference_Titel :
Quality Software, 2009. QSIC '09. 9th International Conference on
Conference_Location :
Jeju
Print_ISBN :
978-1-4244-5912-4
DOI :
10.1109/QSIC.2009.19