Skip to main content
SpringerLink
Log in

Behavioral Subtyping Relations for Timed Components

  • Conference paper
Software Engineering, Business Continuity, and Education (ASEA 2011)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 257))

  • 1641 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  4. van Glabbeek, R.: The linear time–branching time spectrum. In: Handbook of Process Algebra, pp. 3–99 (1999)

    Google Scholar 

  5. Hameurlain, N.: Behavioural subtyping and Property Preservation for Active Objects. In: Proc. of FMOODS 2002 (2002)

    Google Scholar 

  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. 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. Liskov, B.H., Wing, J.M.: A Behavioral Notion of Subtyping. ACM Transactions on Programming Languages and Systems 16(6), 1811–1841 (1994)

    Article  Google Scholar 

  9. Wehrheim, A.: Checking Behavioural subtypes via Refinement. In: Proc. of FMOODS 2002 (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LSI, Department of Computer Science, USTHB University, Algiers, Algeria

    Youcef Hammal

Authors
  1. Youcef Hammal
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Multimedia Engineering Department, Hannam University, 133 Ojeong-dong, Daeduk-gu, Daejeon, Korea

    Tai-hoon Kim

  2. The Ohio State University, 470 Hitchcock Hall, 2070 Neil Avenue, 43210-1275, Columbus, OH, USA

    Hojjat Adeli

  3. Catholic University of Daegu, South Korea

    Haeng-kon Kim

  4. Dept. of Computer Engineering, Mokwon University, 800, Doan-dong, Seo-gu, 302-729, Daejeon, Korea

    Heau-jo Kang

  5. Woosuk University, 565-701, Jeollabuk-do, Korea

    Kyung Jung Kim

  6. University of Michigan-Dearborn, Dearborn, MI, USA

    Akingbehin Kiumi

  7. School of Computing and Information Systems, University of Tasmania, Hobart, TAS, Australia

    Byeong-Ho Kang

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hammal, Y. (2011). Behavioral Subtyping Relations for Timed Components. In: Kim, Th., et al. Software Engineering, Business Continuity, and Education. ASEA 2011. Communications in Computer and Information Science, vol 257. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27207-3_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-27207-3_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-27206-6

  • Online ISBN: 978-3-642-27207-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation