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.
Keywords
- 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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)
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)
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)
van Glabbeek, R.: The linear time–branching time spectrum. In: Handbook of Process Algebra, pp. 3–99 (1999)
Hameurlain, N.: Behavioural subtyping and Property Preservation for Active Objects. In: Proc. of FMOODS 2002 (2002)
Hameurlain, N.: On Compatibility and Behavioural substitutability of Component Protocols. In: Proc. of Intl. Conference Software Engineering & Formal Methods, SEFM 2005 (2005)
Hammal, Y.: Substitutability Relations for Active Components. In: Proc. of the 4th Workshop on Formal Aspects of Component Software, France, September 19-21 (2007)
Liskov, B.H., Wing, J.M.: A Behavioral Notion of Subtyping. ACM Transactions on Programming Languages and Systems 16(6), 1811–1841 (1994)
Wehrheim, A.: Checking Behavioural subtypes via Refinement. In: Proc. of FMOODS 2002 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)