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

      Towards a New Conceptual Framework for the Modelling of Dynamically Distributed Systems

      proceedings-article
      Proceedings of the BCS-FACS Northern Formal Methods Workshop (NFM)
      Northern Formal Methods
      23-24 September 1996
      algebra, distributed system, formal method, geometry, specification, surgery, VDM, Z, zipper process
      Bookmark

            Abstract

            We hypothesize that the mathematics used in the modelling, and hence specification, of computing systems should be universal in the sense that it be equally suitable for the modelling of natural systems, viz., physical, chemical, biological, or cosmological, and vice-versa, and as a consequence we propose to demonstrate a method of development that promises to lead into a fruitful area of exploration for both research and pedagogy in the general field of dynamically distributed systems. In the process, we demonstrate that there is a geometry of formal methods, complementary to the usual algebra of formal methods and show how the geometry may be used in practice in the formal specification of systems. The results are immediately applicable to the model-theoretic formal methods such as VDM and Z.

            Content

            Author and article information

            Contributors
            Conference
            September 1996
            September 1996
            : 1-16
            Affiliations
            [0001]University of Dublin,

            Trinity College, Dublin, Ireland
            Article
            10.14236/ewic/FA1996.1
            f5ed7cd0-0b59-4b70-b053-5fd8224bbb95
            © Mícheál Mac an Airchinnigh. Published by BCS Learning and Development Ltd. Proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK

            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 BCS-FACS Northern Formal Methods Workshop
            NFM
            Ilkley, UK
            23-24 September 1996
            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/FA1996.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,algebra,specification,Z,formal method,VDM,surgery,zipper process

            Comments

            Comment on this article