2018 | OriginalPaper | Buchkapitel
Tipp
Weitere Kapitel dieses Buchs durch Wischen aufrufen
Erschienen in:
Refinement
Chapter 9 discussed the general approach to relating process refinement and relational refinement by developing a relational framework general enough that we could embed some of the refinement relations we discussed in Chap. 1. This included a brief discussion of the simulation rules that arise in the context of failures refinement (see Sect. 9.3.3). In this chapter we consider failures refinement in more depth, and in particular start to discuss the role that inputs and outputs have in a relational framework and how they correspond to aspects of divergence and refusals.
Bitte loggen Sie sich ein, um Zugang zu diesem Inhalt zu erhalten
Sie möchten Zugang zu diesem Inhalt erhalten? Dann informieren Sie sich jetzt über unsere Produkte:
Anzeige
1.
Josephs MB (1988) A state-based approach to communicating processes. Distrib Comput 3:9–18
CrossRef
2.
He Jifeng (1989) Process refinement. In: McDermid J (ed) The theory and practice of refinement. Butterworths, Boston
3.
Woodcock JCP, Morgan CC (1990) Refinement of state-based concurrent systems. In: Bjorner D, Hoare CAR, Langmaack H (eds) VDM’90: VDM and Z!- formal methods in software development. Lecture notes in computer science, vol 428. Springer, Berlin, pp 340–351
4.
Bolton C, Davies J (2002) Refinement in Object-Z and CSP. In: Butler M, Petre L, Sere K (eds) Integrated formal methods (IFM 2002). Lecture notes in computer science, vol 2335. Springer, Berlin, pp 225–244
5.
Bolton C, Davies J (2006) A singleton failures semantics for communicating sequential processes. Formal Aspects Comput 18(2):181–210
CrossRef
6.
Smith G (1997) A semantic integration of Object-Z and CSP for the specification of concurrent systems. In: Fitzgerald J, Jones CB, Lucas P (eds) FME’97: industrial application and strengthened foundations of formal methods. Lecture notes in computer science, vol 1313. Springer, Berlin, pp 62–81
7.
Smith G, Derrick J (2001) Specification, refinement and verification of concurrent systems - an integration of Object-Z and CSP. Formal Methods Syst Design 18:249–284
CrossRef
8.
Derrick J, Smith G (2000) Structural refinement in Object-Z/CSP. In: Grieskamp W, Santen T, Stoddart B (eds) International conference on integrated formal methods 2000 (IFM’00). Lecture notes in computer science, vol 1945. Springer, Berlin, pp 194–213
9.
Fischer C (1997) CSP-OZ - A combination of CSP and Object-Z. In: Bowman H, Derrick J (eds) Second IFIP international conference on formal methods for open object-based distributed systems. Chapman & Hall, New York, pp 423–438
CrossRef
10.
Mahony BP, Dong JS (1998) Blending Object-Z and timed CSP: an introduction to TCOZ. In: Futatsugi K, Kemmerer R, Torii K (eds) 20th international conference on software engineering (ICSE’98). IEEE Press, New Jercy
11.
Galloway A, Stoddart W, An operational semantics for ZCCS. In: Hinchey and Liu [23], pp 272–282
12.
Treharne H, Schneider S, Using a process algebra to control B operations. In: Araki et al [21], pp 437–456
13.
Fischer C, How to combine Z with a process algebra. In: Bowen et al [22], pp 5–23
14.
Fischer C, Wehrheim H (2000) Behavioural subtyping relations for object-oriented formalisms. In: Rus T (ed) Algebraic methodology and software technology. Lecture notes in computer science, vol 1816. Springer, Berlin, pp 469–483
15.
Wehrheim H (2000) Behavioural subtyping and property preservation. In: Smith SF, Talcott CL (eds) Formal methods for open object-based distributed systems (FMOODS 2000). Kluwer, The Netherlands, pp 213–231
16.
Liskov B, Wing JM (1994) A behavioural notion of subtyping. ACM Trans Program Lang Syst 16(6):1811–1841
CrossRef
17.
Smith G, Derrick J, Refinement and verification of concurrent systems specified in Object-Z and CSP. In: Hinchey and Liu [101], pp 293–302
18.
Bolton C, Davies J, Woodcock JCP, On the refinement and simulation of data types and processes. In: Araki et al [21], pp 273–292
19.
Fischer C (2000) Combination and implementation of processes and data: from CSP-OZ to Java. PhD thesis, University of Oldenburg
20.
Smith G, Derrick J (2002) Abstract specification in Object-Z and CSP. In: George C, Miao H (eds) Formal methods and software engineering. Lecture notes in computer science, vol 2495. Springer, Berlin, pp 108–119
21.
Araki K, Galloway A, Taguchi K (eds) (1999) International conference on integrated formal methods 1999 (IFM’99). Springer, New York
22.
Bowen JP, Fett A, Hinchey MG (eds) (1998) ZUM’98: The Z formal specification notation. Lecture notes in computer science, vol 1493. Springer, Berlin
23.
Hinchey MG, Liu S (eds) (1997) First international conference on formal engineering methods (ICFEM’97). IEEE Computer Society Press, Hiroshima, Japan
- Titel
- Relating Data Refinement and Failures-Divergences Refinement
- DOI
- https://doi.org/10.1007/978-3-319-92711-4_10
- Autoren:
-
John Derrick
Eerke Boiten
- Sequenznummer
- 10
- Kapitelnummer
- Chapter 10