Behavioural specification of Java component using SyncCharts
Pascal Rapicault and
Frédéric MALLET
Laboratoire I3S, UPRES_A 6070 CNRS, Université de Nice-Sophia Antipolis.
Abstract:
Nowadays, using a software component is not easy when one does not know the
method call linking. This is due to the fact that "Component
specification focuses on the interface and fails to capture the
behaviour". In this position paper, we propose an approach using
SyncCharts, to describe the required sequences of methods to call in
order not to misuse a component. We also present a transparent
architecture and implementation of a runtime verifier based on the
latter.
Last update: June, 16th 2000.