497
views
0
recommends
+1 Recommend
1 collections
    4
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      The Geometry of Distributions in Formal Methods

      proceedings-article
      ,
      Proceedings of the 2nd BCS-FACS Northern Formal Methods (FM)
      Northern Formal Methods
      14-15 July 1997
      distributed system, fibre bundle, formal method, geometry, sheaf
      Bookmark

            Abstract

            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.

            Content

            Author and article information

            Contributors
            Conference
            July 1997
            July 1997
            : 1-21
            Affiliations
            [0001]University of Dublin

            Trinity College, Dublin, Ireland
            Article
            10.14236/ewic/FA1997.1
            d2d0cf77-e97d-448f-a906-dc98ccf3d76f
            © Mícheál Macm an Airchinnigh et al. Published by BCS Learning and Development Ltd. Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Proceedings of the 2nd BCS-FACS Northern Formal Methods
            FM
            2
            Ilkley
            14-15 July 1997
            Electronic Workshops in Computing (eWiC)
            Northern Formal Methods
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FA1997.1
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction
            distributed system,geometry,fibre bundle,sheaf,formal method

            Comments

            Comment on this article