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.