Blog
About

201
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 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

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          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.

          Related collections

          Most cited references 2

          • Record: found
          • Abstract: not found
          • Book Chapter: not found

          Concurrent processes as objects

           Robin Milner (1991)
            Bookmark
            • Record: found
            • Abstract: not found
            • Book Chapter: not found

            From action systems to modular systems

             R. J. R. Back,  K Sere (1994)
              Bookmark

              Author and article information

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

              Trinity College, Dublin, Ireland
              Article
              10.14236/ewic/FA1996.1
              © 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 (journal page): https://ewic.bcs.org/
              Categories
              Electronic Workshops in Computing

              Comments

              Comment on this article