This paper deals with the behavioral substitutability of active components where services availability is a critical criterion for safety-properties preservation. Some timed subtyping relations are given and discussed in relation with the compatibility issue of active components.


Service Availability Label Transition System Correctness Property Compatibility Issue Subtyping Relation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Sharygina, N., Chaki, S., Clarke, E., Sinha, N.: Dynamic Component Substitutability Analysis. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 512–528. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  3. 3.
    Fischer, C., Wehrheim, H.: Behavioural Subtyping Relations for Object-Oriented Formalisms. In: Rus, T. (ed.) AMAST 2000. LNCS, vol. 1816, pp. 469–483. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  4. 4.
    van Glabbeek, R.: The linear time–branching time spectrum. In: Handbook of Process Algebra, pp. 3–99 (1999) Google Scholar
  5. 5.
    Hameurlain, N.: Behavioural subtyping and Property Preservation for Active Objects. In: Proc. of FMOODS 2002 (2002) Google Scholar
  6. 6.
    Hameurlain, N.: On Compatibility and Behavioural substitutability of Component Protocols. In: Proc. of Intl. Conference Software Engineering & Formal Methods, SEFM 2005 (2005) Google Scholar
  7. 7.
    Hammal, Y.: Substitutability Relations for Active Components. In: Proc. of the 4th Workshop on Formal Aspects of Component Software, France, September 19-21 (2007) Google Scholar
  8. 8.
    Liskov, B.H., Wing, J.M.: A Behavioral Notion of Subtyping. ACM Transactions on Programming Languages and Systems 16(6), 1811–1841 (1994)CrossRefGoogle Scholar
  9. 9.
    Wehrheim, A.: Checking Behavioural subtypes via Refinement. In: Proc. of FMOODS 2002 (2002) Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Youcef Hammal
    • 1
  1. 1.LSI, Department of Computer ScienceUSTHB UniversityAlgiersAlgeria

Personalised recommendations