Verifying the compatibility of components’ ports upon specification
We propose in this paper an approach for verifying the com- patibility between components’ ports upon specification. In component software development, ports are the points of interaction between components. The connection between ports must satisfy some constraints. We determine these constraints...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
ĐHCN
2016
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/14542 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | English |
| id |
oai:112.137.131.14:VNU_123-14542 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-145422020-10-14T07:09:42Z Verifying the compatibility of components’ ports upon specification Nguyen, Hoang Ha Tran, Thi Mai Thuong CBSE We propose in this paper an approach for verifying the com- patibility between components’ ports upon specification. In component software development, ports are the points of interaction between components. The connection between ports must satisfy some constraints. We determine these constraints and propose to use the B method and its support tools for verifying the compatibility between ports in a component model. 2016-09-29T08:15:49Z 2016-09-29T08:15:49Z 2007 Article http://repository.vnu.edu.vn/handle/VNU_123/14542 en application/pdf ĐHCN |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| continent |
Asia |
| country |
Vietnam Vietnam |
| content_provider |
VNU Library and Information Center |
| collection |
VNU Digital Repository |
| language |
English |
| topic |
CBSE |
| spellingShingle |
CBSE Nguyen, Hoang Ha Tran, Thi Mai Thuong Verifying the compatibility of components’ ports upon specification |
| description |
We propose in this paper an approach for verifying the com-
patibility between components’ ports upon specification. In component
software development, ports are the points of interaction between components. The connection between ports must satisfy some constraints. We determine these constraints and propose to use the B method and its support tools for verifying the compatibility between ports in a component model. |
| format |
Article |
| author |
Nguyen, Hoang Ha Tran, Thi Mai Thuong |
| author_facet |
Nguyen, Hoang Ha Tran, Thi Mai Thuong |
| author_sort |
Nguyen, Hoang Ha |
| title |
Verifying the compatibility of components’ ports upon specification |
| title_short |
Verifying the compatibility of components’ ports upon specification |
| title_full |
Verifying the compatibility of components’ ports upon specification |
| title_fullStr |
Verifying the compatibility of components’ ports upon specification |
| title_full_unstemmed |
Verifying the compatibility of components’ ports upon specification |
| title_sort |
verifying the compatibility of components’ ports upon specification |
| publisher |
ĐHCN |
| publishDate |
2016 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/14542 |
| _version_ |
1681763239985152000 |