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.