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

Authors:
Henrikas Pranevicius
Affiliations:
-
Venue:
ADBIS '01 Proceedings of the 5th East European Conference on Advances in Databases and Information Systems
Year:
2001

Citing 4
Cited 0

Distributed Algorithms

Distributed Algorithms
An Introduction to Formal Specification and Z

An Introduction to Formal Specification and Z
Systems Construction and Analysis: A Mathematical and Logical Framework

Systems Construction and Analysis: A Mathematical and Logical Framework
Aggregate Approach for Specification, Validation, Simulation and Implementation of Computer Network Protocols

Baltic Computer Science, Selected Papers

Quantified Score

Hi-index	0.00

Visualization

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.