ADBIS 2001: Advances in Databases and Information Systems pp 253-265 | Cite as
The Use of Aggregate and Z Formal Methods for Specification and Analysis of Distributed Systems
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.
Keywords
Distributed systems formal specification Z specification language aggregate approach simulation validation logistics centrePreview
Unable to display preview. Download preview PDF.
References
- 1.Lynch, N.A. Distributed algorithms. Morgan Kaufmann Publisher, San Francisco (1996)MATHGoogle 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–477Google 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–354Google 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