Skip to main content
SpringerLink
Log in

Entwurf von Systemverhalten durch Spezifikation und Transformation temporaler Anforderungen

  • Conference paper
GI — 18. Jahrestagung II

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 188))

  • 52 Accesses

Zusammenfassung

Beim Entwurf von reaktiven Softwaresystemen (z.B. Informationssystemen) sind neben der Struktur von Zuständen auch die zulässigen zeitlichen Entwicklungen festzulegen; diese lassen sich durch Folgen von Zuständen charakterisieren und werden durch Anwendungsoperationen induziert. In dieser Arbeit wird eine Methode für die schrittweise formale Spezifikation von dynamischem Systemverhalten vorgestellt. Es wird eine zweischichtige Beschreibung verwendet, die einerseits deskriptiv Anforderungen an ganze Zustandsfolgen, formuliert in temporaler Logik, und andererseits Vor-/Nachbedingungen für die einzelnen Operationen vorsieht. Nachdem die beiden Spezifikationsteile erst komplementär aufgestellt werden, lassen sich dann aus den temporalen Anforderungen korrekte Objektlebensläufe ableiten und graphisch darstellen. Schließlich werden die so erhaltenen Bedingungen an Zustandsübergänge systematisch in verfeinerte Vor-/Nachbedingungen transformiert, so daß allein die Operationen die Zulässigkeit des Systemverhaltens gemäß den Anforderungen garantieren.

Die Arbeit von G. Saake wurde während seiner Tätigkeit an der TU Braunschweig von der DFG unter Az. Eh75/6 gefördert.

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.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.

Literatur

  1. Anderson, T. L.: Modelling Time at the Conceptual Level. In: Improving Database Usability and Responsiveness (P. Scheuermann, ed.), Academic Press, London 1982, 273–298

    Google Scholar 

  2. Brodie, M. L. Mylopoulos, J. Schmidt, J. W. (eds.): On Conceptual Modelling. Springer-Verlag, New York 1984

    Book  MATH  Google Scholar 

  3. Castilho, J. M. V. de Casanova, M. A. Furtado, A. L.: A Temporal Framework for Database Specifications. Proc. Int. Conf. on Very Large Data Bases 1982, 280–291

    Google Scholar 

  4. Carmo, J. Sernadas, A.: A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification. Proc. IFIP Work. Conf. on Temporal Aspects in Inform. Systems 1987 (C. Rolland et al., eds.), North-Holland, Amsterdam 1988, 31–46

    Google Scholar 

  5. Casanova, M. A. Veloso, P. A. S. Furtado, A. L.: Formal Database Specification-An Eclectic Perspective. Proc. ACM Symp. on Principles of Database Systems 1984, 110–118

    Google Scholar 

  6. Proc. IFIP Work. Conf. on Comparative Review of Information Systems Design Methodologies (T.W. Olle et al., eds.), North-Holland, Amsterdam 1982

    Google Scholar 

  7. Proc. IFIP Work. Conf. on Comparative Review of Information Systems Design Methodologies: Improving the Practice (T.W. Olle et al., eds.), North-Holland 1986

    Google Scholar 

  8. Feng, D. S. Lipeck, U. W.: Deterministische Überwachung temporaler Formeln. Informatik-Bericht Nr. 87–06, Techn. Univ. Braunschweig 1987

    Google Scholar 

  9. Fiadeiro, J. Sernadas, A.: The INFOLOG Linear Tense Propositional Logic of Events and Transactions. Information Systems 11(1986), 61–85

    Article  MATH  Google Scholar 

  10. Hohenstein, U. Neugebauer, L. Saake, G. Ehrich, H.-D.: Three-Level-Specification of Databases Using an Extended Entity-Relationship Model. Proc. GI-Fachtagung “Entwurf von Informationssystemen”, Informatik-Fachbericht 143, Springer, 1987, 58–88

    Google Scholar 

  11. Kröger, F.: Temporal Logics of Programs. Springer-Verlag, Berlin 1987

    Google Scholar 

  12. Kung, C. H.: A Temporal Framework for Database Specification and Verification. Proc. Int. Conf. on Very Large Data Bases 1984, 91–99

    Google Scholar 

  13. Kung, C. H. Solvberg, A.: Activity Modeling and Behaviour Modeling. [CRIS86], 145–172

    Google Scholar 

  14. Lipeck, U. W.: Stepwise Specification of Dynamic Database Behaviour. Proc. Int. ACM-SIGMOD Conf. on Management of Data 1986, 387–397

    Google Scholar 

  15. Lipeck, U. W.: Zur dynamischen Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung. Habilitationsschrift, Techn. Univ. Braunschweig, 1987

    Google Scholar 

  16. Lipeck, U. W. Ehrich, H.-D. Gogolla, M.: Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic, in: CTFAIS851, 145–157

    Google Scholar 

  17. Lipeck, U. W. Saake, G.: Monitoring Dynamic Integrity Constraints Based on Temporal Logic. Information Systems 12 (1987), 255–269

    Article  MATH  Google Scholar 

  18. Manna, Z. Pnueli, A.: Verification of Concurrent Programs: The Temporal Framework. In: The Correctness Problem in Computer Science (R.S. Boyer/ J.S. Moore, eds.), Academic Press, 1981, 215–273

    Google Scholar 

  19. Manna, Z. Wolper, P.: Synthesis of Communicating Processes from Temporal Logic Specifications. ACM Trans. Progr. Lang. and Sys. 6 (1984), 68–93

    Article  MATH  Google Scholar 

  20. Nicolas, J.-M.: Logic for Improving Integrity Checking in Relational Data Bases. Acta Informatica 18 (1982), 227–253

    Article  MATH  MathSciNet  Google Scholar 

  21. Pnueli, A.: Specification and Development of Reactive Systems. Information Processing ‘86 (H.J. Kugler, ed.), North-Holland, Amsterdam 1986, 845–858

    Google Scholar 

  22. Reisig, W.: Petri-Netze. 2. Aufl., Springer-Verlag, Berlin 1986

    Google Scholar 

  23. Richter, G. Durchhoiz, R.: IML-Inscribed Petri-Nets. in: CCRIS82], 335–368

    Google Scholar 

  24. Saake, G.: Spezifikation, Semantik und Überwachung von Objektlebensläufen in Datenbanken. Dissertation, Informatik, Techn. Universität Braunschweig 1988

    Google Scholar 

  25. Saake, G. Neugebauer, L. Hohenstein, U. Ehrich, H.-D.: Konzepte und Werkzeuge für eine Datenbank-Entwurfsumgebung. Informatik-Bericht 87–0S, TU Braunschweig 1987

    Google Scholar 

  26. Schiel, U.: The Time Dimension in Information Systems, in: [TFAIS85], 67–76

    Google Scholar 

  27. Schiel, U. Furtado, A. L. Neuhold, E. J. Casanova, M. A.: Towards Multi-Level and Modular Conceptual Schema Specifications. Information Systems 9 (1984), 43–57

    Article  MATH  Google Scholar 

  28. Schwartz, R. L. Melliar-Smith, P. M. Vogt, F. H.: An Interval Logic for Higher-Level Temporal Reasoning. Proc. ACM Symp. on Princ. of Distr. Computing, 1983, 173–186

    Google Scholar 

  29. Sernadas, A.: Temporal Aspects of Logical Procedure Definition. Information Systems 5 (1980), 167–187

    Article  MATH  Google Scholar 

  30. Sernadas, A. Sernadas, C.: Capturing Knowledge about the Organization Dynamics. In: Knowledge Representation for Decision Support Systems (L. Methlie/R. Sprague, eds.), North-Holland, Amsterdam 1985, 255–267

    Google Scholar 

  31. Sernadas, A. Sernadas, C. Ehrich, H.-D.: Object-Oriented Specification of Databases: An Algebraic Approach. Proc. Int. Conf. on Very Large Data Bases 1987, 107–116

    Google Scholar 

  32. Proc. IFIP Work. Conf. on Theoretical and Formal Aspects of Information Systems (A. Sernadas et al., eds.), North-Holland, Amsterdam 1985

    Google Scholar 

  33. Veloso, P. A. S. Castilho, J. M. V. de Furtado, A. L.: Systematic Derivation of Complementary Specifications. Proc. Int. Conf. on Very Large Data Bases 1981, 409–421

    Google Scholar 

  34. Veloso, P. A. S. Furtado, A. L.: Towards Simpler and Yet Complete Formal Specifications. in: [TFAIS 85], 175–189

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Informatik, Abteilung Datenbanken, Technische Universität Braunschweig, Postfach 3329, 3300, Braunschweig, Deutschland

    Udo W. Lipeck

  2. IBM Wissenschaftliches Zentrum, Tiergartenstr. 15, 6900, Heidelberg, Deutschland

    Gunter Saake

Authors
  1. Udo W. Lipeck
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gunter Saake
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachbereich Informatik, Universität Hamburg, Rothenbaumchaussee 67/69, 2000, Hamburg 13, Deutschland

    Rüdiger Valk

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lipeck, U.W., Saake, G. (1988). Entwurf von Systemverhalten durch Spezifikation und Transformation temporaler Anforderungen. In: Valk, R. (eds) GI — 18. Jahrestagung II. Informatik-Fachberichte, vol 188. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74135-7_33

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-74135-7_33

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50360-6

  • Online ISBN: 978-3-642-74135-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation