Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
An Introduction to Z Kapitel lesen Erstes Kapitel lesen

2014 | OriginalPaper | Buchkapitel

9. Refinement, Observation and Modification

verfasst von : John Derrick, Eerke A. Boiten

Erschienen in: Refinement in Z and Object-Z

Verlag: Springer London

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

This is the first of a series of chapters presenting more liberal notions of refinement in Z, based on relaxations of the underlying assumptions—in this particular case, “representation hiding”, i.e. that the state variables are hidden from the environment. We consider some different specification styles, expressed as variants on the standard abstract data type from earlier chapters. State variables may be visible to the environment, even modifiable, or there may be operations that observe part of the state while not changing it (“displays”), to model for example the situation where certain information is constantly available on a screen. For each of these modifications, we derive refinement rules by interpreting the variant ADTs in terms of standard ADTs. Thus, the semantic basis from Chap. 3 is retained unchanged.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel A Single Simulation Rule
Nächstes Kapitel IO Refinement
Fußnoten
1
In words, this specification statement expresses “change variables in F in such a way that, if p held initially, x=x?∧p holds afterwards”.
 
Literatur
1.
Bertino, E., & Guerrini, G. (1996) Viewpoints in object database systems. In Finkelstein and Spanoudakis [9] (pp. 289–293).
2.
Boiten, E. A., & Derrick, J. (1998) Grey box data refinement. In Grundy et al. [11] (pp. 45–59).
3.
Borgida, A., Mylopoulos, J., & Reiter, R. (1993). And nothing else changes: the frame problem in procedure specifications. In Proc. 15th International Conference on Software Engineering, Baltimore, Maryland, May 1993 (pp. 303–314). Los Alamitos: IEEE Comput. Soc.
4.
Büchi, M., & Weck, W. (1999). The greybox approach: When blackbox specifications hide too much (Technical Report TUCS-TR-297). Turku Centre for Computer Science.
5.
de Groot, M., & Robinson, K. (1998) Correctness in refinement developments. In Grundy et al. [11] (pp. 117–132).
6.
de Roever, W.-P., & Engelhardt, K. (1998). Data Refinement: Model-Oriented Proof Methods and Their Comparison. Cambridge: Cambridge University Press. MATHCrossRef
7.
Duke, D. J., & Harrison, M. D. (1995). Event model of human-system interaction. Software Engineering Journal, 10(1), 3–12. CrossRef
8.
Duke, D. J., & Harrison, M. D. (1995). Mapping user requirements to implementations. Software Engineering Journal, 10(1), 13–20. CrossRef
9.
Finkelstein, A. & Spanoudakis, G. (Eds.) (1996). SIGSOFT ’96 International Workshop on Multiple Perspectives in Software Development (Viewpoints ’96). New York: ACM.
10.
Groves, L. (1998) Adapting program derivations using program conjunction. In Grundy et al. [11] (pp. 145–164).
11.
Grundy, J., Schwenke, M., & Vickers, T. (Eds.) (1998). International Refinement Workshop & Formal Methods Pacific ’98, Canberra, September 1998. Discrete Mathematics and Theoretical Computer Science. Berlin: Springer.
12.
Jackson, D. (1995). Structuring Z specifications with views. ACM Transactions on Software Engineering and Methodology, 4(4), 365–389. CrossRef
13.
Klinker, G. J. (1993). An environment for telecollaborative data exploration. In Proceedings Visualization ’93—Sponsored by the IEEE Computer Society (pp. 110–117).
14.
Morgan, C. C. (1994). Programming from Specifications (2nd ed.). International Series in Computer Science. New York: Prentice Hall. MATH
15.
Roberts, J. C. (1998). On encouraging multiple views for visualization. In Information Visualization IV’98, London, July 1998. Los Alamitos: IEEE Comput. Soc.
16.
Sufrin, B., & He, J. (1990). Specification, refinement, and analysis of interactive processes. In M. D. Harrison & H. W. Thimbleby (Eds.), Formal Methods in Human Computer Interaction (pp. 153–200). Cambridge: Cambridge University Press.
17.
Woodcock, J. C. P. (1998) Industrial-strength refinement. In Grundy et al. [11] (pp. 33–44).
Metadaten
Titel
Refinement, Observation and Modification
verfasst von
John Derrick
Eerke A. Boiten
Copyright-Jahr
2014
Verlag
Springer London
Buch
Refinement in Z and Object-Z

Print ISBN: 978-1-4471-5354-2

Electronic ISBN: 978-1-4471-5355-9

Copyright-Jahr: 2014

DOI
https://doi.org/10.1007/978-1-4471-5355-9_9

Premium Partner

    Bildnachweise