Journal article icon

Journal article

Rigorous development of component-based systems using component metadata and patterns

Abstract:

In previous work we presented a CSP-based systematic approach that fosters the rigorous design of component-based development. Our approach is strictly defined in terms of composition rules, which are the only permitted way to compose components. These rules guarantee the preservation of properties (particularly deadlock freedom) by construction in component composition. Nevertheless, their application is allowed only under certain conditions whose verificatio...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted Manuscript

Actions


Access Document


Files:
Publisher copy:
10.1007/s00165-016-0375-1

Authors


Oliveira, MVM More by this author
Antonino, P More by this author
Sampaio, A More by this author
Expand authors...
Publisher:
Springer Publisher's website
Journal:
Formal Aspects of Computing Journal website
Volume:
28
Issue:
6
Pages:
937–1004
Publication date:
2016-05-04
Acceptance date:
2016-03-24
DOI:
EISSN:
1433-299X
ISSN:
0934-5043
Pubs id:
pubs:624215
URN:
uri:8ecc6dbf-5cda-4d40-8b02-db0d2bcec21b
UUID:
uuid:8ecc6dbf-5cda-4d40-8b02-db0d2bcec21b
Local pid:
pubs:624215

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP