Skip to main content
SpringerLink
Log in

The Use of Aggregate and Z Formal Methods for Specification and Analysis of Distributed Systems

  • Conference paper
  • First Online:
Advances in Databases and Information Systems (ADBIS 2001)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2151))

  • 237 Accesses

Abstract

The paper present an approach the use Z specification language for development aggregate formal specifications. The use of Z schemas in aggregate model permits mathematically strictly define data structures used in system description. Modified aggregate approach permits to specify dynamic behaviour of distributed information systems. The presented approach permits to describe systems in different abstraction levels. It is illustrated by two specifications of commerce logistics centre which one is used for developing simulation model and other for creating of information system specification.

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

References

  1. Lynch, N.A. Distributed algorithms. Morgan Kaufmann Publisher, San Francisco (1996)

    MATH  Google Scholar 

  2. Pranevicius, H. Aggregate approach for specification, validation, simulation and implementation of computer network protocols. Lectures notes in Computer Science, 502, Springer-Verlag (1991) 433–477

    Google Scholar 

  3. Pranevicius, H. Formal Specification of Simulation Models Using Aggregate and Z Formal Methods. Second International Conference “Simulation, Gaming, Training and Business Process Reengineering in Operations”, September 8–9, 2000, Riga, Latvia (2000) 350–354

    Google Scholar 

  4. Pranevicius, H., Pilkauskas, V., Chmieliauskas, A. Aggregate approach for specification and analysis of computer network protocols. Kaunas, Technologija (1994)

    Google Scholar 

  5. Poter, B., Sinclair, J. Till, D. An Introduction to Formal Specification and Z. Prentice Hall (1996)

    Google Scholar 

  6. Fenton, N., G. Hill. Systems construction and analysis: A mathematical and logical framework. McGraw Hill Book Company (1993)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Business Informatics Department, Kaunas University of Technology, Studentu 50, LT-3028, Lithuania

    Henrikas Pranevicius

Authors
  1. Henrikas Pranevicius
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Mathematics and Informatics, Akademijos st. 4, 2600, Vilnius, Lithuania

    Albertas Caplinskas

  2. Department of Informatics Systems, University of Klagenfurt, Universitätsstr. 65, 9020, Klagenfurt, Austria

    Johann Eder

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pranevicius, H. (2001). The Use of Aggregate and Z Formal Methods for Specification and Analysis of Distributed Systems. In: Caplinskas, A., Eder, J. (eds) Advances in Databases and Information Systems. ADBIS 2001. Lecture Notes in Computer Science, vol 2151. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44803-9_20

Download citation

  • DOI: https://doi.org/10.1007/3-540-44803-9_20

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42555-7

  • Online ISBN: 978-3-540-44803-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation