×

Observable interface behaviour and inheritance. (English) Zbl 1361.68054

Summary: This paper formalizes the observable interface behaviour of open systems for a strongly-typed, concurrent object-oriented language with single-class inheritance. We formally characterize the observable behaviour in terms of interactions at the program-environment interface. The behaviour is given by transitions between contextual judgments, where the absent environment is represented abstractly as assumption context. A particular challenge is the fact that, when the system is considered as open, code from the environment can be inherited to the component and vice versa. This requires to incorporate an abstract version of the heap into the environment assumptions when characterizing the interface behaviour. We prove the soundness of the abstract interface description.

MSC:

68N19 Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
PDF BibTeX XML Cite
Full Text: DOI

References:

[1] DOI: 10.1007/BFb0054099
[2] DOI: 10.1007/978-3-540-72952-5_10 · Zbl 1202.68100
[3] SIGPLAN Notices 23 (1988)
[4] DOI: 10.1007/978-3-540-31987-0_29
[5] Proceedings of LICS ’02 pp 101– (2002)
[6] Programming in Scala (2011)
[7] Science of Computer Programming, (Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011)) 92 pp 129– (2014)
[8] Proceedings of LICS ’98 (1998)
[9] DOI: 10.1145/217839.217861
[10] DOI: 10.1145/960112.28702
[11] Information Processing 83 pp 513– (1983)
[12] DOI: 10.1007/3-540-06859-7_148
[13] DOI: 10.1007/3-540-13346-1_8
[14] DOI: 10.1007/BFb0058024
[15] DOI: 10.1137/0208044 · Zbl 0418.68010
[16] DOI: 10.1007/978-3-642-33826-7_7 · Zbl 1315.68192
[17] Concurrent Programming in Erlang (1996)
[18] DOI: 10.1007/978-3-540-71316-6_22 · Zbl 1475.68045
[19] DOI: 10.1016/j.scico.2010.08.003 · Zbl 1264.68050
[20] DOI: 10.1016/j.entcs.2007.02.011 · Zbl 1277.68120
[21] Object-Oriented Concurrent Programming pp 37– (1987)
[22] Electronic Notes in Theoretical Computer Science 3 (1996)
[23] DOI: 10.1007/s00224-007-9047-0 · Zbl 1162.68475
[24] DOI: 10.1145/1101821.1101824 · Zbl 1316.68033
[25] Journal of Logic and Algebraic Programming 78 pp 491– (2007)
[26] DOI: 10.1007/11768869_17
[27] DOI: 10.1007/11561163_13
[28] A Theory of Objects (1996)
[29] DOI: 10.1007/978-3-642-40615-7_3 · Zbl 06325819
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.