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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Lynch, N.A. Distributed algorithms. Morgan Kaufmann Publisher, San Francisco (1996)
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
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
Pranevicius, H., Pilkauskas, V., Chmieliauskas, A. Aggregate approach for specification and analysis of computer network protocols. Kaunas, Technologija (1994)
Poter, B., Sinclair, J. Till, D. An Introduction to Formal Specification and Z. Prentice Hall (1996)
Fenton, N., G. Hill. Systems construction and analysis: A mathematical and logical framework. McGraw Hill Book Company (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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