Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    The Geometry of Distributions in Formal Methods

    2nd BCS-FACS Northern Formal Methods Workshop

    Ilkley, UK. 14th - 15th July 1997


    M. Mac an Airchinnigh & A.P. Hughes


    The act of distributing and the resulting distribution are notions which lie at the kernel of any distributed system.

    The basic algebra of such distributions and their use in formal specifications has already been developed in terms of indexed monoids (i.e., function spaces with valuations in monoids) and their morphisms.

    Complementary to such algebra is a body of emerging geometry/topology of formal specifications, one critical aspect of which is the fibre bundle, and more generally the sheaf.

    Fibre bundles are used to model the nature and shape of geometrical objects and to associate a field with points in a space.

    They find particular application in theoretical physics, for example. We demonstrate here that fibre bundles occur naturally in specifications and models associated with formal methods.


    PDF filePDF Version of this Paper (538kb)