Copyright and Licensing
Articles accepted for publication will be licensed under the Creative Commons BY-NC-SA. Authors must sign a non-exclusive distribution agreement after article acceptance.
Guaranteeing that assembled components will behave as required is one of the main aspects in working with Component-Based Development. In this paper we present a formal approach for tackling this problem by applying the concept of bisimulation, originally presented in the study of concurrency theory. Bisimulation allows us to abstract details that are irrelevant from the behavioral point of view, such as data representations and implementation structures, providing a powerful formalism for proving software correctness properties. Thus, our approach facilitates to demonstrate the behavioral equivalence between the integrated system and the required specification. We introduce these concepts with the help of an example described in RAISE.
Articles accepted for publication will be licensed under the Creative Commons BY-NC-SA. Authors must sign a non-exclusive distribution agreement after article acceptance.
Review Stats:
Mean Time to First Response: 89 days
Mean Time to Acceptance Response: 114 days
Member of:
ISSN
1666-6038 (Online)
1666-6046 (Print)